{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:38:25Z","timestamp":1729629505649,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/cdc.2010.5717280","type":"proceedings-article","created":{"date-parts":[[2011,2,22]],"date-time":"2011-02-22T12:37:42Z","timestamp":1298378262000},"page":"2390-2395","source":"Crossref","is-referenced-by-count":1,"title":["Instability and overshoots of solutions for a class of homogeneous hybrid systems by Lyapunov-like analysis"],"prefix":"10.1109","author":[{"given":"Fulvio","family":"Forni","sequence":"first","affiliation":[]},{"given":"Andrew R.","family":"Teel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2008.931718"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.12.019"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/090749797"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"journal-title":"Nonlinear Systems","year":"1996","author":"khalil","key":"ref14"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","author":"liberzon","year":"2003","journal-title":"Switching in Systems and Control"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2017144"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806650"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184414"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2017155"},{"key":"ref4","first-page":"76","article-title":"Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations","author":"chutinan","year":"0","journal-title":"HSCC ’99 Proceedings of the Second International Workshop on Hybrid Systems"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377202"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.919257"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/5.871309"},{"key":"ref5","article-title":"A trajectory-space approach to hybrid systems","author":"collins","year":"2004","journal-title":"International Symposium on the Mathematical Theory of Networks and Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717277"},{"journal-title":"Introduction to Hybrid Dynamical Systems","year":"1999","author":"schaft","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.900829"},{"key":"ref9","first-page":"1","article-title":"Hybrid systems: Generalized solutions and robust stability","author":"goebel","year":"2004","journal-title":"NOLCOS"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/9.664150"},{"journal-title":"Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization","year":"2000","author":"parrilo","key":"ref20"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/10997703_14","article-title":"SOS-TOOLS and its control applications","volume":"312","author":"prajna","year":"2005","journal-title":"Positive Polynomials in Control"},{"key":"ref21","first-page":"477","article-title":"Safety verification of hybrid systems using barrier certificates","author":"prajna","year":"2004","journal-title":"HSCC volume 2993 of Lecture Notes in Computer Science"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1051\/cocv:2008008"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.910684"},{"journal-title":"Nonlinear Control Analysis and Synthesis Using Sum-of-Squares Programming","year":"2006","author":"tan","key":"ref26"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"2571","DOI":"10.1109\/TAC.2008.2006933","article-title":"Stabilization of switched systems via composite quadratic functions","volume":"53","author":"lin","year":"2008","journal-title":"IEEE Trans Aut Cont"}],"event":{"name":"2010 49th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2010,12,15]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2010,12,17]]}},"container-title":["49th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5707200\/5716927\/05717280.pdf?arnumber=5717280","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T15:13:51Z","timestamp":1560006831000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5717280\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/cdc.2010.5717280","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}