{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T05:11:22Z","timestamp":1777439482517,"version":"3.51.4"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/cdc.2004.1430238","type":"proceedings-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T14:10:36Z","timestamp":1219846236000},"page":"1394-1399 Vol.2","source":"Crossref","is-referenced-by-count":16,"title":["Stability of hybrid automata with average dwell time: an invariant approach"],"prefix":"10.1109","author":[{"given":"S.","family":"Mitra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Liberzon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/9.539424"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0109998","author":"van der schaft","year":"2000","journal-title":"An Introduction to Hybrid Dynamical Systems"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1430238"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36580-X_26","article-title":"Safety verification of model helicopter controller using hybrid Input\/Output automata","author":"mitra","year":"2003","journal-title":"Hybrid systems Computation and Control HSCC"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0060"},{"key":"14","article-title":"Reusable PVS proof strategies for proving abstraction properties of I\/O automata","author":"mitra","year":"2004","journal-title":"IJCAR Workshop on Strategies in Automated Deduction"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1999.818833"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00067-1"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/9.664150"},{"key":"2","article-title":"TAME: A PVS interface to simplify proofs for automata models","author":"archer","year":"1998","journal-title":"Proceedings of UITP '98"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","author":"liberzon","year":"2003","journal-title":"Switching in Systems and Control"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1994.342724"},{"key":"5","author":"cheung","year":"2004","journal-title":"Switched Probabilistic I\/o Automata"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1429398"},{"key":"9","first-page":"2655","article-title":"Stability of switched systems with average dwell-time","author":"hespanha","year":"1999","journal-title":"Proceedings of 38th IEEE Conference on Decision and Control"},{"key":"8","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/S0005-1098(02)00241-8","article-title":"Hysteresis-based switching algorithms for supervisory control of uncertain systems","volume":"39","author":"hespanha","year":"2003","journal-title":"Automatica"}],"event":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","location":"Nassau, Bahamas","start":{"date-parts":[[2004,12,17]]},"end":{"date-parts":[[2004,12,17]]}},"container-title":["2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9774\/30842\/01430238.pdf?arnumber=1430238","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T12:46:35Z","timestamp":1557751595000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1430238\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/cdc.2004.1430238","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}