{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T20:56:44Z","timestamp":1649192204648},"reference-count":18,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IFAC Proceedings Volumes"],"published-print":{"date-parts":[[2003,6]]},"DOI":"10.1016\/s1474-6670(17)36454-6","type":"journal-article","created":{"date-parts":[[2017,5,17]],"date-time":"2017-05-17T00:15:48Z","timestamp":1494980148000},"page":"337-342","source":"Crossref","is-referenced-by-count":2,"title":["Stability Analysis for Hybrid Automata Using Conservative Gains"],"prefix":"10.1016","volume":"36","author":[{"given":"Rom","family":"Langerak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan Willem","family":"Polderman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomas","family":"Krilavi\u010dius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/S1474-6670(17)36454-6_bib0005","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1137\/S0363012999365704","article-title":"Lie-algebraic stability criteria for switched systems.","volume":"40","author":"Agrachev","year":"2001","journal-title":"SIAM J. Control Optim."},{"key":"10.1016\/S1474-6670(17)36454-6_bib0010","first-page":"209","article-title":"Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems.","volume":"736","author":"Alur","year":"1993"},{"key":"10.1016\/S1474-6670(17)36454-6_bib0015","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata.","volume":"126","author":"Alur","year":"1994","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1474-6670(17)36454-6_bib0020","series-title":"Proc. 3rd IEEE","first-page":"3498","article-title":"Stability of switched and hybrid systems.","author":"Branicky","year":"1994"},{"issue":"4","key":"10.1016\/S1474-6670(17)36454-6_bib0025","first-page":"475","article-title":"Multiple Lyapunov functions and other analysis tools for switched and hybrid systems.","volume":"43","author":"Branicky","year":"1998","journal-title":"IEEE TAC"},{"issue":"7","key":"10.1016\/S1474-6670(17)36454-6_bib0030","doi-asserted-by":"crossref","first-page":"1069","DOI":"10.1109\/5.871309","article-title":"Perspectives and results on the stability and stabilizability of hybrid systems.","volume":"88","author":"DeCarlo","year":"2000","journal-title":"Proc. of the IEEE"},{"key":"10.1016\/S1474-6670(17)36454-6_bib0035","first-page":"278","article-title":"The theory of hybrid automata.","author":"Henzinger","year":"1996","journal-title":"Proceedings LICS'96."},{"key":"10.1016\/S1474-6670(17)36454-6_bib0040","series-title":"Introduction to Automata Theory, Languages, and Computation.","author":"Hopcroft","year":"2001"},{"issue":"4","key":"10.1016\/S1474-6670(17)36454-6_bib0045","first-page":"555","article-title":"Computation of piecewise quadratic Lyapunov functions for hybrid systems.","volume":"43","author":"Johansson","year":"1998","journal-title":"IEEE TAC"},{"key":"10.1016\/S1474-6670(17)36454-6_bib0050","series-title":"ISIS Technical Report ISIS-2001-2002.","article-title":"Design of stabilizing switching control laws for discrete and continuous-time linear systems using piecewise-linear Lyapunov functions.","author":"Koutsoukos","year":"2001"},{"issue":"5","key":"10.1016\/S1474-6670(17)36454-6_bib0055","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/37.793443","article-title":"Basic problems in stability and design of switched systems.","volume":"19","author":"Liberzon","year":"1999","journal-title":"IEEE Control Systems Magazine"},{"key":"10.1016\/S1474-6670(17)36454-6_bib0060","series-title":"An Introduction to Formal Languages and Automata.","author":"Linz","year":"2001"},{"issue":"1","key":"10.1016\/S1474-6670(17)36454-6_bib0065","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1109\/81.739260","article-title":"Recent trends in the stability analysis of hybrid dynamical systems.","volume":"45","author":"Michel","year":"1999","journal-title":"IEEE Transactions on Circuits and Systems - I"},{"key":"10.1016\/S1474-6670(17)36454-6_bib0070","first-page":"504","article-title":"Stability and stabilization of piecewise affine and hybrid systems: an LMI approach.","author":"Mignone","year":"2000","journal-title":"Proc. 39th IEEE CED."},{"key":"10.1016\/S1474-6670(17)36454-6_bib0075","series-title":"Proc. 35th IEEE","first-page":"1202","article-title":"Stability and robustness for hybrid systems.","author":"Pettersson","year":"1996"},{"key":"10.1016\/S1474-6670(17)36454-6_bib0080","series-title":"Vol. 26 of Texts in Applied Mathematics.","article-title":"Introduction to mathematical systems theory: a behavioral approach.","author":"Polderman","year":"1997"},{"key":"10.1016\/S1474-6670(17)36454-6_bib0085","series-title":"Vol. 251 of Lecture Notes in Control and Information Sciences.","article-title":"An Introduction to Hybrid Dynamical Systems.","author":"Van der Schaft","year":"2000"},{"issue":"4","key":"10.1016\/S1474-6670(17)36454-6_bib0090","first-page":"461","article-title":"Stability theory for hybrid dynamical systems.","volume":"43","author":"Ye","year":"1998","journal-title":"IEEE TAC"}],"container-title":["IFAC Proceedings Volumes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1474667017364546?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1474667017364546?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T19:58:56Z","timestamp":1535831936000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1474667017364546"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6]]},"references-count":18,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2003,6]]}},"alternative-id":["S1474667017364546"],"URL":"https:\/\/doi.org\/10.1016\/s1474-6670(17)36454-6","relation":{},"ISSN":["1474-6670"],"issn-type":[{"value":"1474-6670","type":"print"}],"subject":[],"published":{"date-parts":[[2003,6]]}}}