{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:07:43Z","timestamp":1762520863751,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2002.1184191","type":"proceedings-article","created":{"date-parts":[[2003,8,27]],"date-time":"2003-08-27T11:38:00Z","timestamp":1061984280000},"page":"2379-2384","source":"Crossref","is-referenced-by-count":17,"title":["Analysis of Zeno behaviors in hybrid systems"],"prefix":"10.1109","volume":"3","author":[{"given":"M.","family":"Heymann","sequence":"first","affiliation":[]},{"family":"Feng Lin","sequence":"additional","affiliation":[]},{"given":"G.","family":"Meyer","sequence":"additional","affiliation":[]},{"given":"S.","family":"Resmerita","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Non-zeno controller synthesis for hybrid systems","year":"2000","author":"balluchi","key":"3"},{"key":"2","first-page":"3984","article-title":"Controller synthesis for hybrid systems with lower bounds of event separation","author":"balluchi","year":"1999","journal-title":"Proceedings 38th Conference on Decision and Control Phoenix Az"},{"key":"10","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","article-title":"On the synthesis of discrete controllers for timed systems","author":"maler","year":"1995","journal-title":"Lecture Notes in Computer Science 900"},{"key":"1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-60472-3_1","article-title":"Symbolic controller synthesis for discrete and timed systems","volume":"999","author":"azarin","year":"1995","journal-title":"Hybrid Systems IV Lecture Notes in Computer Science"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008285600895"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014739"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-63165-8_213","article-title":"Discrete time control for rectangular hybrid automata","author":"henzinger","year":"1997","journal-title":"Proc of 24th International Colloquium on Automata Languages and Programming"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/9.664159"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014738"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(99)00059-6"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1997.649708"}],"event":{"name":"IEEE Conference on Decision and Control","acronym":"CDC-02","location":"Las Vegas, NV, USA"},"container-title":["Proceedings of the 41st IEEE Conference on Decision and Control, 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8437\/26568\/01184191.pdf?arnumber=1184191","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T04:39:26Z","timestamp":1585111166000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1184191\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/cdc.2002.1184191","relation":{},"subject":[]}}