A unified approach to controllability analysis for hybrid control systems

Abstract A unified approach is proposed for controllability analysis of a class of hybrid control systems, employing the controllability concept defined in [M. Tittus, B. Egardt, Control design for integrator hybrid systems, IEEE Transactions on Automatic Control 43 (4) (1998) 491–500; J.H. van Schuppen, A Sufficient Condition for Controllability of a Class of Hybrid Systems, in: LNCS, vol. 1386, Springer, 1998, pp. 374–383; Z. Yang, M. Verhaegen, Y.J. Wang, Z.J. Chen, Hybrid controllability of linear switched systems, in: Proceedings of 37th Control and Decision Conference, Tampa, FL, USA, December 1998, pp. 3920–3925]. The unified approach comprises global reachability analysis at the discrete event system level, local reachability analysis at the continuous-time dynamical system level and a merging of the results of these two methods using a discrete-path search algorithm. The proposed method is demonstrated useful for controllability analysis of complex hybrid control systems. The method is illustrated by analyzing the controllability of a linear switched system.

[1]  Mogens Blanke,et al.  A Unified Approach for Controllability Analysis of Hybrid Control Systems , 2000 .

[2]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[3]  Zhenyu Yang,et al.  An algebraic approach towards the controllability of controlled switching linear hybrid systems , 2002, Autom..

[4]  A. Pnueli,et al.  Effective synthesis of switching controllers for linear systems , 2000, Proceedings of the IEEE.

[5]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[6]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[7]  David L. Hicks,et al.  RECONFIGURABILITY OF FAULT-TOLERANT HYBRID CONTROL SYSTEMS , 2002 .

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

[9]  Michael D. Lemmon,et al.  Supervisory hybrid systems , 1999 .

[10]  Clifford Stein,et al.  Introduction to Algorithms, 2nd edition. , 2001 .

[11]  John N. Tsitsiklis,et al.  Complexity of stability and controllability of elementary hybrid systems , 1999, Autom..

[12]  Shuzhi Sam Ge,et al.  Controllability and reachability criteria for switched linear systems , 2002, Autom..

[13]  Panos J. Antsaklis,et al.  Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems , 2000, Proc. IEEE.

[14]  Bo Egardt,et al.  Control design for integrator hybrid systems , 1998, IEEE Trans. Autom. Control..

[15]  Alberto Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 2000, IEEE Trans. Autom. Control..

[16]  W. Rugh.  Linear System Theory , 1992 .

[17]  Panos J. Antsaklis,et al.  On the controllability of hybrid control systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[18]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[19]  Michel Kinnaert,et al.  Diagnosis and Fault-Tolerant Control , 2004, IEEE Transactions on Automatic Control.

[20]  P. Caines,et al.  Hierarchical hybrid control systems: a lattice theoretic formulation , 1998, IEEE Trans. Autom. Control..

[21]  Wassim M. Haddad,et al.  Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control , 2006 .

[22]  A. Haddad,et al.  On the Controllability and Observability of Hybrid Systems , 1988, 1988 American Control Conference.

[23]  Jan H. van Schuppen,et al.  A Sufficient Condition for Controllability of a Class of Hybrid Systems , 1998, HSCC.

[24]  Yin Zhenyu,et al.  Hybrid controllability of linear switched systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[25]  S. Shankar Sastry,et al.  Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings , 2001, HSCC.

[26]  L. Behera,et al.  A hybrid neural control scheme for visual-motor coordination , 1999 .

[27]  Guangming Xie,et al.  Controllability and stabilizability of switched linear-systems , 2003, Syst. Control. Lett..