{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:02:19Z","timestamp":1730210539317,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/cpsna.2013.6614258","type":"proceedings-article","created":{"date-parts":[[2013,10,2]],"date-time":"2013-10-02T22:33:01Z","timestamp":1380753181000},"page":"120-125","source":"Crossref","is-referenced-by-count":11,"title":["Enclosing the behavior of a hybrid system up to and beyond a Zeno point"],"prefix":"10.1109","author":[{"given":"Michal","family":"Konecny","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Taha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Duracz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Duracz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aaron","family":"Ames","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","DOI":"10.1007\/11730637_42","article-title":"Beyond Zeno: Get on with it!","author":"zheng","year":"2006","journal-title":"Hybrid Systems Compuation and Control"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434891"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2208292"},{"key":"33","article-title":"Lecture notes on hybrid systems","author":"lygeros","year":"2004","journal-title":"Notes for an ENSIETA workshop"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349331"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1112\/S1461157000001315"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581695"},{"key":"13","article-title":"Open Modelica - A free open-source environment for system modeling, simulation, and teaching","author":"fritzson","year":"2006","journal-title":"Proceedings of the 2006 IEEE International Symposium on Intelligent Control"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46430-1_5","article-title":"Modular specification of hybrid systems in CHARON","volume":"1790","author":"alur","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1561\/1000000001"},{"journal-title":"System Modeler","year":"2012","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9103-8"},{"key":"20","first-page":"171","article-title":"KeYmaera: A hybrid theorem prover for hybrid systems","volume":"5195","author":"platzer","year":"2008","journal-title":"IJCAR"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-011-0193-y"},{"journal-title":"Simulation and Verification of Hybrid Systems Based on Interval Analysis and Constraint Programming","year":"2010","author":"ishii","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.70"},{"key":"25","article-title":"SpaceEx: Scalable verification of hybrid systems","author":"frehse","year":"2011","journal-title":"Proc 23rd International Conference on Computer Aided Verification (CAV)"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.002"},{"key":"27","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-540-31954-2_2","article-title":"Operational semantics of hybrid systems","volume":"3414","author":"lee","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1016\/S0045-7825(98)00387-9"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-006-0041-0"},{"journal-title":"Continuous System Simulation","year":"2006","author":"cellier","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00250-2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739235"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048094"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0075-5_43"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.592"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1999.827900"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/SCAN.2006.47"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1656623"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1024794"},{"key":"4","article-title":"Zero-crossing location and detection algorithms for hybrid system simulation","author":"zhang","year":"2008","journal-title":"IFAC World Congress"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739100"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967726"}],"event":{"name":"2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks and Applications (CPSNA)","start":{"date-parts":[[2013,8,19]]},"location":"Taipei","end":{"date-parts":[[2013,8,20]]}},"container-title":["2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6597100\/6614232\/06614258.pdf?arnumber=6614258","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,2]],"date-time":"2020-02-02T09:41:56Z","timestamp":1580636516000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6614258\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/cpsna.2013.6614258","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}