{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T13:13:00Z","timestamp":1769865180058,"version":"3.49.0"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"JSPS KAKENHI","award":["21H04875"],"award-info":[{"award-number":["21H04875"]}]},{"name":"JSPS KAKENHI","award":["22KK0155"],"award-info":[{"award-number":["22KK0155"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2025,5]]},"DOI":"10.1109\/tac.2024.3522024","type":"journal-article","created":{"date-parts":[[2024,12,24]],"date-time":"2024-12-24T14:37:58Z","timestamp":1735051078000},"page":"3471-3477","source":"Crossref","is-referenced-by-count":3,"title":["Supervisory Control Theory With Event Forcing"],"prefix":"10.1109","volume":"70","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9283-4074","authenticated-orcid":false,"given":"Michel","family":"Reniers","sequence":"first","affiliation":[{"name":"Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8784-0728","authenticated-orcid":false,"given":"Kai","family":"Cai","sequence":"additional","affiliation":[{"name":"Department of Core Informatics, Osaka Metropolitan University, Osaka, Japan"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77452-7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5102-9_54-2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref4","first-page":"337","article-title":"Generating controllers from discrete-event models","volume-title":"Proc. Summer Sch. Modelling Verification Parallel Processes","author":"Malik","year":"2002"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2019.8843335"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-021-00350-4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.05.015"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-8136-6"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.340"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICARCV50220.2020.9305312"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.04.035"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2023.3275440"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2024.07.037"},{"issue":"4","key":"ref15","first-page":"669","article-title":"Control-invariance of hybrid systems with forcible events","volume-title":"Automatica","volume":"41","author":"Ushio","year":"2005"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/37.56284"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1987.272773"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MMAR.2012.6347837"},{"issue":"1","key":"ref19","first-page":"139","article-title":"A generalized framework for supervisory control of discrete event systems","volume":"2","author":"Li","year":"1998","journal-title":"Int. J. Intell. Control Syst."},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MMAR.2013.6670012"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2422411"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2024.3522024"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0018-z"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2124457"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_48"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30820-8_6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-20496-3"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/9\/10977569\/10815072.pdf?arnumber=10815072","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T21:07:02Z","timestamp":1769807222000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10815072\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5]]},"references-count":30,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tac.2024.3522024","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,5]]}}}