{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:51:06Z","timestamp":1729619466039,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2005.1582234","type":"proceedings-article","created":{"date-parts":[[2006,10,4]],"date-time":"2006-10-04T14:20:03Z","timestamp":1159971603000},"page":"678-683","source":"Crossref","is-referenced-by-count":5,"title":["Semi-Algebraic Constant Reset Hybrid Automata - SACoRe"],"prefix":"10.1109","author":[{"given":"A.","family":"Casagrande","sequence":"first","affiliation":[]},{"given":"C.","family":"Piazza","sequence":"additional","affiliation":[]},{"given":"B.","family":"Mishra","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4344-1"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(10)80003-3"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676711"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1997.646093"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"},{"key":"24","doi-asserted-by":"crossref","first-page":"209","DOI":"10.4064\/sm-102-3-209-216","article-title":"Selections and representations of multifunctions in paracompact spaces","volume":"103","author":"bressan","year":"1992","journal-title":"Studia Math"},{"year":"0","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225162"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582234"},{"key":"14","first-page":"219","article-title":"On O-Minimal Hybrid Systems","volume":"2993","author":"brihaye","year":"2004","journal-title":"ser LNCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"12","article-title":"Differential Inclusions","volume":"264","author":"aubin","year":"1984","journal-title":"ser A Series of Comprehensive Studies in Mathematics"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80006-3"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/PL00009858"},{"key":"20","first-page":"134","article-title":"Quantifier Elimination for the Elementary Theory of Real Closed Fields by Cylindrical Algebraic Decomposition","volume":"33","author":"collins","year":"1975","journal-title":"ser LNCS"},{"key":"2","first-page":"447","volume":"600","author":"maler","year":"1991","journal-title":"From timed to hybrid systems"},{"key":"1","first-page":"209","article-title":"Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems","author":"alur","year":"1992","journal-title":"ser LNCS"},{"key":"10","article-title":"Efficient Proof Engines for Bounded Model Checking of Hybrid Systems","author":"fra?nzle","year":"2004","journal-title":"FMICS"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.23919\/ECC.1999.7099613","article-title":"Algebraic Approach to Analysis of Discrete-Time Polynomial Systems","author":"anai","year":"1999","journal-title":"5th European Control Conference (ECC 99)"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0119"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.2307\/1969615"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","author":"tarski","year":"1951","journal-title":"A decision method for elementary algebra and geometry"},{"year":"0","key":"9"},{"key":"8","first-page":"126","article-title":"Analysis of Hybrid Systems: An ounce of realism can save an infinity of states","volume":"1683","author":"martin","year":"1999","journal-title":"ser LNCS"}],"event":{"name":"44th IEEE Conference on Decision and Control","location":"Seville, Spain"},"container-title":["Proceedings of the 44th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10559\/33412\/01582234.pdf?arnumber=1582234","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T20:17:31Z","timestamp":1627849051000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1582234\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cdc.2005.1582234","relation":{},"subject":[]}}