{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T02:46:36Z","timestamp":1722912396701},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2002.1184363","type":"proceedings-article","created":{"date-parts":[[2003,8,27]],"date-time":"2003-08-27T11:38:00Z","timestamp":1061984280000},"page":"3194-3199","source":"Crossref","is-referenced-by-count":0,"title":["Effective synthesis of optimal controllers using bisimulations"],"prefix":"10.1109","volume":"3","author":[{"given":"M.","family":"Broucke","sequence":"first","affiliation":[]},{"given":"M.D.","family":"DiBenedetto","sequence":"additional","affiliation":[]},{"given":"S.","family":"Di Gennaro","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/3-540-46430-1_11","article-title":"Theory of optimal control using bisimulations","author":"broucke","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"2","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/3-540-48983-5_9","article-title":"A geometric approach to bisimulation and verification of hybrid systems","author":"broucke","year":"1999","journal-title":"Hybrid Systems Computation and Control"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0396(85)90136-6"},{"key":"1","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-48983-5_6","article-title":"As soon as possible: Time optimal control for timed automata","author":"asarin","year":"1999","journal-title":"Hybrid Systems Computation and Control"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01386390"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.2307\/2007396"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.2307\/1999343"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01448394"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1137\/0323018"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01442644"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/9.412624"}],"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\/01184363.pdf?arnumber=1184363","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,5]],"date-time":"2018-03-05T11:19:56Z","timestamp":1520248796000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1184363\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/cdc.2002.1184363","relation":{},"subject":[]}}