{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T00:04:48Z","timestamp":1759104288082,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/emsoft.2013.6658602","type":"proceedings-article","created":{"date-parts":[[2013,11,21]],"date-time":"2013-11-21T15:52:14Z","timestamp":1385049134000},"page":"1-10","source":"Crossref","is-referenced-by-count":10,"title":["Pre-orders for reasoning about stability properties with respect to input of hybrid systems"],"prefix":"10.1109","author":[{"given":"Pavithra","family":"Prabhakar","sequence":"first","affiliation":[]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Richard M.","family":"Murray","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization","author":"parrilo","year":"2000","journal-title":"Technical Report"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(94)00050-6"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"17"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380396"},{"key":"18","doi-asserted-by":"crossref","first-page":"2029","DOI":"10.1016\/j.automatica.2012.06.026","article-title":"Input\/output-to-state stability and state-norm estimators for switched nonlinear systems","volume":"48","author":"muller","year":"2012","journal-title":"Automatica"},{"key":"24","first-page":"465","article-title":"Series of abstractions for hybrid automata","author":"tiwari","year":"2002","journal-title":"HSCC Volume 2289 of LNCS"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2003.1253264"},{"journal-title":"Nonlinear Systems","year":"1996","author":"khalil","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.04.025"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_15"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2008.931718"},{"key":"21","first-page":"163","article-title":"Input to state stability: Basic concepts and results","author":"sontag","year":"2006","journal-title":"Nonlinear and Optimal Control Theory"},{"journal-title":"Set-valued A Nalysis","year":"1990","author":"aubin","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185662"},{"key":"2","first-page":"410","article-title":"A Lyapunov approach to incremental stability properties","volume":"47","author":"angeli","year":"2000","journal-title":"IEEE TA C"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1132357.1132363"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0029-9"},{"key":"7","first-page":"154","article-title":"Counterexample-guided abstraction refinement","author":"clarke","year":"2000","journal-title":"CA v"},{"journal-title":"Model Ch Ecking","year":"1999","author":"clarke jr","key":"6"},{"key":"5","first-page":"294","article-title":"Toward an approximation theory for computerised control","author":"caspi","year":"2002","journal-title":"EMSOFT"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2008.07.009"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00602-9_10"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_59"}],"event":{"name":"2013 International \u00a0Conference on Embedded \u00a0Software (EMSOFT)","start":{"date-parts":[[2013,9,29]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2013,10,4]]}},"container-title":["2013 Proceedings of the International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6648479\/6658572\/06658602.pdf?arnumber=6658602","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T02:53:59Z","timestamp":1498100039000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6658602\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2013.6658602","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}