Finite data-rate feedback stabilization of switched and hybrid linear systems

We study the problem of asymptotically stabilizing a switched linear control system using sampled and quantized measurements of its state. The switching is assumed to be slow enough in the sense of combined dwell time and average dwell time, each individual mode is assumed to be stabilizable, and the available data rate is assumed to be large enough but finite. Our encoding and control strategy is rooted in the one proposed in our earlier work on non-switched systems, and in particular the data-rate bound used here is the data-rate bound from that earlier work maximized over the individual modes. The main technical step that enables the extension to switched systems concerns propagating over-approximations of reachable sets through sampling intervals, during which the switching signal is not known; a novel algorithm is developed for this purpose. Our primary focus is on systems with time-dependent switching (switched systems) but the setting of state-dependent switching (hybrid systems) is also discussed.

[1]  Antoine Girard,et al.  Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.

[2]  Ian M. Mitchell,et al.  Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.

[3]  T. Henzinger,et al.  Algorithmic Analysis of Nonlinear Hybrid Systems , 1998, CAV.

[4]  A. Morse,et al.  Stability of switched systems with average dwell-time , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[5]  Geir E. Dullerud,et al.  Stabilization of Markovian jump linear systems with limited information - A convex approach , 2009, 2009 American Control Conference.

[6]  Daniel Liberzon,et al.  Limited-information control of hybrid systems via reachable set propagation , 2013, HSCC '13.

[7]  Goran Frehse,et al.  PHAVer: algorithmic verification of hybrid systems past HyTech , 2005, International Journal on Software Tools for Technology Transfer.

[8]  Ian M. Mitchell,et al.  Integrating Projections , 1998, HSCC.

[9]  Ashish Tiwari,et al.  Timed Relational Abstractions for Sampled Data Control Systems , 2012, CAV.

[10]  Daniel Liberzon,et al.  The bang-bang funnel controller , 2010, 49th IEEE Conference on Decision and Control (CDC).

[11]  Domitilla Del Vecchio,et al.  Safety Control of Hidden Mode Hybrid Systems , 2012, IEEE Transactions on Automatic Control.

[12]  Oded Maler,et al.  Reachability Analysis via Face Lifting , 1998, HSCC.

[13]  Daniel Liberzon,et al.  Input to State Stabilizing Controller for Systems With Coarse Quantization , 2012, IEEE Transactions on Automatic Control.

[14]  Zhong-Ping Jiang,et al.  Input-to-state stability for discrete-time nonlinear systems , 1999 .

[15]  Panganamala Ramana Kumar,et al.  Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata , 2011, HSCC '11.

[16]  Paulo Tabuada,et al.  Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems , 2008, IEEE Transactions on Automatic Control.

[17]  J. Hespanha,et al.  Towards the Control of Linear Systems with Minimum Bit-Rate , 2002 .

[18]  Olaf Stursberg,et al.  Efficient Representation and Computation of Reachable Sets for Hybrid Systems , 2003, HSCC.

[19]  Robert Shorten,et al.  Stability Criteria for Switched and Hybrid Systems , 2007, SIAM Rev..

[20]  Nan Xiao,et al.  Stabilization of Markov jump linear systems using quantized state feedback , 2010, Autom..

[21]  Dragan Nesic,et al.  Input-output stability properties of networked control systems , 2004, IEEE Transactions on Automatic Control.

[22]  Alexandre M. Bayen,et al.  Computational techniques for the verification of hybrid systems , 2003, Proc. IEEE.

[23]  P. Varaiya,et al.  Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem , 2005 .

[24]  Eugene Asarin,et al.  The d/dt Tool for Verification of Hybrid Systems , 2002, CAV.

[25]  Bruce H. Krogh,et al.  Computational techniques for hybrid system verification , 2003, IEEE Trans. Autom. Control..

[26]  P. Killeen.  Stability criteria. , 1978, Journal of the experimental analysis of behavior.

[27]  João Pedro Hespanha,et al.  Stabilization of nonholonomic integrators via logic-based switching , 1999, Autom..

[28]  Dragan Nesic,et al.  A Unified Framework for Design and Analysis of Networked and Quantized Control Systems , 2009, IEEE Transactions on Automatic Control.

[29]  Antoine Girard,et al.  SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.

[30]  Antoine Girard,et al.  Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis , 2008, HSCC.

[31]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[32]  Antoine Girard,et al.  Reachability Analysis of Hybrid Systems Using Support Functions , 2009, CAV.

[33]  Olaf Stursberg,et al.  Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis , 1999, HSCC.

[34]  Daniel Liberzon,et al.  Supervisory Control of Uncertain Linear Time-Varying Systems , 2011, IEEE Transactions on Automatic Control.

[35]  S. Dey,et al.  Infimum data rates for stabilising Markov jump linear systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[36]  Johannes Schumacher,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .

[37]  João Pedro Hespanha,et al.  Stabilization of nonlinear systems with limited information feedback , 2005, IEEE Transactions on Automatic Control.

[38]  Daniel Liberzon,et al.  Supervisory control of uncertain systems with quantized information , 2012 .

[39]  Nicola Elia,et al.  Stabilization of linear systems with limited information , 2001, IEEE Trans. Autom. Control..

[40]  Pravin Varaiya,et al.  Epsilon-Approximation of Differential Inclusions , 1996, Hybrid Systems.

[41]  Daniel Liberzon,et al.  Stabilizing a switched linear system by sampled-data quantized feedback , 2011, IEEE Conference on Decision and Control and European Control Conference.

[42]  Robin J. Evans,et al.  Feedback Control Under Data Rate Constraints: An Overview , 2007, Proceedings of the IEEE.

[43]  Olivier Bournez,et al.  Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems , 2000, HSCC.

[44]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

[45]  Sekhar Tatikonda,et al.  Control under communication constraints , 2004, IEEE Transactions on Automatic Control.

[46]  Qiang Ling,et al.  Necessary and sufficient bit rate conditions to stabilize quantized Markov jump linear systems , 2010, Proceedings of the 2010 American Control Conference.

[47]  João Pedro Hespanha,et al.  Lyapunov conditions for input-to-state stability of impulsive systems , 2008, Autom..