Hybrid dynamical systems: Modeling, stability, and robustness

Hybrid Dynamical Systems: Modeling, Stability, and Robustness

Volumn , Issue , 2012, Pages 1-212

  Goebel, Rafal ^a   Sanfelice, Ricardo G ^b   Teel, Andrew R ^c  

^a LOYOLA UNIVERSITY CHICAGO   (United States)

^b University of Arizona   (United States)

^c University of California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84924331961     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Book

References (130)

1. R. Alur, C. Coucoubetis, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoret. Comput. Sci., 138(1):3-34, 1995.
2. A. D. Ames, A. Abate, and S. Sastry. Sufficient conditions for the existence of Zeno behavior in a class of nonlinear hybrid systems via constant approximations. In Proc. 46th IEEE Conference on Decision and Control, pages 4033-4038, 2007.
3. F. Ancona. Homogeneous tangent vectors and high-order necessary conditions for optimal controls. J. Dynam. Control Systems, 3(2):205-240, 1997.
4. J.-P. Aubin. Viability theory. Birkhauser, 1991.
5. J.-P. Aubin. Impulse differential inclusions and hybrid systems. Lecture Notes, University of California, Berkeley, 1999.
6. J.-P. Aubin and A. Cellina. Differential Inclusions. Springer-Verlag, 1984.
7. J.-P. Aubin and H. Frankowska. Set-Valued Analysis. Birkhauser, 1990.
8. J.-P. Aubin and G. Haddad. Cadenced runs of impulse and hybrid control systems. Internat. J. Robust Nonlinear Control, 11(5):401-415, 2001.
9. J.-P. Aubin, J. Lygeros,M. Quincampoix, S. Sastry, and N. Seube. Impulse differential inclusions: a viability approach to hybrid systems. IEEE Trans. Automat. Control, 47(1):2-20, 2002.
10. A. Bacciotti and F. Ceragioli. Stability and stabilization of discontinuous systems and nonsmooth Lyapunov functions. ESAIM: Control Optim. Calc. Var., 4:361-376, 1999.
11. A. Bacciotti and F. Ceragioli. Nonpathological Lyapunov functions and discontinuous Carathéodory systems. Automatica, 42(3):453-458, 2006.
12. A. Bacciotti and L. Mazzi. An invariance principle for nonlinear switched systems. Systems Control Lett., 54(11):1109-1119, 2005.
13. D. D. Bainov and P. S. Simeonov. Systems with Impulse Effect: Stability, Theory, and Applications. Ellis Horwood Limited, 1989.
14. E. A. Barbashin and N. N. Krasovskii. On the stability of motion as a whole. Doklady Akademii Nauk SSSR, 86:453-456, 1952. In Russian.
15. O. Beker, C. V. Hollot, Y. Chait, and H. Han. Fundamental properties of reset control systems. Automatica, 40(6):905-915, 2004.
16. G. D. Birkhoff. Dynamical Systems. Amer. Math. Soc., 1927.
17. M. Bohner and A. Peterson. Dynamic Equations on Time Scales. Birkhauser, 2001.
18. M. S. Branicky. Studies in Hybrid Systems: Modeling, Analysis, and Control. PhD thesis, Massachusetts Institute of Technology, Cambridge, 1995.
19. M. S. Branicky. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Trans. Automat. Control, 43(4):475-482, 1998.
20. B. Brogliato. Nonsmooth mechanics: models, dynamics, and control. Communications and control engineering. Springer, 2nd edition, 1999.
21. B. Brogliato. Some perspectives on the analysis and control of complementarity systems. IEEE Trans. Automat. Control, 48(6):918-935, 2003.
22. C. I. Byrnes and C. F. Martin. An integral-invariance principle for nonlinear systems. IEEE Trans. Automat. Control, 40(6):983-994, 1995.
23. C. Cai, R. Goebel, R. G. Sanfelice, and A. R. Teel. Hybrid systems: limit sets and zero dynamics with a view toward output regulation. In A. Astolfi and L. Marconi, editors, Analysis and Design of Nonlinear Control Systems, pages 241-261. Springer-Verlag, 2008.
24. C. Cai, A. R. Teel, and R. Goebel. Smooth Lyapunov functions for hybrid systems. Part I: existence is equivalent to robustness. IEEE Trans. Automat. Control, 52(7):1264-1277, 2007.
25. C. Cai, A. R. Teel, and R. Goebel. Smooth Lyapunov functions for hybrid systems. Part II: (Pre-)asymptotically stable compact sets. IEEE Trans. Automat. Control, 53(3):734-748, 2008.
26. F. H. Clarke. Optimization and Nonsmooth Analysis. Wiley, 1983.
27. F. H. Clarke, Y. S. Ledyaev, and R. J. Stern. Asymptotic stability and smooth Lyapunov functions. J. Diff. Eq., 149(1):69-114, 1998.
28. F. H. Clarke, Y. S. Ledyaev, R. J. Stern, and P. R. Wolenski. Nonsmooth Analysis and Control Theory. Springer-Verlag, 1998.
29. P. Collins. A trajectory-space approach to hybrid systems. In 16th International Symposium on Mathematical Theory of Networks and Systems, 2004.
30. G. Dal Maso and F. Rampazzo. On systems of ordinary differential equations with measures as controls. Differential Integral Equations, 4(4):739-765, 1991.
31. W. P. Dayawansa and C. F. Martin. A converse Lyapunov theorem for a class of dynamical systems which undergo switching. IEEE Trans. Automat. Control, 44(4):751-760, 1999.
32. R. A. DeCarlo, M. S. Branicky, S. Pettersson, and B. Lennartson. Perspectives and results on the stability and stabilizability of hybrid systems. Proc. IEEE, 88(7):1069-1082, 2000.
33. A. Deshpande. Control of hybrid systems. PhD thesis, University of California, Berkeley, 1994.
34. A. F. Filippov. Differential equations with discontinuous right-hand sides. Mat. Sb., 51:99-128, 1960. In Russian.
35. A. F. Filippov. Differential Equations with Discontinuous Right-hand Sides. Kluwer, 1988.
36. H. Frankowska. Local controllability and infinitesimal generators of semigroups of set-valued maps. SIAM J. Control Optim., 25(2):412-432, 1987.
37. R. Goebel, J. Hespanha, A. R. Teel, C. Cai, and R. Sanfelice. Hybrid systems: generalized solutions and robust stability. In IFAC Symposium on Nonliear Control Systems, Stuttgart, 2004.
38. R. Goebel, R. G. Sanfelice, and A. R. Teel. Invariance principles for switching systems via hybrid systems techniques. Systems Control Lett., 57(12):980-986, 2008.
39. R. Goebel, R. G. Sanfelice, and A. R. Teel. Hybrid dynamical systems. IEEE Control Systems Magazine, 29(2):28-93, 2009.
40. R. Goebel and A. R. Teel. Solutions to hybrid inclusions via set and graphical convergence with stability theory applications. Automatica, 42(4):573-587, 2006.
41. R. Goebel and A. R. Teel. Zeno behavior in homogeneous hybrid systems. In Proc. 47th Conference on Decision and Control, pages 2758-2763, 2008.
42. R. Goebel and A. R. Teel. Pre-asymptotic stability and homogeneous approximations of hybrid dynamical systems. SIAM Rev., 52(1):87-109, 2010.
43. T. B. Goh, Z. Li, B. M. Chen, T. H. Lee, and T. Huang. Design and implementation of a hard disk drive servo system using robust and perfect tracking approach. IEEE Trans. Control Systems Technology, 9(2):221-233, 2001.
44. L. Grüne. Homogeneous state feedback stabilization of homogenous systems. SIAM J. Control Optim., 38(4):1288-1308, 2000.
45. W. M. Haddad, V. Chellaboina, and S. G. Nersesov. Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control. Princeton University Press, 2006.
46. W. Hahn. Stability of motion. Translated from the German manuscript by Arne P. Baartz. Die Grundlehren der mathematischen Wissenschaften, Band 138. Springer-Verlag, 1967.
47. O. Hájek. Discontinuous differential equations, I. J. Diff. Eq., 32(2):149-170, 1979.
48. J. K. Hale, L. T. Magalhaes, and W. M. Oliva. Dynamics in infinite dimensions, volume 47 of Applied Mathematical Sciences. Springer-Verlag, 2nd edition, 2002.
49. W. P. M. Heemels and B. Brogliato. The complementarity class of hybrid dynamical systems. European J. Control, 9(2-3):322-360, 2003.
50. W. P. M. Heemels, J. M. Schumacher, and S. Weiland. Linear complementarity systems. SIAM J. Appl. Math., 60(4):1234-1269, 2000.
51. T. A. Henzinger. The theory of hybrid automata. In Proc. 11th Annual Symp. on Logic in Comp. Science, pages 278-292. IEEE CS Press, 1996.
52. H. Hermes. Discontinuous vector fields and feedback control. In Differential Equations and Dynamical Systems, pages 155-165. Academic Press, 1967.
53. H. Hermes. Nilpotent and high-order approximations of vector field systems. SIAM Rev., 33(2):238-264, 1991.
54. J. P. Hespanha. Uniform stability of switched linear systems: extensions of LaSalle's invariance principle. IEEE Trans. Automat. Control, 49(4):470-482, 2004.
55. J. P. Hespanha, D. Liberzon, D. Angeli, and E. D. Sontag. Nonlinear norm-observability notions and stability of switched systems. IEEE Trans. Automat. Control, 50(2):154-168, 4.
56. J. P. Hespanha, D. Liberzon, and A. R. Teel. Lyapunov conditions for input-to-state stability of impulsive systems. Automatica, 44(11):2735-2744, 2008.
57. J. P. Hespanha and A. S. Morse. Stability of switched systems with average dwell-time. In Proc. 38th IEEE Conference on Decision and Control, volume 3, pages 2655-2660, 1999.
58. Z-P. Jiang and Y. Wang. Input-to-state stability for discrete-time nonlinear systems. Automatica, 37(6):857-869, 2001.
59. M. Kawski. Homogeneous stabilizing feedback laws. Control Theory Adv. Tech., 6(4):497-516, 1990.
60. C. M. Kellett and A. R. Teel. Smooth Lyapunov functions and robustness of stability for difference inclusions. Systems Control Lett., 52(5):395-405, 2004.
61. C. M. Kellett and A. R. Teel. On the robustness of KL-stability for difference inclusions: Smooth discrete-time Lyapunov functions. SIAM J. Control Optim., 44(3):777-800, 2005.
62. H. K. Khalil. Nonlinear Systems. Prentice Hall, 3rd edition, 2002.
63. N. N. Krasovskii. Problems of the theory of stability of motion. Stanford Univ. Press, 1963. Translation of Russian edition, Moscow 1959.
64. N. N. Krasovskii. Game-Theoretic Problems of Capture. Nauka, Moscow, 1970. In Russian.
65. J. Kurzweil. On the inversion of Ljapunov's second theorem on stability of motion. Amer. Math. Soc. Transl., Ser. 2, 24:19-77, 1956.
66. V. Lakshmikantham, D. D. Bainov, and P. S. Simeonov. Theory of Impulsive Differential Equations. World Scientific, 1989.
67. A. Lamperski and A. D. Ames. Lyapunov-like conditions for the existence of Zeno behavior in hybrid and Lagrangian hybrid systems. In Proc. 46th IEEE Conference on Decision and Control, pages 115-120, 2007.
68. S. Lang. Real Analysis. Addison-Wesley, 2nd edition, 1983.
69. J. P. LaSalle. Some extensions of Liapunov's second method. IRE Trans. Circuit Theory, 7(4):520-527, 1960.
70. J. P. LaSalle. An invariance principle in the theory of stability. In Differential equations and dynamical systems. Academic Press, 1967.
71. J. P. LaSalle. The Stability of Dynamical Systems. SIAM's Regional Conference Series in Applied Mathematics, 1976.
72. D. Liberzon. Hybrid feedback stabilization of systems with quantized signals. Automatica, 39(9):1543-1554, 2003.
73. D. Liberzon. Switching in Systems and Control. Systems and Control: Foundations and Applications Series. Birkhauser, 2003.
74. Y. Lin, E. D. Sontag, and Y. Wang. A smooth converse Lyapunov theorem for robust stability. SIAM J. Control Optim., 34(1):124-160, 1996.
75. H. Logemann and E. P. Ryan. Asymptotic behaviour of nonlinear systems. Amer. Math. Monthly, 111(10):864-889, 2004.
76. A. Loria, E. Panteley, D. Popovic, and A. R. Teel. A nested Matrosov theorem and persistency of excitation for uniform convergence in stable nonautonomous systems. IEEE Trans. Automat. Control, 50(2):183-198, 2005.
77. A. M. Lyapunov. The general problem of the stability of motion. Internat. J. Control, 55(3):521-790, 1992. Translated by A. T. Fuller from Édouard Davaux's French translation (1907) of the 1892 Russian original.
78. J. Lygeros. Hierarchical, hybrid control of large scale systems. PhD thesis, University of California, Berkeley, 1996.
79. J. Lygeros, K. H. Johansson, S. N. Simić, J. Zhang, and S. S. Sastry. Dynamical properties of hybrid automata. IEEE Trans. Automat. Control, 48(1):2-17, 2003.
80. J. Lygeros, C. Tomlin, and S. S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35(3):349-370, 1999.
81. N. Lynch, R. Segala, F. Vaandrager, and H. B. Weinberg. Hybrid i/o automata. In Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science. Springer, 1996.
82. M. Malisoff and F. Mazenc. Constructions of strict Lyapunov functions for discrete time and hybrid time-varying systems. Nonlinear Anal. Hybrid Syst., 2(2):394-407, 2008.
83. I. G. Malkin. A theorem on stability in the first approximation. Doklady Akad. Nauk SSSR, 76:783-784, 1951.
84. J. L. Mancilla-Aguiar and R. A. Garcia. A converse Lyapunov theorem for nonlinear switched systems. Systems Control Lett., 41(1):67-71, 2002.
85. J. L. Mancilla-Aguilar and R. A. Garcia. An extension of LaSalle's invariance principle for switched systems. Systems Control Lett., 55(5):376-384, 2006.
86. M. D. P. Monteiro Marques. Differential inclusions in nonsmooth mechanical problems: Shocks and dry friction, volume 9 of Progress in Nonlinear Differential Equations and their Applications. Birkhauser Verlag, 1993.
87. J. L. Massera. On Liapounoff's conditions of stability. Ann. of Math., 50:705-721, 1949.
88. J. L. Massera. Contributions to stability theory. Ann. of Math. (2), 64:182-206, 1956.
89. V. M. Matrosov. On the stability of motion. J. Appl. Math. Mech., 26:1337-1353, 1963.
90. C. G. Mayhew, R. G. Sanfelice, and A. R. Teel. Quaternion-based hybrid controller for robust global attitude tracking. IEEE Transactions on Automatic Control, 56(11):2555-2566, November 2011.
91. V. S. Melnik and J. Valero. On attractors of multivalued semi-flows and differential inclusions. Set-Valued Anal., 6(1):83-111, 2004.
92. R. E. Mirollo and S. H. Strogatz. Synchronization of pulse-coupled biological oscillators. SIAM J. Appl. Math., 50(6):1645-1662, 1990.
93. J.-J. Moreau. Unilateral contact and dry friction in finite freedom dynamics. In Non-smooth Mechanics and Applications, volume 302 of International Centre for Mechanical Sciences, Courses and Lectures, pages 1-82. Springer-Verlag, 1988.
94. D. Nešić and A. R. Teel. Matrosov theorem for parameterized families of discrete-time systems. Automatica, 40(6):1025-1034, 2004.
95. D. Nešić, L. Zaccarian, and A. R. Teel. Stability properties of reset systems. Automatica, 44(8):2019-2026, 2008.
96. B. Paden and R. Panja. Globally asymptotically stable 'PD+' controller for robot manipulators. Internat. J. Control, 47(6):1697-1712, 1988.
97. C. Prieur. Uniting local and global controllers with robustness to vanishing noise. Math. Control Signals Systems, 14(2):143-172, 2001.
98. A. Puri and P. Varaiya. Decidability of hybrid systems with rectangular differential inclusions. In Computer Aided Verification, Lecture Notes in Computer Science Series, pages 95-104. Springer, 1994.
99. T. Raff and F. Allgöwer. An impulsive observer that estimates the exact state of a linear continuous-time system in predetermined finite time. In Proc. Mediterranean Conference on Control and Automation, Athens, Greece, pages 1-3, 2007.
100. R. T. Rockafellar and R. J-B Wets. Variational Analysis. Springer, 1998.
101. L. Rosier. Homogeneous Lyapunov function for homogeneous continuous vector fields. Systems Control Lett., 19(6):467-473, 1992.
102. E. P. Ryan. An integral invariance principle for differential inclusions with applications in adaptive control. SIAM J. Control Optim., 36(3):960-980, 1998.
103. R. G. Sanfelice. Robust Hybrid Control Systems. PhD thesis, University of California, Santa Barbara, 2007.
104. R. G. Sanfelice, R. Goebel, and A. R. Teel. Invariance principles for hybrid systems with connections to detectability and asymptotic stability. IEEE Trans. Automat. Control, 52(12):2282-2297, 2007.
105. R. G. Sanfelice, R. Goebel, and A. R. Teel. Generalized solutions to hybrid dynamical systems. ESAIM Control Optim. Calc. Var., 14(4):699-724, 2008.
106. R. G. Sanfelice and A. R. Teel. A "throw-and-catch" hybrid control strategy for robust global stabilization of nonlinear systems. In Proc. 26th American Control Conference, pages 3470-3475, 2007.
107. R. G. Sanfelice and A. R. Teel. Asymptotic stability in hybrid systems via nested Matrosov functions. IEEE Trans. Automat. Control, 54(7):1569-1574, 2009.
108. R. G. Sanfelice and A. R. Teel. Dynamical properties of hybrid systems simulators. Automatica, 46(2):239-248, 2010.
109. R. G. Sanfelice and A.R. Teel. On singular perturbations due to fast actuators in hybrid control systems. Automatica, 47(4):692-701, 2011.
110. D. Shevitz and B. Paden. Lyapunov stability theory of nonsmooth systems. IEEE Trans. Automat. Control, 39(9):1910-1914, 1994.
111. G. N. Silva and R. B. Vinter. Measure driven differential inclusions. J. Math. Anal. Appl., 202(3):727-746, 1996.
112. G. V. Smirnov. Stabilization by constrained controls. SIAM J. Control Optim., 34(5):1616-1649, 1996.
113. E. D. Sontag. Comments on integral variants of ISS. Systems Control Lett., 34(1-2):93-100, 1998.
114. D. Stewart. Rigid-body dynamics with friction and impact. SIAM Rev., 42(1):3-39, 2000.
115. H. D. Taghirad and E. Jamei. Robust performance verification of adaptive robust controller for hard disk drives. IEEE Trans. Industrial Electronics, 55(1):448-456, 2008.
116. L. Tavernini. Differential automata and their discrete simulators. Nonlinear Anal., 11(6):665-683, 1987.
117. A. R. Teel and D. Nešić. Averaging for a class of hybrid systems. Dynamics of Continuous, Discrete and Impulsive Systems Series A: Mathematical Analysis, 17:829-851, 2010.
118. A. R. Teel and L. Praly. A smooth Lyapunov function from a class-KL estimate involving two positive semidefinite functions. ESAIM Control Optim. Calc. Var., 5:313-367 (electronic), 2000.
119. A. R. Teel and L. Zaccarian. On "uniformity" in definitions of global asymptotic stability for time-varying nonlinear systems. Automatica, 42(12):2219-2222, 2006.
120. S. E. Tuna. Optimal regulation of homogeneous systems. Automatica, 41(11):1879-1890, 2005.
121. S. E. Tuna and A. R. Teel. Homogeneous hybrid systems and a converse Lyapunov theorem. In Proc. 45th IEEE Conference on Decision and Control, pages 6235-6240, 2006.
122. A. van der Schaft and H. Schumacher. Complementarity modeling of hybrid systems. IEEE Trans. Automat. Control, 43(4):483-490, 1998.
123. A. van der Schaft and H. Schumacher. An Introduction to Hybrid Dynamical Systems, volume 251 of Lect. Notes in Contr. and Inform. Sci. Springer, 2000.
124. V. Venkataramanana, B. M. Chena, T. H. Leea, and G. Guo. A new approach to the design of mode switching control in hard disk drive servo systems. Control Engineering Practice, 10(9):925-939, 2002.
125. M. Vidyasagar. Nonlinear Systems Analysis.Prentice Hall, 2nd edition, 1993.
126. E. Vinograd. Inapplicability of the method of characteristic exponents for the study of non-linear differential equations. Math. Sbornik, 41:431-438, 1957.
127. F. W.Wilson. Smoothing derivatives of functions and applications. Trans. Amer. Math. Soc., 139:413-428, 1969.
128. H. S. Witsenhausen. A class of hybrid-state continuous-time dynamic systems. IEEE Trans. Automat. Control, 11(2):161-167, 1966.
129. T. Yang. Impulsive control theory, volume 272 of Lecture Notes in Control and Information Sciences. Springer-Verlag, 2001.
130. H. Ye, A. N. Michel, and L. Hou. Stability theory for hybrid dynamical systems. IEEE Trans. Automat. Control, 43(4):461-474, 1998.