{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T08:26:23Z","timestamp":1743495983467,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/.2005.1467135","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T13:52:28Z","timestamp":1122472348000},"page":"908-913","source":"Crossref","is-referenced-by-count":1,"title":["A Symbolic Approach to the Supervision of State Tree Structures"],"prefix":"10.1109","author":[{"family":"Chuan Ma","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":"17","doi-asserted-by":"publisher","DOI":"10.1109\/CIMAT.1994.389054"},{"key":"18","first-page":"396","article-title":"Hierarchical interface-based supervisory control: AIP example","author":"leduc","year":"2001","journal-title":"Proc of the 39th Allerton Conf on Comm Contr and Comp"},{"key":"15","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/3-540-49213-5_4","article-title":"Compositional reasoning in model checking","volume":"1536","author":"berezin","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Supervisory control of discrete-event systems","year":"2004","author":"wonham","key":"16"},{"journal-title":"Symbolic methods and tools for discrete event dynamic systems","year":"1997","author":"gunnarsson","key":"13"},{"journal-title":"Nonblocking supervisory control of state tree structures","year":"2004","author":"ma","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/9.231459"},{"key":"12","article-title":"STCT: An efficient algorithm for supervisory control design","author":"zhang","year":"2001","journal-title":"Symposium on Supervisory Control of Discrete Event Systems (SCODES2001)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875441"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/9.250558"},{"key":"6","first-page":"207","article-title":"A linguistic framework for controlled hierarchical des","author":"gohari","year":"1998","journal-title":"4th International Workshop on Discrete Event Systems (WODES '98) IEE"},{"journal-title":"Top-down design for RW supervisory control theory","year":"1995","author":"wang","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"9","article-title":"Control of state tree strctures","author":"ma","year":"2003","journal-title":"Proc 11th Mediterranean Conference on Control and Automation"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184677"}],"event":{"name":"2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005.","location":"Limassol, Cyprus"},"container-title":["Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9900\/31471\/01467135.pdf?arnumber=1467135","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T17:35:44Z","timestamp":1497634544000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1467135\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/.2005.1467135","relation":{},"subject":[]}}