Stability analysis of hybrid systems via small-gain theorems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3927 LNCS, Issue , 2006, Pages 421-435

  Liberzon, Daniel ^a   Nešić, Dragan ^b  

^a University of Illinois at Urbana Champaign   (United States)

^b UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; LYAPUNOV METHODS; SYSTEMS ANALYSIS; THEOREM PROVING;

HYBRID SYSTEMS; INPUT-TO-STATE STABILITY (ISS); SMALL-GAIN THEOREMS;

HYBRID COMPUTERS;

EID: 33745769072     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11730637_32     Document Type: Conference Paper

References (21)

1. Zames, G.: On the input-output stability of time-varying nonlinear feedback systems, part 1: conditions derived using concepts of loop gain, conicity, and positivity. IEEE Trans. Automat. Control 11 (1966) 228-238
2. Jiang, Z.P., Teel, A.R., Praly, L.: Small-gain theorem for ISS systems and applications. Math. Control Signals Systems 7 (1994) 95-120
3. Sontag, E.D.: Smooth stabilization implies coprime factorization. IEEE Trans. Automat. Control 34 (1989) 435-443
4. Jiang, Z.P., Mareels, I.M.Y., Wang, Y.: A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems. Automatica 32 (1996) 1211-1215
5. Laila, D.S., Nešić, D.: Lyapunov based small-gain theorem for parameterized discrete-time interconnected ISS systems. IEEE Trans. Automat. Control 48 (2003) 1783-1788
6. Lygeros, J., Johansson, K.H., Simić, S.N., Zhang, J., Sastry, S.S.: Dynamical properties of hybrid automata. IEEE Trans. Automat. Control 48 (2003) 2-17
7. Nešić, D., Liberzon, D.: A small-gain approach to stability analysis of hybrid systems. In: Proc. 44th IEEE Conf. on Decision and Control. (2005) To appear. Available at http://decision.csl.uiuc.edu/~liberzon/ publications.html.
8. van der Schaft, A., Schumacher, H.: An Introduction to Hybrid Dynamical Systems. Springer, London (2000)
9. Lynch, N., Segala, R., Vaandrager, F.: Hybrid I/O automata. Information and Computation 185 (2003) 105-157
10. Liberzon, D., Nešic, D.: Input-to-state stabilization of linear systems with quantized state measurements. (IEEE Trans. Automat. Control) To appear. Preliminary version in Proc. 44th IEEE Conf. on Decision and Control, 2005, to appear. Available at http://decision.csl.uiuc.edu/~liberzon/ publications.html.
11. Goebel, R., Hespanha, J.P., Teel, A.R., Cai, C., Sanfelice, R.: Hybrid systems: generalized solutions and robust stability. In: Proc. 6th IFAC Symp. on Nonlinear Control Systems (NOLCOS). (2004) 1-12
12. Khalil, H.K.: Nonlinear Systems. 3rd edn. Prentice Hall, New Jersey (2002)
13. Nešić, D., Teel, A.R.: Input-output stability properties of networked control systems. IEEE Trans. Automat. Control 49 (2004) 1650-1667
14. Sontag, E.D., Wang, Y.: Notions of input to output stability. Systems Control Lett. 38 (1999) 235-248
15. Hespanha, J.P., Liberzon, D., Teel, A.R.: On input-to-state stability of impulsive systems. In: Proc. 44th IEEE Conf. on Decision and Control. (2005) To appear.
16. Jiang, Z.P., Wang, Y.: A converse Lyapunov theorem for discrete-time systems with disturbances. Systems Control Lett. 45 (2002) 49-58
17. Jiang, Z.P., Wang, Y.: Input-to-state stability for discrete-time nonlinear systems. Automatica 37 (2001) 857-869
18. Sanfelice, R.G., Goebel, R., Teel, A.R.: Invariance principles for hybrid systems with connections to detectability and asymptotic stability. (2005) Submitted. Preliminary version appeared as "Results on convergence in hybrid systems via detectability and an invariance principle" in Proc. 2005 American Control Conf.
19. Angeli, D.: Input-to-state stability of PD-controlled robotic systems. Automatica 35 (1999) 1285-1290
20. Mazene, F., Nešić, D.: Strong Lyapunov functions for systems satisfying the conditions of La Salle. IEEE Trans. Automat. Control 49 (2004) 1026-1030
21. Carnevale, D., Teel, A.R., Nešić, D.: A Lyapunov proof of an improved maximum allowable transfer interval for networked control systems. (IEEE Trans. Automat. Control) Submitted.