Smooth Lyapunov functions for hybrid systems - Part I: Existence is equivalent to robustness

IEEE Transactions on Automatic Control

Volumn 52, Issue 7, 2007, Pages 1264-1277

  Cai, Chaohong ^a   Teel, Andrew R ^a   Goebel, Rafal ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Hybrid inclusions; Hybrid systems; Measures; Robustness; Smooth Lyapunov functions; Stability

Indexed keywords

HYBRID INCLUSIONS; HYBRID SYSTEM; SMOOTH LYAPUNOV FUNCTION;

LYAPUNOV FUNCTIONS; ROBUSTNESS (CONTROL SYSTEMS); SET THEORY;

CONTROL SYSTEMS;

EID: 34547094110     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2007.900829     Document Type: Article

References (37)

1. D. Angeli and E. D. Sontag, "Forward completeness, unboundedness observability, and their Lyapunov characterizations," Syst. Contr. Lett., vol. 38, no. 4-5, pp. 209-217, 1999.
2. A. Astolfi and L. Praly, "Global complete observability and output-to-state stability imply the existence of a globally convergent observer," Math. Contr., Signals, Syst., vol. 18, pp. 32-65, 2006.
3. J.-P. Aubin, J. Lygeros, M. Quincampoix, S. S. Sastry, and N. Seube, "Impulse differential inclusions: A viability approach to hybrid systems," IEEE Trans. Autom. Control, vol. 47, no. 1, pp. 2-20, 2002.
4. M. S. Branicky, "Multiple Lyapunov functions and other analysis tools for switched and hybrid systems," IEEE Trans. Autom. Control, vol. 43, no. 4, pp. 475-482, 1998.
5. C. Cai, A. R. Teel, and R. Goebel, "Smooth Lyapunov functions for hybrid systems - Part II: (Pre-)Asymptotically stable compact sets," IEEE Trans. Autom. Control, 2007, accepted for publication.
6. V. Chellaboina, S. P. Bhat, and W. M. Haddad, "An invariance principle for nonlinear hybrid and impulsive dynamical systems," Nonlin. Anal. vol. 53, no. 3-4, pp. 527-550, 2003.
7. F. H. Clarke, Y. S. Ledyaev, and R. J. Stern, "Asymptotic stability and smooth Lyapunov functions," J. Different. Eq., vol. 149, no. 1, pp. 69-114, 1998.
8. P. Collins, "A trajectory-space approach to hybrid systems," in 16th Int. Symp. Mathemat. Theory Netw. Syst., Berlin, Germany, 2004.
9. R. DeCarlo, M. Branicky, S. Pettersson, and B. Lennartson, "Perspectives and results on the stability and stabilizability of hybrid systems," Proc. IEEE, vol. 88, pp. 1069-1082, 2000.
10. A. Filippov, Differential Equations with Discontinuous Right Hand Sides. Boston, MA: Kluwer Academic, 1988.
11. R. Goebel, J. Hespanha, A. R. Teel, C. Cai, and R. Sanfelice, "Hybrid systems: Generalized solutions and robust stability," in IFAC Symp. Nonlin. Contr. Syst., 2004, pp. 1-12.
12. R. Goebel and A. R. Teel, "Solution to hybrid inclusions via set and graphical convergence with stability theory applications," Automatica, vol. 42, pp. 573-587, 2006.
13. W. Hahn, Stability of Motion. New York: Springer-Verlag, 1967.
14. J. P. Hespanha and A. S. Morse, "Stabilization of nonholonomic integrators via logic-based switching," Automatica, vol. 35, no. 3, pp. 385-393, 1999.
15. C. M. Kellett and A. R. Teel, "Smooth Lyapunov functions and robustness of stability for difference inclusions," Syst. Contr. Lett., vol. 52, no. 5, pp. 395-405, 2004.
16. C.M. Kellett and A. R. Teel, "On the robustness of K L-stability for difference inclusions: Smooth discrete-time Lyapunov functions," SIAM J. Contr. Optimiz., vol. 44, pp. 777-800, 2005.
17. J. Kurzweil, "On the inversion of Ljapunov's second theorem on stability of motion," Amer. Math. Soci. Translat., ser. 2, vol. 24, pp. 19-77, 1956.
18. V. Lakshmikantham, S. Leela, and A. S. Vatsala, "Setvalued hybrid differential equations and stability in terms of two measures," Int. J. Hybrid Syst., vol. 2, pp. 169-188, 2002.
19. D. Liberzon, Switching in Systems and Control. Cambridge, MA: Birkhauser, 2003.
20. Y. Lin, E. D. Sontag, and Y. Wang, "A smooth converse Lyapunov theorem for robust stability," SIAM J. Contr. Optimiz., vol. 34, no. 1, pp. 124-160, 1996.
21. J. Lygeros, K. H. Johansson, S. Sastry, and M. Egerstedt, "On the existence of executions of hybrid automata," in Proc. 38th IEEE Conf. Decision Contr., 1999, pp. 2249-2254.
22. J. Lygeros, K. H. Johansson, S. N. Simić, J. Zhang, and S. S. Sastry, "Dynamical properties of hybrid automata," IEEE Trans. Autom. Control, vol. 48, no. 1, pp. 2-17, 2003.
23. A. N. Michel and B. Hu, "Towards a stability theory of general hybrid dynamical systems," Automatica, vol. 35, no. 3, pp. 371-384, 1999.
24. A. Podelski and S.Wagner, J. P. Hespanha and A. Tiwari, Eds., "Model checking of hybrid systems: From reachability towards stability," in HSCC: 9th Int. Workshop, 2006, vol. 3927, LNCS, pp. 507-521.
25. C. Prieur, "Perturbed hybrid systems, applications to control theory," in Nonlinear and Adaptive Control. Berlin, Germany: Springer, 2003, pp. 285-294.
26. C. Prieur and A. Astolfi, "Robust stabilization of chained systems via hybrid control," IEEE Trans. Autom. Control, vol. 48, no. 10, pp. 1768-1772, 2003.
27. C. Prieur, R. Goebel, and A. R. Teel, "Smooth patchy control Lyapunov functions," in Proc. 45th IEEE Conf. Decision Contr., 2006, pp. 3271-3276.
28. R. T. Rockafellar and R. J.-B. Wets, Variational Analysis. New York: Springer, 1998.
29. R. G. Sanfelice, R. Goebel, and A. R. Teel, "Results on convergence in hybrid systems via detectability and an invariance principle," in Proc. 24th Amer. Control Conf., 2005, pp. 551-556.
30. R. G. Sanfelice, R. Goebel, and A. R. Teel, J. P. Hespanha and A. Tiwari, Eds., "A feedback control motivation for generalized solutions to hybrid systems," in HSCC: 9th Int. Workshop, 2006, vol. 3927, LNCS, pp. 522-536.
31. R. G. Sanfelice and A. R. Teel, "Lyapunov analysis of sample-and-hold hybrid feedbacks," in Proc. 45th IEEE Conf. Decision Control, 2006, pp. 4879-4884.
32. E. D. Sontag, "Comments on integral variants of ISS," Syst. Contr. Lett., vol. 34, no. 1-2, pp. 93-100, 1998.
33. L. Tavernini, "Differential automata and their simulators," Nonlin. Anal., Theory, Meth. Applicat., vol. 11, no. 6, pp. 665-683, 1987.
34. A. R. Teel and L. Praly, "A smooth Lyapunov function from a class-KL estimate involving two positive simidefinite functions," ESAIM: Contr., Optimisation and Calculus of Variations, vol. 5, pp. 313-367, 2000.
35. A. Van der Schaft and H. Schumacher, An Introduction to Hybrid Dynamical Systems. New York: Springer, 2000.
36. M. Vidyasagar, Nonlinear Systems Analysis, 1st, 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, 1978, 1993.
37. H. Ye, A.N. Michel, and L. Hou, "Stability theory for hybrid dynamical systems," IEEE Trans. Autom. Control, vol. 43, no. 4, pp. 461-474, 1998.