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)
scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.
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.
Similar publications
Sorry the service is unavailable at the moment. Please try again later.
This website uses cookies to improve user experience. Read more
Save & Close
Accept all
Decline all
Show detailsHide details
Cookie declaration
About cookies
Strictly necessary
Performance
Strictly necessary cookies allow core website functionality such as user login and account management. The website cannot be used properly without strictly necessary cookies.
This cookie is used by Cookie-Script.com service to remember visitor cookie consent preferences. It is necessary for Cookie-Script.com cookie banner to work properly.
Performance cookies are used to see how visitors use the website, eg. analytics cookies. Those cookies cannot be used to directly identify a certain visitor.
Used to store the attribution information, the referrer initially used to visit the website
Cookies are small text files that are placed on your computer by websites that you visit. Websites use cookies to help users navigate efficiently and perform certain functions. Cookies that are required for the website to operate properly are allowed to be set without your permission. All other cookies need to be approved before they can be set in the browser.
You can change your consent to cookie usage at any time on our Privacy Policy page.