{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T12:46:25Z","timestamp":1777639585387,"version":"3.51.4"},"reference-count":20,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Fujian Provincial Natural Science Foundation of China","award":["2025J01054"],"award-info":[{"award-number":["2025J01054"]}]},{"name":"Natural Science Foundation of Xiamen","award":["3502Z202573035"],"award-info":[{"award-number":["3502Z202573035"]}]},{"name":"RVO","award":["67985840"],"award-info":[{"award-number":["67985840"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2026,3]]},"DOI":"10.1109\/tac.2025.3622478","type":"journal-article","created":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T17:41:42Z","timestamp":1760636502000},"page":"2114-2119","source":"Crossref","is-referenced-by-count":1,"title":["Enforcement of Critical Observability in Modular Discrete-Event Systems"],"prefix":"10.1109","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-4913-1999","authenticated-orcid":false,"given":"Shaowen","family":"Miao","sequence":"first","affiliation":[{"name":"Department of Automation, Xiamen University, Xiamen, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7294-8365","authenticated-orcid":false,"given":"Jan","family":"Komenda","sequence":"additional","affiliation":[{"name":"Institute of Mathematics of the Czech Academy of Sciences, Prague, Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9282-758X","authenticated-orcid":false,"given":"Tom\u00e1\u0161","family":"Masopust","sequence":"additional","affiliation":[{"name":"Faculty of Science, Palacky University Olomouc, Olomouc, Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3328-3441","authenticated-orcid":false,"given":"Aiwen","family":"Lai","sequence":"additional","affiliation":[{"name":"Department of Automation, Xiamen University, Xiamen, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551233"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4493-7_10"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.08.025"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2912484"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3292747"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77452-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2341891"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.04.029"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551361"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(90)90004-E"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(02)00322-5"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3257232"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3333792"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2025.112578"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1137\/060673862"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2484359"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33475-7_12"},{"key":"ref20","article-title":"Computationally efficient supervisor design for discrete-event systems","author":"Feng","year":"2007"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/9\/11417357\/11205323.pdf?arnumber=11205323","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T20:59:14Z","timestamp":1772485154000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11205323\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3]]},"references-count":20,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tac.2025.3622478","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":[[2026,3]]}}}