{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:39:15Z","timestamp":1725550755935},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/cdc.2004.1428806","type":"proceedings-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T18:10:36Z","timestamp":1219860636000},"page":"941-946 Vol.1","source":"Crossref","is-referenced-by-count":0,"title":["On the existence of optimal solutions for the modular supervisory control of hybrid systems"],"prefix":"10.1109","author":[{"given":"A.B.","family":"Leal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.E.R.","family":"Cury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/3-540-45351-2_22","article-title":"Supervision of event-driven hybrid systems: Modeling and synthesis","author":"gonza?lez","year":"2001","journal-title":"Hybrid Systems Computation and Control"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/5.871307"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1994.1023"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/9.664159"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/9.73561"},{"key":"6","first-page":"870","article-title":"Modular supervisory control of a class of hybrid systems in a behavioural framework","author":"moor","year":"2001","journal-title":"European Control Conference"},{"key":"5","article-title":"Modular supervision of hybrid systems: A DES approach","author":"leal","year":"2004","journal-title":"Workshop on Discrete Event Systems WODES'04"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013339920783"},{"journal-title":"Hybrid System Verification Using Discrete Model Approximations[D]","year":"1999","author":"chutinan","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01805563"}],"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\/30836\/01428806.pdf?arnumber=1428806","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T11:16:00Z","timestamp":1497784560000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1428806\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/cdc.2004.1428806","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}