Results on invariance-based feedback control for hybrid dynamical systems

We present results for forward invariance-based control of hybrid dynamical systems via static feedback. Using recent results on forward invariance for hybrid systems without inputs, we present conditions on the state-feedback laws to induce forward invariance of a set for hybrid systems with inputs. In addition, we propose a notion of control Lyapunov function (CLF) that is suitable for the study of forward invariance of sublevel sets. Conditions that guarantee the existence of CLF-based feedback laws inducing forward invariance of sublevel sets are established. Examples are given to illustrate the results.

[1]  J. Aubin,et al.  Differential inclusions set-valued maps and viability theory , 1984 .

[2]  Jean-Pierre Aubin,et al.  Impulse differential inclusions: a viability approach to hybrid systems , 2002, IEEE Trans. Autom. Control..

[3]  Ricardo G. Sanfelice,et al.  Hybrid Dynamical Systems: Modeling, Stability, and Robustness , 2012 .

[4]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

[5]  Alexander Leonessa,et al.  Generalized Lyapunov and invariant set theorems for nonlinear dynamical systems , 1999 .

[6]  D. Goreac,et al.  Viability, invariance and reachability for controlled piecewise deterministic Markov processes associated to gene networks , 2010, 1002.2242.

[7]  Bruce H. Krogh,et al.  Using verified control envelopes for safe controller design , 2014, 2014 American Control Conference.

[8]  Ricardo G. Sanfelice,et al.  A robust hybrid control algorithm for a single-phase DC/AC inverter with variable input voltage , 2014, 2014 American Control Conference.

[9]  Ricardo G. Sanfelice,et al.  On the Existence of Control Lyapunov Functions and State-Feedback Laws for Hybrid Systems , 2013, IEEE Transactions on Automatic Control.

[10]  Franco Blanchini,et al.  Set invariance in control , 1999, Autom..

[11]  F. Zanolin,et al.  Remarks on strongly flow-invariant sets , 1987 .

[12]  Ricardo G. Sanfelice,et al.  On notions and sufficient conditions for forward invariance of sets for hybrid dynamical systems , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).