Perspectives and results on the stability and stabilizability of hybrid systems

Proceedings of the IEEE

Volumn 88, Issue 7, 2000, Pages 1069-1082

  Decarlo, Raymond A ^a,c   Branicky, Michael S ^a,b   Pettersson, Stefan ^a,b   Lennartson, Bengt ^a,b  

^a Purdue Universily ^*  (United States)

^b Case Western Reserve University ^*  (United States)

^c CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Hybrid systems; Linear matrix inequalities; Stability; Stabilizability; Switched systems

Indexed keywords

EID: 33646910241     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/5.871309     Document Type: Article

References (112)

1. [11 M. S. Branicky, "Multiple Lyapunov functions and other analysis took for switched and hybrid systems." 'EEL Trans. Automat. Cotnr., vol. 43, no. 4. pp. 475-482, 1998.
2. H. Ye, A. N. Michel, and L. Hou, "Stability theory for hybrid dynamical systems." IEEE Trans. Automal. Conn:, vol. 43, no. 4, pp. 461-474, Apr. 1998.
3. A. N. Michel and B. Hu, "Toward a stability theory of general hybrid dynamical systems," Automatica, vol. 35. pp. 371-384, 1999.
4. A. S. Morse, Control Using Logic-Bused Switching. London. U.K.: Springer-Verlag, 1997.
5. ."5] P. Peleties and R. A. DeCarlo, "Asymptotic stability of (-switched systems using Lyapunov-like functions," in Proc. 1991 American Control Canf., Boston, MA, 1991, pp. 1679-1684.
6. [61 M. S. Branicky, "Stability of switched and hybrid systems: State of the art," in Proc. 36th IEEE Conf. Decision and Control, 1997, pp. 1208-1212.
7. R. Alur.T. A. Henzinger, and E. D. SonUg, Eds. .Hybrid Systems 111: Verification and Control. Berlin, Germany: Springer-Verlag, 1996, Lecture Notes in Computer Science.
8. A. N. Michel. "Recent trends in the stability analysis of hybrid dy- namicai systems," IEEE Trans. Circuits Sist. J. vol. 46, no. 1, pp. 120-134, Jan. 1999.
9. W. P. Dayawansa and C. F. Martin. "A converse Lyapunov theorem for a class of dynamical systems which undergo switching," IEEE Trans. Automat. Cor.tr.. vol. 44, pp. 75i-760. 1999.
10. [101 M. S. Branicky, "Stability of switched and hybrid systems." inPwc. 33rd IEEE Conf. Decision end Controi. Lake Buena Vista. FL. Dec. 14-16. 1994. pp. 3498-3503.
11. [ i 1J S. Pettersson and B. Lennartson, "Stability and robustness for h) brid systems," in fror. 35th IEEE Co/if. Decision and Control. Kobe, Japan, 1996. pp. 1202-1207.
12. Controller Design uf Hybrid Systems, ser. Lecture Notes in Computer Science 1201. Oded Maler. Ed. Berlin. Germany: Springer, 1997. pp. 240-254.
13. Z. Anstein. "Examples of stabilisation with hybrid feedback." in Hybrid Systems 111, R. Alur. T. A. Henzinger, and E. D. Sontag, Eds. New York: Springer. 1996, pp. l73-f85.
14. M. Dogruel and L. O/guner, "Stability of hybrid systems." in Proc. lEEEI/ii. Symp. Intelligent Control. 1994, pp. 129-134.
15. H. Ye. A. N. Michel, and L. Hou, "Stability theory for hybrid dynamical systems." in fror. 34lh IEEE Con'i. Decision and Control. New Orleans, LA, 1995, pp. 2679-2684.
16. B. Hu and A. N. Michel. "Some qualitative properties of multirate digital control systems," IEEE Trans. Automat. Conlr., vol. 44, Apr. 1999.
17. H. Ye, A. N. Michel, and L. Hou, "Stability analysis of systems with impulse effects," IEEE Trans. Automat. Conlr.. vol. 43, pp. 1719-1723, Dec. 1998.
18. T. Paviidis, "Stability of systems described by differential equations containing impulses," IEEE Trans. Automat. Conlr.. vol. AC-12, pp. 43-45, Feb. 1967.
19. D. D. Bainov and P. S. Simeonov, Systems with Impulse Effect. Chichester. U.K.: Ellis Horwood. 1989.
20. J. Ezzine and A. H. Haddad. "Controllability and observability of hybrid systems," Int. J. Control vol. 49, no. 6, pp. 2045-2055. June 1989.
21. J. P. Hespanha and A. S. Morse. "Siaoiiization of nonholonomic integrators via logic-based switching." Aiitvmalica, voi. 35. pp. 3X5-393, 1980.
22. A. T. Barabanov and Y. F. Siarozhilov. "Investigation of the stability of continuous discrete systems by I.yapunov's second method." Sov. J. Aulom. Inf. Sei., vol. 21. no. (,'. pp. 35-41, Nov.-Dec. 1988.
23. [23j L. Hou, A. N. Michel, and Y. Hui, "Some qualitative properties of sampled-data control systems," in fror. 35th IEEE Conf. Decision and Control. Kobe, Japan, Dec. 1996, pp. 911-916. Switched System Stability
24. T. 1. Seidman, "Switching systems," UMBC, Baltimore, MD, Tech. Rep. 86-78. 1986.
25. 25J "Optimal control for switching systems," in 21st Anna. Conf. Information Science am! Systems, Johns Hopkins University. 1987. pp. 485-489.
26. D. Liberzon and A. S. Morse, "Basic problems in stability and design of switched systems," IEEE Conn: Syst. Mag., vol. 19, no. 5, pp. 59-70. Oct. 1999.
27. [271 T. Ooba and Y. Funahashi. "Two conditions concerning common quadratic Lyapunov functions for linear systems." IEEE Trans. Automat. Conn:, vol. 42, pp. 719-721. 1997.
28. [28[ S. N. Shorten and K. S. Narendra, "On the stability and existence of common Lyapunov functions for stable linear switching systems." in fror. 37th IEEE Conf. Decision and Control 1998. pp. 3723-3724.
29. A. A. Agrachev and D. Liberzon, "Lie-algebraic conditions for exponential stability of switched systems." in P roc. of ! lie 38th Conf. Decision anclCor.lr;l. Phoenix. AZ. Dec. 1999, pp. 2679-2684.
30. M. Wicks, P. Peleties, and R. DeCarlo. "Switched controller synthesis for Ihe quadratic stabilization of a pair of unstable linear systems." Eu:: J. Conn:, vol. 4, pp 140-147. 1998.
31. K. A. Loparo. J. T. Aslanis, and O. Hajek. "Analysis of switching linear systems in the plane, Part I: Local behavior of trajectories and local cycle geometry." ,J. Optiir.i:. Theory Appiica;.. vol. 52. no. 3. pp. 365-394. 19S7.
32. , "Analysis of switching linear systems in the plane. Part II: Global behavior of trajectories, controllability, and attainability,".J. Optifii:. Theory Appcal.. vol. 52. no. 3. pp. 395-42. 1987.
33. X. Xu and P. Antsakiis, "Design of stabilizing control laws for second-order switched systems." in f cor. I4tli IFAC World Congress, vol. C, Beijing. P.R.C.. 1999. pp. 181-186.
34. B. Hu, X. Xu. P. j. Antsaklis, and A. N". Michel. "Robust stabilizing control law for a ciass of second-order switched systems," Syst. Conf. Lett., vol. 38. pp. 197-207 1999.
35. M. A. Wicks. P. Peleties. and R. A. DeCarlu, "Construction of piecewise Lyapunov functions for stabilizing switched systems." in P roc. 33 nl IEEE Conf. Disici: and Cor.lroi. Lake Buena Vista. FL. Dec. 14_16, 1994, pp. 3492-3497.
36. f36| E. Feron. "Quadratic sta'Diiizabiiily of switched systems via state and output feedback." Center for Intelligent Control Systems. Massachusetts Institute of Technology. Tech. Rep. CICS P-463. Feb. 1996.
37. B. E. Bishop. "Lyapunov function normalization for controlled switching of hybrid systems." in Pwc. 1999 Amer. Control Conf., San Diego. CA. Dec. "1999.
38. [381 J. Malmborg, B. Bernhardsson, and K. J. Astrom. "A stabilizing switching scheme for multi-controller systems," in Proc. IF AC World Co'wivss. San Francisco. CA. Juiy 1996.
39. [39J K. S. Narendrd and J. Baiakrishnan, "A common Lyapunov function for stable LTI systems with commuting A-matrices." IEEE Trims. Automat. Coiitr., pp. 2469-2471, 1994.
40. D. Lioerzon, J. P. Hespanha, and A. S. Morse, "Stability of switched systems: A Lie-algebraic condition." Sv.y.'. Cont;: Lett., vol. 37. no. 3, pp. 117-122. 1999.
41. L. Gurviis, "Stability of discrete linear inclusions." Lin. Alg. Appl.. vol. 231, pp. 47-85, 1995.
42. [421 J. Hespanha and A. S. Morse, "Stability of switched systems with average dvvell-îirne," in Proc. 38th Conf. Decision find Control. Phoenix, AZ, Dec. 1999. pp. 2655-2660.
43. M. A. Wicks and R. A. DeCarlo "Solution of coupled Lyapunov equations for the stabilization of multimodal linear systems," in Proc. 1997 Amer. CojUrol Conf.. Albuquerque, N VI, June 1997, pp. 1709-1713.
44. A. Y. Pogromsky, VI. Jirstrand, and P. Spangeus, "On stability and passivity of a class of hybrid systems," in Proc. 37th IEEE Conf. Decision and Control. San Diego. CA. 1998. pp. 3705-3710.
45. L. Xie, S. Shishkin. and M. Fu, "Piecewise Lyapunov functions for robust stability of linear time-varying systems," Syst. Contr. Lett., vol. 31. pp. 165-171. 1997.
46. D. Llberzon. "Stabilizing a linear system with finite-state hybrid output feedback." in Proc. 7ili IEEE Mediterranean Conf. Control and Automation. Haifa, Israel, 1999, pp. 176-183.
47. A. V. Savkin, E. Skaridas, and R. J. Evans, "Robust output feedback stabiuzability via controller switching," Automatica, vol. 35, pp. 69-74. 1999.
48. R. W. Brocket and D. Liberzon. "Quantized feedback stabilization of linear systems," IEEE Trans. Automat. Contr.. July 2000, to be published. Dissertations
49. [49j S. Pettersson, "Analysis and design of hybrid systems," Ph.D. dissertation, Chalmers Univ. of Technology. Göteborg, Sweden, June 1999.
50. P. A. Peleties, "Modeling and design of interacting continuous-time/discrefe event systems," Ph.D. dissertation. School of Electrical Engineering, Purdtie Univ.. West Lafayette. IN, Dec. 1992.
51. M.S. Branicky. "Studies in hybrid systems: Modeling, analysis, and control," Ph.D. dissertation. Dept. of Electrical and Computer Engineering. Massachusetts Institute of Technology, 1995.
52. H. Ye. "Stability analysis of two classes of dynamical systems: General hybrid dynamical systems and neuras networks with delays," Ph.D. dissertation. Dept. of Electrical Engineering, Univ. of Notre Darne, May 1996.
53. [531 K. H. Johansson. "Relay, feedback, and multivariable control." Ph.D. dissertation, Dept. of Automatic Control. Lund Institute of Technology, Lund, Sweden. May 1998.
54. J. Maimbcrg, "Analysis and design of hybrid control systems." Ph.D. dissertation, Dept. of Automatic Control. Lund Institute of Technology, Lund. Sweden. May 1998.
55. J. P. Hespanha. "Logic-based switching algorithms in control," Ph.D. dissertation. Dept. of Electrical Engineering. Yale Univ.. 1998. Applications
56. A. Gollu and P. O. Varaiya. "Hybrid dynamical systems." in P me. 2S:h IEEE Conf. Decision und Control. Tampa. FL. Dec. 19S9. pp. 2708-2712.
57. R. W. Brocket;, "Hybrid models for motion control systems," in Essays on Control: Perspectives in the Theory and ils Applications, H. L. Trentelrnan and j. C. VVillems, Eds. Boston, MA: Birkhauser, 1993, pp. 29-53.
58. M. Oishi and C. 'lomlin, "Switched nonlinear control of a VSTOL aircraft," in Proc. 38th Conf. Decision and Control, Phoenix, AZ, Dec. 1999. pp. 2685-2690.
59. [591 M. S. Branicky, "Analysis of continuous switching systems: Theory and examples," in Proc. Amer. Control Conf., Baltimore, .V1D, June 29-July 1, 1994. pp. 3110-314.
60. H.Sira-Ramirez, "Nonlinear P-l controller design for switched mode dc-to-dc power converters," IEEE Trans. Circuits Syst., vol. 38, no. 4. pp. 410-4i7, Apr. 1991.
61. S. R. Sanders and G. C. Verghese, "Lyapunuv-based control for switcned power converters," in Proc. 21st Anna. IEEE Power Electronics Specialists Conf. 'PESC'90i, San Antonio, TX, June 11-14, 1990, Pari i (of 2).
62. G. Szentinnai and G. C. Ternes, "Switched-capacitor building blocks," IEEE Trans. Circuits Syst., vol. CAS-27, June 1980. Modeling
63. H. S. Witsenhausen, "A class of hybrid-state continuous-time dynamic systems," IEEE Trans. Automat. CoiUr., voi. AC-1 1, no. 2, pp. 161-167, 1966.
64. [641 L. Taverr.ini, "Differential automata and their discrete simulators," Nonlinear Anai.. Theory, Methods, AppL, vol. 11, no. 6, pp. 665-683, ,987.
65. P. Peieues and R. DeCarlo, "Modeling of interacting continuous time and discrete event systems: An example,' in Proc. 26th Anna. Allerton Conf., Sept. 1988, pp. 1150-1159.
66. , "A modeling strategy for discrete event supervisory control of continuous time systems," in P me. 28th IEEE Conf. Decision ami Control, Dec. 1989, pp. 1308-1313.
67. "A modeling stratcg) for hybrid systems based on event structures," Discrete Even! Dynamic Sysi.. vol. 3, pp. 39-69, 1993.
68. "Analysis of a hybrid system using symbolic dynamics and pétri nets," Autoimitica, vol. 30, no. 9, pp. 1421-1427, Sept. 1994.
69. .1. A. Stiver, P. J. Antsaklis, and M. D. Lemmon, "A logical DES approach to the design of hybrid control systems," Mathematical and Computer Modeling, vol. 23, no. 11/12, pp. 55-76, June 1996. (Special Issue on Discrete Event Systems). |70J P. J. Antsaklis, j. A. Stiver, and M. D. Lemmon, "Hybrid system modeling and autonomous control systems," in Hybrid Systems. New York: Springer-Verlag, 1993, pp. 366-392.
70. [71J R. Alur, C. Courcoubetis, T. A. Henzingcr, and P.-H. Ho, Eds., "Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems," in Workshop on Theory of Hybrid Systems. Lyngby, Denmark, 1992, vol. 736, Lecture Notes in Computer Science, pp. 209-229.
71. (72[ R. Grossman, A. Nerode, A. Ravn, and H. Rischel, Hybrid Systems, H. Rischel, Ed. New York: Springer-Verlag, 1993. vol. 736, Lecture Notes in Computer Science.
72. A. Nerode and W. Kohn, "Models for hybrid systems: Automata, topologies, controllability, observability," in Hybrid Systems. New York: Springer-Verlag. 1993, pp. 317-350.
73. M. Dogrucl and U. Ozguner, "Stability of hybrid systems," in Proc. IEEE Int. Symp. Intelligent Control, 1994, pp. 129-134.
74. M. S. Branicky. V. S. Borkar, and S. K. Mitter, "A unified framework for hybrid control: Model and optima! control theory," IEEE Trcms. Automat. Contr., vol. 43, no. 1, pp. 31-45, 1998.
75. , "A unified framework for hybrid control" in Proc. 33rd IEEE Conf. Decision and Control, Lake Buena Vista, FL, Dec. 1994, pp. 4228-1234.
76. S. Pettersson and B. Lennartsoa. "Hybrid modeling focused on hybrid petri nets." in Proc. 2nd Ein: Workshop Real-Time and Hybrid Systems, Grenoble, France, June 1995. pp. 303-309.
77. [7,X] B. Lennartson, M. Tittus, B. Egardl. and S. Pettersson, "Hybrid systems in process control," IEEE Conn: Svst. Mac,., vol. 16, no. 5, pp. 45-55, 1996. LMI Applications
78. S. Bcyd, L. El (Jhaoui. E. Feron, and V. Balakrishnan. Linear Matrix Ir.i'qiialilies in S:slen: and Control Thenrv. Philadelphia, PA: S1AM, 1994.
79. M. Johansson and A. Rantzer, "Computation of piecewise quadratic Lyapunov functions for hybrid svstems," IEEE Trans. Automat. Contr.. vol. 43. no. 4. pp. 555-559. 1998.
80. "Computation of piecewise quadratic Lyapunov functions for hybrid systems," Dept. of Automatic Control, Lund Institute of Technology, Tech. Rep. ISRN LUTFD2/TFRT-7549-SE, June 1996.
81. "Computation of piecewise quadratic Lnpunov functions for hybrid systems,'' in Pmc. 4th Eur. Ctn:t~. ConJ., Brussels, Belgium, 1997.
82. S. Pettersson and B. Lennartson, "Stability and robustness for hybrid systems," Control Engineering Laboratory, Cnaimers Univ. of Technology, Tech. Rep. 1-96/003, July 1996.
83. "LM1 for stability and robustness of hybrid systems," in Pmc. Anifi: Control Conf., Albuquerque, NM, 1997, pp. 1714-17 18.
84. "Exponential stability analysis of nonlinear systems using LMIs," in Proc. 36:h IEEE Conf. Decision and Control. San Diego, CA, 1997. pp. 199-204,
85. - . "Exponential stability of hybrid systems using piccewise quadratic Lyapunov functions resulting in an LM1 problem," in Proc. 14ti. IFAC Work! Congress, Beijing, China, July 1999.
86. [87[ P. Guhinet, A. Nemirovski, A. J. Laub, ana VI. Chilali, LMI Control Toolbox for Use iirn Mat'ab: Mathworks, May 1995.
87. L. El Ghaoui, LM1JOOL: An interface to Solve LMI Problems: ENSTA, 1995.
88. M. Johansson. "Piecewise linear control systems," Lund Institute of Technology, Lund, Sweden. ISRN LITFD2/TFRT-I050-SB. 1999.
89. A. Rantzer and M. Johansson, "Piecewise linear quadratic optimal control." IEEE Trans. Ar.Iomat. Conlr., to be published. Miscellaneous
90. V. I. Zubov, Me'hods of A. ,VJ. Lyapunov and Their Applications. Gronigen, The Netherlands: oordhoff, 1964.
91. W. Hahn, "stability of Motion. Berlin and New York: Springer-Verlag, 1967.
92. T. Yoshizawa, Stability Theory by Lyapunov's Second Method. Tokyo, Japan: Math. Soc. Japan.
93. [941 A. F. Filippov, Differential Equation with Discontinuons Right Hand Sides. Norwell, MA: Kluwcr Academic. 1988.
94. [95[ D. Shcvitz and B. Paden, "Lyapunov stability cf nonsmooth systems," IEEE Trans. Automat. Court-., vol. 39. no. 9, pp. 181-191, 1994.
95. V. I. Ulkin, "Sliding mode control in discrete-time and difference systems," in Variable Structure and Lyapunov Control, A. S. Zinoear, Ed. London, U.K.: Springer-Verlag, 1993, pp. 87-107.
96. K. S. Narendra and A. M. Annaswamy, Stable Adaptive Systems. Englewood Cliffs, J: Prentice-Hall, 1989.
97. A. D. Molchanov and Y. S. Pyatnttsky, "Criteria of absolute stability of differential and difference inclusions encountered in control theory." Syst. Contr. Lett., vol. 13, pp. 59-64, 1989.
98. V. Blonde 1 and J. Tsiîsiklis, "NP-hardness of some linear control design problems," SIAM J. Contr. Optimi:., vol. 35, no. 6, pp. 2118-2127,1997.
99. V. D. Blondeland J. N. Tsiîsiklis, "Complexity of stability and controllability of elementary hybrid systems," Aulomatica. vol. 35, no. 3, pp. 47989, Mar. 1999,
100. S. Hedlund and A. Rantzer, "Optimal Control of Hybrid Systems," in Proc. 1999 IEEE Conf. Decision and Control, Phoenix, AZ, Dec. 1999.
101. N. H. McClamroch and I. Kotrnanovsky, "Performance benefits of hybrid control design for linear and nonlinear systems," in Proceedings of she IEEE, vol. 88. July 2000, pp. XXX-XXX.
102. J.-J. Slotine and W. Li, Applied Nonlinear Control. Upper Saddle River, XI: Prentice-Hall, 1991.
103. C. Chase, J. Serrano, and P. J. Ramadge, "Periodicity and chaos from switched flow systems: Contrasting examples of discretely controlled continuous systems," IEEE Trans. Automat. Contr., vol. 38, no. 1. pp. 70-83, 1993.
104. [105[ N. Elia, "Quantized linear systems," in Systems Theory: Modeling, Analysis, and Control, T. E. Djaferis and 1. C. Schick, Eds. Boston, MA: Kluwer Academic, 1999. pp. 433-462.
105. B. Hu, Z. Fcng. and A. N. Michel, "Quantized sampled-data feedback stabilization foriinear and nonlinear control systems," in Proc. 38th IEEE Conf. Decision and Contre,!, Phoenix, AZ, 1999, pp. 4392-4397.
106. D. Liberzon. "Nonlinear stabilization by nybrid quantized feedback," in Proc. .rrd Int. Workshop Hvhrid Systems: Computation ar.d Control, Pittsburgh, PA, Mar. 2000, lo be published.
107. C. Rui, I. Kolmanovsky. and N. H. McClamroch, "Hybrid control for stabilization of a class of cascade nonlinear systems," in Proc. American Control Conf., Albuquerque. NV1. 199~! pp. 2800-2804.
108. M. S. Branicky, S. P. Phillips, and W. Zhang, "Stability of networked control systems: Explicit analysis of delay," in Proc. Artier. Control Conf., Chicago, IL.
109. L. Gurvits and L. Rodman, "Convergence of polynomially bounded semigroups of matrices," SI AM .!. Matrix Anal. Aonlicat., vol. 18, no. 2. pp. 360-368, 1997.
110. [Hi] O. Toker, "On the algorithmic imsolvability of some stability problems for discrete event systems," in Proc. IFAC World Congress, San Francisco, CA, 1996, pp. 353-358.
111. I. S. Branicky, "Universal computation and other capabilities of hybrid and continuous dynamical systems,'' Theoret. Coniput. Sei.. vol. 138, no. 1, pp. 67-100, 1995.
112. [ 113j W. .1. Rugh, Linear System Theory, 2nd ed. Englewood Cliffs. NJ: Premice-Hall, 1996.