A unified approach to controllability analysis for hybrid control systems

Nonlinear Analysis: Hybrid Systems

Volumn 1, Issue 2, 2007, Pages 212-222

  Yang, Zhenyu ^a   Blanke, Mogens ^b,c  

^a AALBORG UNIVERSITY   (Denmark)

^b TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^c NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

Controllability; Hybrid automata; Hybrid control systems

Indexed keywords

EID: 36549044386     PISSN: 1751570X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.nahs.2006.08.002     Document Type: Article

References (30)

1. Alur R., Courcoubetis C., Henzinger T.A., and Ho P. In: Ravn A.R., Rischel H., and Grossman R.L. (Eds). Hybrid Automata: An Algorithm Approach to the Specification and Verification of Hybrid Systems. Lecture Notes in Computer Science vol. 736 (1993), Springer-Verlag 209-229
2. Antsaklis P.J. A brief introduction to the theory and applications of hybrid systems. Proceedings of the IEEE 88 7 (2000) 879-887 (special issue)
3. Asarin E., Bournez O., Dang T., Maler O., and Pnueli A. Effective synthesis of switching controllers for linear systems. Proceedings of the IEEE 88 7 (2000) 1011-1025
4. Bemporad A., Ferrari-Trecate G., and Morari M. Observability and controllability of piecewise affine and hybrid systems. IEEE Transactions on Automatic Control 45 10 (2000) 1864-1876
5. Blanke M., Kinnaert M., Lunze J., and Staroswiecki M. Diagnosis and Fault-Tolerant Control (2003), Springer
6. Blondel V.D., and Tsitsiklis J.N. Complexity of stability and controllability of elementary hybrid systems. Automatica 35 3 (1999) 479-490
7. Branicky M.S., Borkar V.S., and Mitter S.K. A unified framework for hybrid control: Model and optimal control theory. IEEE Transactions on Automatic Control 43 1 (1998) 31-45
8. Caines P.E., and Wei Y.J. Hierarchical hybrid control systems: A lattice theoretic formulation. IEEE Transactions on Automatic Control 43 4 (1998) 501-508
9. Cormen T.H., Leiserson C.E., Rivest R.L., and Stein C. Introduction to Algorithms. second edn (2001), The MIT Press
10. Ezzine J., and Haddad A.H. Controllability and observability of hybrid systems. International Journal of Control 49 6 (1989) 2045-2055
11. Haddad W.M., Chellaboina V., and Nersesov S.G. Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control (2006), Princeton University Press
12. Koo T.J., Pappas G.J., and Sastry S. Mode Switching Synthesis for Reachability Specifications. LNCS vol. 2034 (2001), Springer-Verlag 333-346
13. Kurzhanski A.B., and Varaiya P. Ellipsoidal Techniques for Reachability Analysis. LNCS vol. 1790 (2000), Springer-Verlag 333-346
14. Lemch E.S., Sastry S., and Caines P.E. Global Controllability of Hybrid Systems With Controlled and Autonomous Switchings. LNCS vol. 2034 (2001), Springer-Verlag 375-386
15. Lemmon M.D., He K.X., and Markovsky I. Supervisory hybrid systems. IEEE Control Systems Magazine 19 4 (1999) 34-41
16. Lygeros J., Tomlin C., and Sastry S. Controllers for reachability specifications for hybrid systems. Automatica 35 3 (1999) 349-370
17. Lynch N., Segala R., Vaandrager F., and Weinberg H.B. Hybrid I/O Automata. LNCS vol. 1066 (1996), Springer-Verlag 496-510
18. Ramadge P.J., and Wonham W.M. Supervisory control of a class of discrete event processes. SIAM Journal On Control and Optimization 25 (1987) 206-230
19. In: Rugh W.J. (Ed). Linear System Theory (1996), Prentice Hall
20. J.A. Stiver, P.J. Antsaklis, On the controllability of hybrid control systems, in: Proceedings of 32nd Control and Decision Conference, San Antonio, Texas, 1993, pp. 294-299
21. Sun Z., Ge S.S., and Lee T.H. Controllability and reachability criteria for switched linear systems. Automatica 38 5 (2002) 775-786
22. Tittus M., and Egardt B. Control design for integrator hybrid systems. IEEE Transactions on Automatic Control 43 4 (1998) 491-500
23. van Schuppen J.H. A Sufficient Condition for Controllability of a Class of Hybrid Systems. LNCS vol. 1386 (1998), Springer 374-383
24. Xie G., and Wang L. Controllability and stabilizability of switched linear systems. Systems & Control Letters 48 (2003) 135-155
25. Z. Yang, Using hybrid I/O automata for hierarchical hybrid control systems, in: Proceedings of 7th IEEE IFAC International Conference on Methods and Models in Automation and Robotics, Miedzyzdroje, Poland, August 2001, pp. 409-414
26. Yang Z. An algebraic approach towards the controllability of controlled switching linear hybrid systems. Automatica 38 7 (2002) 1221-1228
27. Z. Yang, Sufficient and necessary condition for the controllability of linear hybrid systems, in: Proceedings of 2003 IEEE International Symposium on Intelligent Control, Houston, USA, October 2003, pp. 128-133
28. Z. Yang, M. Blanke, A Unified Approach for Controllability Analysis of Hybrid Control Systems, Bratislava, Slovak Republic, June 2000, pp. 158-163
29. Z. Yang, D.L. Hicks, Reconfigurability of fault-tolerant hybrid control systems, in: Proceedings of 2002 IFAC Congress, Barcelona, Spain, July 2002, pp. 21-26
30. 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