{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:00:23Z","timestamp":1729656023604,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/acc.2003.1239836","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"1685-1690","source":"Crossref","is-referenced-by-count":3,"title":["Online supervision of discrete event systems"],"prefix":"10.1109","volume":"2","author":[{"given":"R.","family":"Minhas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.M.","family":"Wonham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-9120-2_19"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/9.182478"},{"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":"asarin","year":"1995","journal-title":"Hybrid Systems II Volume 999 of Lecture Notes on Computer Science"},{"journal-title":"Software for the Control of Discrete Event Systems","year":"1988","author":"rudie","key":"7"},{"journal-title":"Complexity Reduction in Discrete Event Systems","year":"2002","author":"minhas","key":"6"},{"journal-title":"An Architectural Approach to the Supervisory Control of DES","year":"2002","author":"ma","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875441"},{"journal-title":"Notes on Control of Discrete-Event Systems","year":"2002","author":"wonham","key":"9"},{"key":"8","first-page":"1692","article-title":"Supervision of discrete event systems","volume":"37","author":"ramadge","year":"1982","journal-title":"Proc IEEE Special Issue on Dynamics of Discrete Event Systems"}],"event":{"name":"2003 American Control Conference, 2003.","acronym":"ACC-03","location":"Denver, Colorado, USA"},"container-title":["Proceedings of the 2003 American Control Conference, 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8775\/27786\/01239836.pdf?arnumber=1239836","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:16:26Z","timestamp":1497586586000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1239836\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/acc.2003.1239836","relation":{},"subject":[]}}