{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,26]],"date-time":"2025-04-26T05:06:19Z","timestamp":1745643979481,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,12,13]],"date-time":"2020-12-13T00:00:00Z","timestamp":1607817600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,13]],"date-time":"2020-12-13T00:00:00Z","timestamp":1607817600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,13]],"date-time":"2020-12-13T00:00:00Z","timestamp":1607817600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,13]]},"DOI":"10.1109\/icarcv50220.2020.9305312","type":"proceedings-article","created":{"date-parts":[[2021,1,10]],"date-time":"2021-01-10T10:23:59Z","timestamp":1610274239000},"page":"1-8","source":"Crossref","is-referenced-by-count":5,"title":["Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events"],"prefix":"10.1109","author":[{"given":"Aida","family":"Rashidinejad","sequence":"first","affiliation":[]},{"given":"Patrick","family":"van der Graaf","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/71.80145"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1991.261658"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_76"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)42032-5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48119-2_15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_9"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_14"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-015-0223-0"},{"key":"ref19","article-title":"An efficient method for the supervisory control of dense real-time discrete event systems","author":"khoumsi","year":"2002","journal-title":"Proceedings of the 8th International Conference on Real- Time Computing Systems (RTCSA)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2335052"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.340"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167676"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2009.2035462"},{"key":"ref8","first-page":"112","article-title":"A discussion on supervisory control theory in real-time discrete event systems","volume":"9","author":"dubey","year":"2009","journal-title":"Isis"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/9.52290"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"2008","author":"hopcroft","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"journal-title":"Introduction to Discrete Event Systems","year":"2009","author":"cassandras","key":"ref1"},{"key":"ref20","article-title":"Setexp: A method of transformation of timed automata into finite state automata","author":"ouedraogo","year":"2008","journal-title":"CIR-RELT"},{"key":"ref22","article-title":"Non-blocking supervisory control of timed automata using forcible events","author":"rashidinejad","year":"2020","journal-title":"15th International Workshop on Discrete Event Systems (WODES 2020)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-010-9103-8"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382401"},{"key":"ref23","first-page":"575","article-title":"Cif 3: Model-based engineering of supervisory controllers","author":"van beek","year":"2014","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5058-9_54"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008734703554"}],"event":{"name":"2020 16th International Conference on Control, Automation, Robotics and Vision (ICARCV)","start":{"date-parts":[[2020,12,13]]},"location":"Shenzhen, China","end":{"date-parts":[[2020,12,15]]}},"container-title":["2020 16th International Conference on Control, Automation, Robotics and Vision (ICARCV)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9305021\/9305302\/09305312.pdf?arnumber=9305312","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T00:10:32Z","timestamp":1656375032000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9305312\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,13]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/icarcv50220.2020.9305312","relation":{},"subject":[],"published":{"date-parts":[[2020,12,13]]}}}