Forward Invariance of Sets for Hybrid Dynamical Systems (Part II)

This article presents tools for the design of control laws inducing robust controlled forward invariance of a set for hybrid dynamical systems modeled as hybrid inclusions. A set has the robust controlled forward invariance property via a control law if every solution to the closed-loop system that starts from the set stays within the set for all future time, regardless of the value of the disturbances. Building on the first part of this article, which focuses on analysis, in this article, sufficient conditions for generic sets to enjoy such a property are proposed. To construct invariance inducing state-feedback laws, the notion of robust control Lyapunov function for forward invariance is defined. The proposed synthesis results rely on set-valued maps that include all admissible control inputs that keep closed-loop solutions within the set of interest. Results guaranteeing the existence of such state-feedback laws are also presented. Moreover, conditions for the design of continuous state-feedback laws with minimum point-wise norm are provided. Major results are illustrated throughout this article in a constrained bouncing ball system and a robotic manipulator application.

[1]  J. Doyle,et al.  Optimization-based methods for nonlinear and hybrid systems verification , 2005 .

[2]  Luis Rodrigues.  Stability analysis of piecewise-affine systems using controlled invariant sets , 2004, Syst. Control. Lett..

[3]  Tingshu Hu,et al.  Composite quadratic Lyapunov functions for constrained control systems , 2003, IEEE Trans. Autom. Control..

[4]  Adrian Wills,et al.  Barrier function based model predictive control , 2004, Autom..

[5]  Yan Gao,et al.  The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective , 2006, HSCC.

[6]  R. Freeman,et al.  Robust Nonlinear Control Design: State-Space and Lyapunov Techniques , 1996 .

[7]  Antoine Girard,et al.  Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings , 2016, Autom..

[8]  Liang Lu,et al.  Set Invariance Conditions for Singular Linear Systems Subject to Actuator Saturation , 2007, 2006 Chinese Control Conference.

[9]  Ning Xi,et al.  Force regulation and contact transition control , 1996 .

[10]  J. Maciejowski,et al.  Invariant sets for constrained nonlinear discrete-time systems with application to feasibility in model predictive control , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

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

[12]  George Bitsoris,et al.  Comparison principle, positive invariance and constrained regulation of nonlinear systems , 1995, Autom..

[13]  Paulo Tabuada,et al.  Control Barrier Function Based Quadratic Programs for Safety Critical Systems , 2016, IEEE Transactions on Automatic Control.

[14]  Sasa V. Rakovic,et al.  Parameterized Robust Control Invariant Sets for Linear Systems: Theoretical Advances and Computational Remarks , 2010, IEEE Transactions on Automatic Control.

[15]  Abdellah Benzaouia,et al.  Constrained control of switching systems: a positive invariant approach , 2007, Int. J. Control.

[16]  R. Cooke.  Real and Complex Analysis , 2011 .

[17]  Ricardo G. Sanfelice,et al.  Results on invariance-based feedback control for hybrid dynamical systems , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

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

[19]  F. Clarke.  Optimization And Nonsmooth Analysis , 1983 .

[20]  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.

[21]  Pieter Collins.  Optimal Semicomputable Approximations to Reachable and Invariant Sets , 2006, Theory of Computing Systems.

[22]  Ricardo G. Sanfelice.  Robust Asymptotic Stabilization of Hybrid Systems using Control Lyapunov Functions , 2016, HSCC.

[23]  Ricardo G. Sanfelice,et al.  Forward Invariance of Sets for Hybrid Dynamical Systems (Part I) , 2018, IEEE Transactions on Automatic Control.

[24]  Zdzisław Denkowski,et al.  Set-Valued Analysis , 2021 .

[25]  Frank Allgöwer,et al.  CONSTRUCTIVE SAFETY USING CONTROL BARRIER FUNCTIONS , 2007 .

[26]  Rafael Wisniewski,et al.  Converse Barrier Certificate Theorems , 2016, IEEE Transactions on Automatic Control.

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

[28]  T. Alamo,et al.  Stability analysis of systems with bounded additive uncertainties based on invariant sets: Stability and feasibility of MPC , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[29]  Hui Kong,et al.  Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems , 2013, CAV.

[30]  David Q. Mayne,et al.  Optimized robust control invariance for linear discrete-time systems: Theoretical foundations , 2007, Autom..

[31]  F. Blanchini.  Constrained control for uncertain linear systems , 1991 .

[32]  Paulo Tabuada,et al.  Robustness of Control Barrier Functions for Safety Critical Control , 2016, ADHS.

[33]  Ying Shang,et al.  The maximal robust controlled invariant set of uncertain switched systems , 2004, Proceedings of the 2004 American Control Conference.

[34]  Hai Lin,et al.  Robust controlled invariant sets for a class of uncertain hybrid systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[35]  Ricardo G. Sanfelice,et al.  A toolbox for simulation of hybrid systems in matlab/simulink: hybrid equations (HyEQ) toolbox , 2013, HSCC '13.

[36]  G. Bitsoris.  On the positive invariance of polyhedral sets for discrete-time systems , 1988 .

[37]  Anders Rantzer,et al.  On the necessity of barrier certificates , 2005 .

[38]  A.R. Teel,et al.  A Hybrid Control Strategy for Robust Contact Detection and Force Regulation , 2007, 2007 American Control Conference.

[39]  Panos J. Antsaklis,et al.  An invariant‐based approach to the design of hybrid control systems , 2001 .

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

[41]  Ali Jadbabaie,et al.  Safety Verification of Hybrid Systems Using Barrier Certificates , 2004, HSCC.

[42]  George J. Pappas,et al.  A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates , 2007, IEEE Transactions on Automatic Control.

[43]  J. Dugundji.  An extension of Tietze's theorem. , 1951 .

[44]  L. Vu-Quoc,et al.  Modeling the dependence of the coefficient of restitution on the impact velocity in elasto-plastic collisions , 2002 .

[45]  D. Mayne,et al.  Computation of invariant sets for piecewise affine discrete time systems subject to bounded disturbances , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[46]  A.J. van der Schaft,et al.  The maximal controlled invariant set of switched linear systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[47]  S. Shankar Sastry,et al.  A hybrid system approach to contact stability and force control in robotic manipulators , 1997, Proceedings of 12th IEEE International Symposium on Intelligent Control.

[48]  Lihua Xie,et al.  On robust control invariance of Boolean control networks , 2016, at - Automatisierungstechnik.