{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T05:48:06Z","timestamp":1751348886086,"version":"3.37.3"},"reference-count":27,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"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":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2024,2]]},"DOI":"10.1109\/tac.2023.3275440","type":"journal-article","created":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T17:43:16Z","timestamp":1683826996000},"page":"1074-1080","source":"Crossref","is-referenced-by-count":5,"title":["Supervisory Control Synthesis of Timed Automata Using Forcible Events"],"prefix":"10.1109","volume":"69","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3575-5636","authenticated-orcid":false,"given":"Aida","family":"Rashidinejad","sequence":"first","affiliation":[{"name":"Control Systems Technology, Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9283-4074","authenticated-orcid":false,"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[{"name":"Control Systems Technology, Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1287-9748","authenticated-orcid":false,"given":"Martin","family":"Fabian","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5058-9_54"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.04.022"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2335052"},{"key":"ref9","article-title":"A discussion on supervisory control theory in real-time discrete event systems","volume":"9","author":"Dubey","year":"2009","journal-title":"ISIS"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_76"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1991.261658"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48119-2_15"},{"key":"ref13","article-title":"An efficient method for the supervisory control of dense real-time discrete event systems","volume-title":"Proc. 8th Int. Conf. Real-Time Comput. Syst.","author":"Khoumsi","year":"2002"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-010-9103-8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICARCV50220.2020.9305312"},{"issue":"1","key":"ref16","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1023\/A:1008734703554","article-title":"Analysis of timed systems using time-abstracting bisimulations","volume":"18","author":"Tripakis","year":"2001","journal-title":"Formal Methods Syst. Des."},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)42032-5"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_48"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/wodes.2006.382401"},{"key":"ref20","first-page":"1","article-title":"Non-blocking supervisory control of timed automata using forcible events","volume-title":"Proc. 15th Int. Workshop on Discrete Event Syst.","author":"Rashidinejad","year":"2020"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2023.3275440"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_3"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.04.003"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2124457"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1002\/9780470611012.ch4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0018-z"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/10416290\/10123108.pdf?arnumber=10123108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T19:48:17Z","timestamp":1735847297000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10123108\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2]]},"references-count":27,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tac.2023.3275440","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"type":"print","value":"0018-9286"},{"type":"electronic","value":"1558-2523"},{"type":"electronic","value":"2334-3303"}],"subject":[],"published":{"date-parts":[[2024,2]]}}}