{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:39:49Z","timestamp":1762101589728,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/icca.2014.6871138","type":"proceedings-article","created":{"date-parts":[[2014,8,18]],"date-time":"2014-08-18T20:57:54Z","timestamp":1408395474000},"page":"1466-1471","source":"Crossref","is-referenced-by-count":2,"title":["Supervisory Control With Progressive Events"],"prefix":"10.1109","author":[{"given":"Simon","family":"Ware","sequence":"first","affiliation":[]},{"given":"Robi","family":"Malik","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"13","DOI":"10.2140\/pjm.1955.5.285"},{"year":"2003","author":"malik","journal-title":"From Supervisory Control to Nonblocking Controllers for Discrete Event Systems","key":"14"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/TAC.2013.2248255"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/TCST.2004.824795"},{"key":"3","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1109\/9.847723","article-title":"Design of nonblocking modular supervisors using event priority functions","volume":"45","author":"chen","year":"2000","journal-title":"IEEE Trans Autom Control"},{"year":"1994","author":"arnold","journal-title":"Finite Transition Systems Semantics of Communicating Systems","key":"2"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/5.21072"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1023\/B:DISC.0000005009.40749.b6"},{"key":"7","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/978-1-4757-6656-1_12","article-title":"Implementation considerations in supervisory control","author":"dietrich","year":"2002","journal-title":"Synthesis and Control of Discrete Event Systems"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/TAC.2005.854586"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/WODES.2008.4605969"},{"key":"4","first-page":"175","article-title":"Multitasking supervisory control of discrete-event systems","volume":"4","author":"de queiroz","year":"2004","journal-title":"Proc 8th Int Workshop on Discrete Event Systems WODES'06"},{"year":"2009","author":"wonham","journal-title":"Supervisory control of discrete-event systems","key":"9"},{"key":"8","first-page":"259","article-title":"A hierarchical control architecture for sequential behaviours","volume":"12","author":"baier","year":"2012","journal-title":"Proc 11th Int Workshop on Discrete Event Systems WODES '"}],"event":{"name":"2014 11th IEEE International Conference on Control & Automation (ICCA)","start":{"date-parts":[[2014,6,18]]},"location":"Taichung, Taiwan","end":{"date-parts":[[2014,6,20]]}},"container-title":["11th IEEE International Conference on Control &amp; Automation (ICCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6867216\/6870875\/06871138.pdf?arnumber=6871138","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T18:53:57Z","timestamp":1498157637000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6871138\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icca.2014.6871138","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}