{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T08:02:24Z","timestamp":1777881744282,"version":"3.51.4"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62303389, 62373289, 62173226"],"award-info":[{"award-number":["62303389, 62373289, 62173226"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangdong Basic and Applied Basic Research Funding grants","award":["2022A151511076, 2024A1515012586"],"award-info":[{"award-number":["2022A151511076, 2024A1515012586"]}]},{"name":"Guangdong Scientific Research Platform and Project Scheme grant","award":["2024KTSCX039"],"award-info":[{"award-number":["2024KTSCX039"]}]},{"name":"Guangzhou-HKUST(GZ) Joint Funding Program grants","award":["2023A03J0678, 2023A03J0011, 2024A03J0618, 2024A03J0680"],"award-info":[{"award-number":["2023A03J0678, 2023A03J0011, 2024A03J0618, 2024A03J0680"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2026,12]]},"DOI":"10.1007\/s10626-026-00433-0","type":"journal-article","created":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:51:44Z","timestamp":1777596704000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Robust Supervisory Control of Metric Discrete Event Systems for scLTL Specifications"],"prefix":"10.1007","volume":"36","author":[{"given":"Peiran","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaowen","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiding","family":"Ji","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiang","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,5,1]]},"reference":[{"issue":"7","key":"433_CR1","doi-asserted-by":"publisher","first-page":"2008","DOI":"10.1080\/00207179.2019.1690691","volume":"94","author":"MV Alves","year":"2021","unstructured":"Alves MV, da Cunha AE, Carvalho LK et al (2021) Robust supervisory control of discrete event systems against intermittent loss of observations. Int J Control 94(7):2008\u20132020","journal-title":"Int J Control"},{"key":"433_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511973468","volume-title":"Lectures in game theory for computer scientists","author":"KR Apt","year":"2011","unstructured":"Apt KR, Gr\u00e4del E (2011) Lectures in game theory for computer scientists. Cambridge University Press"},{"key":"433_CR3","unstructured":"Baier C, Katoen JP (2008) Principles of model checking. MIT press"},{"key":"433_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-50763-7","volume-title":"Formal methods for discrete-time dynamical systems,","author":"C Belta","year":"2017","unstructured":"Belta C, Yordanov B, Gol EA (2017) Formal methods for discrete-time dynamical systems, vol 89. Springer"},{"key":"433_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72274-6","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2021","unstructured":"Cassandras CG, Lafortune S (2021) Introduction to discrete event systems. Springer"},{"key":"433_CR6","unstructured":"Cormen TH, Leiserson CE, Rivest RL, et al. (2022) Introduction to algorithms. MIT press"},{"key":"433_CR7","doi-asserted-by":"crossref","unstructured":"De Giacomo G, Di Stasio A, Fuggitti F, et al. (2020) Pure-past linear temporal and dynamic logic on finite traces. In: 29th International Joint Conference on Artificial Intelligence, pp 4959\u20134965","DOI":"10.24963\/ijcai.2020\/690"},{"issue":"12","key":"433_CR8","doi-asserted-by":"publisher","first-page":"6171","DOI":"10.1109\/TAC.2021.3061673","volume":"66","author":"W Deng","year":"2021","unstructured":"Deng W, Qiu D, Yang J (2021) Intersection-based decentralized supervisory control of probabilistic discrete event systems. IEEE Trans Autom Control 66(12):6171\u20136178","journal-title":"IEEE Trans Autom Control"},{"key":"433_CR9","doi-asserted-by":"crossref","unstructured":"Fokkink W, Goorden M (2024) Offline supervisory control synthesis: taxonomy and recent developments. Discrete Event Dynamic Systems pp 1\u201353","DOI":"10.1007\/s10626-024-00408-z"},{"issue":"12","key":"433_CR10","doi-asserted-by":"publisher","first-page":"7895","DOI":"10.1109\/TAC.2023.3253462","volume":"68","author":"R Fritz","year":"2023","unstructured":"Fritz R, Zhang P (2023) Detection and localization of stealthy cyberattacks in cyber-physical discrete event systems. IEEE Trans Autom Control 68(12):7895\u20137902","journal-title":"IEEE Trans Autom Control"},{"key":"433_CR11","doi-asserted-by":"publisher","unstructured":"Fuggitti F (2019) LTLf2DFA. DOI: https:\/\/doi.org\/10.5281\/zenodo.3888410","DOI":"10.5281\/zenodo.3888410"},{"key":"433_CR12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109543","volume":"127","author":"A Girard","year":"2021","unstructured":"Girard A, Eqtami A (2021) Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications. Automatica 127:109543","journal-title":"Automatica"},{"issue":"12","key":"433_CR13","doi-asserted-by":"publisher","first-page":"5159","DOI":"10.1109\/TAC.2020.2970011","volume":"65","author":"Y Hu","year":"2020","unstructured":"Hu Y, Ma Z, Li Z (2020) Design of supervisors for active diagnosis in discrete event systems. IEEE Trans Autom Control 65(12):5159\u20135172","journal-title":"IEEE Trans Autom Control"},{"key":"433_CR14","doi-asserted-by":"crossref","unstructured":"Ji Y, Yin X (2024) Robust control of metric discrete event systems against bounded disturbances. In: proceedings of 17th IFAC International Workshop on Discrete Event Systems, pp 108\u2013113","DOI":"10.1016\/j.ifacol.2024.07.019"},{"key":"433_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109359","volume":"123","author":"Y Ji","year":"2021","unstructured":"Ji Y, Yin X, Lafortune S (2021) Optimal supervisory control with mean payoff objectives and under partial observation. Automatica 123:109359","journal-title":"Automatica"},{"issue":"5","key":"433_CR16","doi-asserted-by":"publisher","first-page":"2282","DOI":"10.1109\/TAC.2021.3075186","volume":"67","author":"Y Ji","year":"2022","unstructured":"Ji Y, Yin X, Lafortune S (2022) Local mean payoff supervisory control for discrete event systems. IEEE Trans Autom Control 67(5):2282\u20132297","journal-title":"IEEE Trans Autom Control"},{"issue":"6","key":"433_CR17","doi-asserted-by":"publisher","first-page":"2079","DOI":"10.1137\/S0363012902409982","volume":"44","author":"S Jiang","year":"2006","unstructured":"Jiang S, Kumar R (2006) Supervisory control of discrete event systems with CTL* temporal logic specifications. SIAM J Control Optim 44(6):2079\u20132103","journal-title":"SIAM J Control Optim"},{"issue":"12","key":"433_CR18","doi-asserted-by":"publisher","first-page":"7286","DOI":"10.1109\/TAC.2023.3257232","volume":"68","author":"J Komenda","year":"2023","unstructured":"Komenda J, Masopust T (2023) Hierarchical supervisory control under partial observation: Normality. IEEE Trans Autom Control 68(12):7286\u20137298","journal-title":"IEEE Trans Autom Control"},{"key":"433_CR19","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1011254632723","volume":"19","author":"O Kupferman","year":"2001","unstructured":"Kupferman O, Vardi M (2001) Model checking of safety properties. Formal methods in system design 19:291\u2013314","journal-title":"Formal methods in system design"},{"key":"433_CR20","doi-asserted-by":"crossref","unstructured":"Lacerda B, Lima PU (2012) Designing petri net supervisors from LTL specifications. Robotics: Science and Systems VII p 169","DOI":"10.7551\/mitpress\/9481.003.0027"},{"key":"433_CR21","doi-asserted-by":"publisher","first-page":"1952","DOI":"10.1109\/LCSYS.2025.3590427","volume":"9","author":"Y Luo","year":"2025","unstructured":"Luo Y, Miao S, Yu X et al (2025) Supervisory control of weighted automata with control delays. IEEE Control Systems Letters 9:1952\u20131957","journal-title":"IEEE Control Systems Letters"},{"key":"433_CR22","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2024.111634","volume":"164","author":"P Lv","year":"2024","unstructured":"Lv P, Xu Z, Ji Y et al (2024) Optimal supervisory control of discrete event systems for cyclic tasks. Automatica 164:111634","journal-title":"Automatica"},{"issue":"6","key":"433_CR23","doi-asserted-by":"publisher","first-page":"2816","DOI":"10.1109\/TAC.2021.3091438","volume":"67","author":"Z Ma","year":"2021","unstructured":"Ma Z, Cai K (2021) Optimal secret protections in discrete-event systems. IEEE Trans Autom Control 67(6):2816\u20132828","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"433_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2539036.2539044","volume":"13","author":"R Majumdar","year":"2013","unstructured":"Majumdar R, Render E, Tabuada P (2013) A theory of robust omega-regular software synthesis. ACM Trans on Embedded Computing Systems 13(3):1\u201327","journal-title":"ACM Trans on Embedded Computing Systems"},{"issue":"3","key":"433_CR25","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s10626-023-00378-8","volume":"33","author":"R Malik","year":"2023","unstructured":"Malik R, Mohajerani S, Fabian M (2023) A survey on compositional algorithms for verification and synthesis in supervisory control. Discrete Event Dynamic Systems Theory and Applications 33(3):279\u2013340","journal-title":"Discrete Event Dynamic Systems Theory and Applications"},{"key":"433_CR26","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/s10626-023-00386-8","volume":"33","author":"R Meira-G\u00f3es","year":"2023","unstructured":"Meira-G\u00f3es R, Kang E, Lafortune S et al (2023) On tolerance of discrete systems with respect to transition perturbations. Discrete Event Dynamic Systems Theory and Applications 33:395\u2013424","journal-title":"Discrete Event Dynamic Systems Theory and Applications"},{"key":"433_CR27","doi-asserted-by":"crossref","unstructured":"Miao S, Cui B, Ji Y, et al. (2025a) Protect your knowledge: Epistemic property enforcement of discrete event systems with asymmetric information. IEEE Control Systems Letters 9:1832\u20131837","DOI":"10.1109\/LCSYS.2025.3578993"},{"key":"433_CR28","doi-asserted-by":"crossref","unstructured":"Miao S, Komenda J, Lai A (2025b) Active diagnosis of time-interval automata: Time perspectives. IEEE Transactions on Automation Science and Engineering 22:11239\u201311249","DOI":"10.1109\/TASE.2025.3531787"},{"key":"433_CR29","doi-asserted-by":"crossref","unstructured":"Miao S, Komenda J, Masopust T, et al. (2025c) Enforcement of critical observability in modular discrete-event systems. IEEE Transactions on Automatic Control 10.1109\/TAC.2025.3622478","DOI":"10.1109\/TAC.2025.3622478"},{"key":"433_CR30","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2025.112578","volume":"183","author":"S Miao","year":"2026","unstructured":"Miao S, Komenda J, Lin F (2026) Hierarchical supervisory control of networked and cyber-attacked discrete-event systems. Automatica 183:112578","journal-title":"Automatica"},{"issue":"2","key":"433_CR31","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1109\/TAC.2016.2560536","volume":"62","author":"S Reveliotis","year":"2016","unstructured":"Reveliotis S, Fei Z (2016) Invariant-based supervisory control of switched discrete event systems. IEEE Trans Autom Control 62(2):921\u2013927","journal-title":"IEEE Trans Autom Control"},{"key":"433_CR32","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2024.111683","volume":"165","author":"K Ritsuka","year":"2024","unstructured":"Ritsuka K, Rudie K (2024) A uniform approach to compare architectures in decentralized discrete\/event systems. Automatica 165:111683","journal-title":"Automatica"},{"issue":"3","key":"433_CR33","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1109\/LCSYS.2020.2971029","volume":"4","author":"A Sakakibara","year":"2020","unstructured":"Sakakibara A, Ushio T (2020) On-line permissive supervisory control of discrete event systems for scltl specifications. IEEE Control Systems Letters 4(3):530\u2013535","journal-title":"IEEE Control Systems Letters"},{"key":"433_CR34","doi-asserted-by":"crossref","unstructured":"Sakakibara A, Urabe N, Ushio T (2021) Finite-memory supervisory control of discrete event systems for LTL [$$\\cal{F}$$] specifications. IEEE Trans Autom Control 67(12):6896\u20136903","DOI":"10.1109\/TAC.2021.3139221"},{"issue":"9","key":"433_CR35","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M, Sengupta R, Lafortune S et al (1995) Diagnosability of discrete-event systems. IEEE Trans Autom Control 40(9):1555\u20131575","journal-title":"IEEE Trans Autom Control"},{"issue":"11","key":"433_CR36","doi-asserted-by":"publisher","first-page":"5269","DOI":"10.1109\/TAC.2020.3037156","volume":"66","author":"KT Seow","year":"2020","unstructured":"Seow KT (2020) Supervisory control of fair discrete-event systems: A canonical temporal logic foundation. IEEE Trans Autom Control 66(11):5269\u20135282","journal-title":"IEEE Trans Autom Control"},{"key":"433_CR37","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0577-7","volume-title":"Mathematical control theory: deterministic finite dimensional systems","author":"ED Sontag","year":"1998","unstructured":"Sontag ED (1998) Mathematical control theory: deterministic finite dimensional systems. Springer"},{"issue":"6","key":"433_CR38","doi-asserted-by":"publisher","first-page":"3453","DOI":"10.1109\/TAC.2022.3191393","volume":"68","author":"R Tai","year":"2022","unstructured":"Tai R, Lin L, Zhu Y et al (2022) Synthesis of the supremal covert attacker against unknown supervisors by using observations. IEEE Trans Autom Control 68(6):3453\u20133468","journal-title":"IEEE Trans Autom Control"},{"issue":"7","key":"433_CR39","doi-asserted-by":"publisher","first-page":"3197","DOI":"10.1109\/TAC.2020.3015453","volume":"66","author":"S Takai","year":"2021","unstructured":"Takai S (2021) Synthesis of maximally permissive supervisors for nondeterministic discrete event systems with nondeterministic specifications. IEEE Trans Autom Control 66(7):3197\u20133204","journal-title":"IEEE Trans Autom Control"},{"issue":"1","key":"433_CR40","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1146\/annurev-control-101119-071628","volume":"3","author":"S Tellex","year":"2020","unstructured":"Tellex S, Gopalan N, Kress-Gazit H et al (2020) Robots that use language. Annual Review of Control Robotics and Autonomous Systems 3(1):25\u201355","journal-title":"Annual Review of Control Robotics and Autonomous Systems"},{"issue":"1","key":"433_CR41","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1109\/TSMC.2020.3035446","volume":"52","author":"X Wang","year":"2020","unstructured":"Wang X, Hu H, Zhou M (2020) Discrete event approach to robust control in automated manufacturing systems. IEEE Transactions on Systems Man and Cybernetics Systems 52(1):123\u2013135","journal-title":"IEEE Transactions on Systems Man and Cybernetics Systems"},{"key":"433_CR42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77452-7","volume-title":"Supervisory control of discrete-event systems","author":"WM Wonham","year":"2019","unstructured":"Wonham WM, Cai K (2019) Supervisory control of discrete-event systems. Springer"},{"issue":"8","key":"433_CR43","doi-asserted-by":"publisher","first-page":"2140","DOI":"10.1109\/TAC.2015.2484359","volume":"61","author":"X Yin","year":"2016","unstructured":"Yin X, Lafortune S (2016) A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems. IEEE Trans Autom Control 61(8):2140\u20132154","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"433_CR44","doi-asserted-by":"publisher","first-page":"1466","DOI":"10.1109\/TAC.2021.3063699","volume":"67","author":"D You","year":"2021","unstructured":"You D, Wang S, Zhou M et al (2021) Supervisory control of petri nets in the presence of replacement attacks. IEEE Trans Autom Control 67(3):1466\u20131473","journal-title":"IEEE Trans Autom Control"},{"key":"433_CR45","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111445","volume":"160","author":"X Yu","year":"2024","unstructured":"Yu X, Dong W, Li S et al (2024) Model predictive monitoring of dynamical systems for signal temporal logic specifications. Automatica 160:111445","journal-title":"Automatica"},{"issue":"10","key":"433_CR46","doi-asserted-by":"publisher","first-page":"3345","DOI":"10.1109\/TAC.2018.2793662","volume":"63","author":"H Zhang","year":"2018","unstructured":"Zhang H, Feng L, Li Z (2018) A learning-based synthesis approach to the supremal nonblocking supervisor of discrete-event systems. IEEE Trans Autom Control 63(10):3345\u20133360","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"433_CR47","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1109\/TCNS.2023.3312249","volume":"11","author":"S Zheng","year":"2023","unstructured":"Zheng S, Shu S, Lin F (2023) Modeling and control of discrete event systems under joint sensor-actuator cyber attacks. IEEE Transactions on Control of Network Systems 11(2):782\u2013794","journal-title":"IEEE Transactions on Control of Network Systems"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-026-00433-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-026-00433-0","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-026-00433-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:51:47Z","timestamp":1777596707000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-026-00433-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,1]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,12]]}},"alternative-id":["433"],"URL":"https:\/\/doi.org\/10.1007\/s10626-026-00433-0","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,5,1]]},"assertion":[{"value":"8 January 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 February 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 May 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing Interests"}}],"article-number":"18"}}