{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:40:48Z","timestamp":1729636848280,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/cdc.2004.1428739","type":"proceedings-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T14:10:36Z","timestamp":1219846236000},"page":"2322-2327 Vol.3","source":"Crossref","is-referenced-by-count":2,"title":["Improving reachability analysis of hybrid automata for engine control"],"prefix":"10.1109","author":[{"given":"A.","family":"Casagrande","sequence":"first","affiliation":[]},{"given":"A.","family":"Balluchi","sequence":"additional","affiliation":[]},{"given":"L.","family":"Benvenuti","sequence":"additional","affiliation":[]},{"given":"A.","family":"Policriti","sequence":"additional","affiliation":[]},{"given":"T.","family":"Villa","sequence":"additional","affiliation":[]},{"given":"A.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","volume":"1790","author":"lynch","year":"2000","journal-title":"Hybrid Systems Computation and Control Third International Workshop HSCC 2000 Pittsburgh PA USA March 23-25 2000 Proceedings Ser Lecture Notes in Computer Science"},{"key":"11","first-page":"5","article-title":"Polyhedral flows in hybrid automata","volume":"1790","author":"alur","year":"2000","journal-title":"HSCC Ser Lecture Notes in Computer Science"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428739"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225162"},{"key":"2","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BFb0032003","article-title":"From timed to hybrid systems","volume":"600","author":"maler","year":"1991","journal-title":"Real-Time Theory in Practice"},{"key":"1","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","volume":"736","author":"alur","year":"1993","journal-title":"Hybrid Systems ser Lecture Notes in Computer Science"},{"key":"10","article-title":"Model checking strategies for linear hybrid systems","author":"henzinger","year":"1994","journal-title":"Hybrid Systems and Autonomous Control Workshop"},{"journal-title":"Ellipsoidal Techniques for Verification of Hybrid Systems","year":"2000","author":"botchkarev","key":"7"},{"key":"6","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/3-540-46430-1_10","article-title":"Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations","volume":"1790","author":"botchkarev","year":"2000","journal-title":"HSCC Ser Lecture Notes in Computer Science"},{"key":"5","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-46430-1_19","article-title":"Ellipsoidal techniques for reachability analysis","volume":"1790","author":"kurzhanski","year":"2000","journal-title":"HSCC Ser Lecture Notes in Computer Science"},{"key":"4","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-58485-4_43","article-title":"Verification of linear hybrid systems by means of convex approximations","author":"halbwachs","year":"1994","journal-title":"Static Analysis Symposium"},{"key":"9","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/3-540-46430-1_7","article-title":"Maximal safe set computation for idle speed control of an automotive engine","volume":"1790","author":"balluchi","year":"2000","journal-title":"HSCC Ser Lecture Notes in Computer Science"},{"key":"8","first-page":"229","author":"balluchi","year":"2002","journal-title":"Nonlinear and Hybrid Systems in Automotive Control"}],"event":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","start":{"date-parts":[[2004,12,17]]},"location":"Nassau, Bahamas","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\/30837\/01428739.pdf?arnumber=1428739","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T12:45:01Z","timestamp":1557751501000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1428739\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/cdc.2004.1428739","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}