Instability and Overshoots of Solutions For A Class of Homogeneous Hybrid Systems By Lyapunov-like Analysis

Forni, Fulvio; Teel, Andrew

doi:10.1109/CDC.2010.5717280

Download

Paper published in a book (Scientific congresses and symposiums)

Instability and Overshoots of Solutions For A Class of Homogeneous Hybrid Systems By Lyapunov-like Analysis

Forni, Fulvio; Teel, Andrew

2010 • In 49th IEEE Conference on Decision and Control (cdc 2010)

Peer reviewed

Permalink
https://hdl.handle.net/2268/107765

DOI
10.1109/CDC.2010.5717280

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

CDC_overshoots.pdf

Author preprint (649.29 kB)

Download

All documents in ORBi are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

instability; sum of squares; homogeneous hybrid systems

Abstract :

[en] For a class of homogeneous hybrid systems we present a generalization to the hybrid systems framework of Chetaev's theorem and we propose a set of Lyapunov-like conditions for studying instability of the point x e = 0 and overshoots of solutions (namely when the norm of the solution vector x at some time instant exceeds the norm of the initial condition of x). Based on these results, we design a sum of squares algorithm that constructs a suitable Lyapunov-like function to fulfill such conditions.

Disciplines :

Engineering, computing & technology: Multidisciplinary, general & others

Author, co-author :

Forni, Fulvio ; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Systèmes et modélisation

Teel, Andrew; UC Santa Barbara, CA > Electrical and Computer Engineering (ECE)

Language :

English

Title :

Instability and Overshoots of Solutions For A Class of Homogeneous Hybrid Systems By Lyapunov-like Analysis

Publication date :

2010

Event name :

49th IEEE Conference on Decision and Control (CDC), 2010

Event date :

12/2010

Audience :

International

Main work title :

49th IEEE Conference on Decision and Control (cdc 2010)

ISBN/EAN :

978-1-4244-7745-6

Pages :

2390 - 2395

Peer reviewed :

Peer reviewed

Available on ORBi :

since 12 January 2012

Statistics

Number of views

36 (7 by ULiège)

Number of downloads

235 (4 by ULiège)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

Bibliography

M. Branicky. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Trans. Aut. Cont., 43(4):475-482, April 1998. (Pubitemid 128737371)
C. Cai, A.R. Teel, and R. Goebel. Smooth Lyapunov functions for hybrid systems-Part I: Existence is equivalent to robustness. IEEE Transactions on Automatic Control, 52(7):1264-1277, 2007. (Pubitemid 47098937)
C. Cai, A.R. Teel, and R. Goebel. Smooth Lyapunov functions for hybrid systems Part II:(pre) asymptotically stable compact sets. IEEE Transactions on Automatic Control, 53(3):734-748, 2008. (Pubitemid 351597180)
A. Chutinan and B. H. Krogh. Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In HSCC '99: Proceedings of the Second International Workshop on Hybrid Systems, pages 76-90, London, UK. Springer-Verlag.
P. Collins. A trajectory-space approach to hybrid systems. In International Symposium on the Mathematical Theory of Networks and Systems, Leuven, Belgium, July 2004.
R.A. Decarlo, M.S. Branicky, S. Pettersson, and B. Lennartson. Perspectives and results on the stability and stabilizability of hybrid systems. Proceedings of the IEEE, 88(7):1069-1082, July 2000.
Schaft A.J. van der and J. M. Schumacher. Introduction to Hybrid Dynamical Systems. Springer-Verlag, London, UK, 1999.
F. Forni and A.R. Teel. Stability for a class of homogeneous hybrid systems by annular Lyapunov analysis. In Conference on Decision and Control, Atlanta (GA), USA, December 2010.
R. Goebel, J. Hespanha, A.R. Teel, C. Cai, and R.G. Sanfelice. Hybrid systems: Generalized solutions and robust stability. In NOLCOS, pages 1-12, Stuttgart, Germany, 2004.
R. Goebel, R. Sanfelice, and A.R. Teel. Hybrid dynamical systems. Control Systems Magazine, IEEE, 29(2):28-93, April 2009.
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. (Pubitemid 43267651)
R. Goebel and A.R. Teel. Preasymptotic stability and homogeneous approximations of hybrid dynamical systems. SIAM Review, 52(1):87-109, 2010.
T.A. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, pages 278-292, New Brunswick, NJ , USA, 1996. IEEE Computer Society.
H.K. Khalil. Nonlinear Systems. Prentice Hall, USA, 2nd edition, 1996.
D. Liberzon. Switching in Systems and Control. Birkhäuser, 2003.
J. Lofberg. Pre- and post-processing sum-of-squares programs in practice. IEEE Transactions on Automatic Control, 54(5):1007-1011, May 2009.
J. Lygeros, K.H. Johansson, S.N. Simic, J. Zhang, and S. Sastry. Dynamical properties of hybrid automata. IEEE Transactions on Automatic Control, 48:2-17, 2003.
A. Papachristodoulou and S. Prajna. On the construction of Lyapunov functions using the sum of squares decomposition. In Proceedings of the 41st IEEE Conference on Decision and Control, volume 3, pages 3482-3487, December 2002.
A. Papachristodoulou and S. Prajna. Robust stability analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control, 54(5):1035-1041, May 2009.
P.A. Parrilo. Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization. PhD thesis, California Institute of Technology, 2000.
S. Prajna and A. Jadbabaie. Safety verification of hybrid systems using barrier certificates. In R. Alur and George J. Pappas, editors, HSCC, volume 2993 of Lecture Notes in Computer Science, pages 477-492. Springer, 2004.
S. Prajna, A. Papachristodoulou, P. Seiler, and P.A Parrilo. SOS-TOOLS and its control applications. In D. Henrion and A. Garulli, editors, Positive Polynomials in Control, volume 312, pages 273-292. Springer Verlag, 2005.
R.G. Sanfelice, R. Goebel, and A.R. Teel. Invariance principles for hybrid systems with connections to detectability and asymptotic stability. IEEE Transactions on Automatic Control, 52(12):2282-2297, 2007.
R.G. Sanfelice, R. Goebel, and A.R. Teel. Generalized solutions to hybrid dynamical systems. ESAIM: COCV, 14(4):699-724, October 2008.
Z. Lin T. Hu, L. Ma. Stabilization of switched systems via composite quadratic functions. IEEE Trans. Aut. Cont., 53(11):2571-2585, December 2008.
W. Tan. Nonlinear Control Analysis and Synthesis using Sum-of- Squares Programming. PhD thesis, University of California, Berkeley, 2006.
S.E. Tuna and A.R. Teel. Homogeneous hybrid systems and a converse Lyapunov theorem. In 45th IEEE Conference on Decision and Control, 2006, pages 6235-6240, December 2006.