Safety Verification of Output Feedback Controllers for Nonlinear Systems
Abstract
A high-gain observer is used for a class of feedback linearisable nonlinear systems to synthesize safety-preserving controllers over the observer output. A bound on the distance between trajectories under state and output feedback is derived, and shown to converge to zero as a function of the gain parameter of an observer. We can therefore recover safety properties under output feedback and control saturation constraints by synthesizing a controller as if the full state were available. We specifically design feedback linearising controllers that satisfy certain properties, such as stability, and then construct the associated maximal safety-invariant set, namely the largest set of all initial states that are guaranteed to produce safe trajectories over a given (possibly infinite) time horizon.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2016
- DOI:
- 10.48550/arXiv.1603.06627
- arXiv:
- arXiv:1603.06627
- Bibcode:
- 2016arXiv160306627L
- Keywords:
-
- Computer Science - Systems and Control;
- Mathematics - Optimization and Control
- E-Print:
- Extended version of European Control Conference 2016 submission