{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:36:40Z","timestamp":1786981000629,"version":"build-2736575974"},"reference-count":351,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2024,11,15]],"date-time":"2024-11-15T00:00:00Z","timestamp":1731628800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,11,15]],"date-time":"2024-11-15T00:00:00Z","timestamp":1731628800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100012774","name":"Innovationsfonden","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100012774","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100008398","name":"Villum Fonden","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100008398","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2024,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    This paper surveys recent advances in supervisory control theory since its 30\n                    <jats:sup>th<\/jats:sup>\n                    anniversary in 2017. We performed a systematic literature search and selected 272 relevant papers, with a focus on automata-based approaches. These were fitted into coherent narratives, based in part on a taxonomy of supervisor synthesis methods. The obtained papers show the fast and vast progress of the field, where recent research covers a wide range of new synthesis optimization techniques, different aspects such as fault tolerance, security, and timing, and new and diverse application domains. This survey refrains from in-depth descriptions of techniques, instead focusing on high-level contributions of recent works, how they relate to each other, and future directions for research.\n                  <\/jats:p>","DOI":"10.1007\/s10626-024-00408-z","type":"journal-article","created":{"date-parts":[[2024,11,15]],"date-time":"2024-11-15T02:31:18Z","timestamp":1731637878000},"page":"605-657","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Offline supervisory control synthesis: taxonomy and recent developments"],"prefix":"10.1007","volume":"34","author":[{"given":"Wan","family":"Fokkink","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martijn","family":"Goorden","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,11,15]]},"reference":[{"key":"408_CR1","series-title":"Lecture Notes on Control and Information Sciences","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/BFb0006830","volume-title":"Feedback Control of Linear and Nonlinear Systems","author":"PJ Ramadge","year":"1982","unstructured":"Ramadge PJ, Wonham WM (1982) Supervisory control of discrete event processes. Feedback Control of Linear and Nonlinear Systems. Lecture Notes on Control and Information Sciences. Springer, Berlin, Heidelberg, pp 202\u2013214"},{"issue":"4","key":"408_CR2","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1109\/MCS.2018.2830083","volume":"38","author":"S Lafortune","year":"2018","unstructured":"Lafortune S, Rudie K, Tripakis S (2018) Thirty years of the Ramadge-Wonham theory of supervisory control: A retrospective and future perspectives. IEEE Contr Syst Mag 38(4):111\u2013112. https:\/\/doi.org\/10.1109\/MCS.2018.2830083","journal-title":"IEEE Contr Syst Mag"},{"issue":"1","key":"408_CR3","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230. https:\/\/doi.org\/10.1137\/0325013","journal-title":"SIAM J Control Optim"},{"key":"408_CR4","doi-asserted-by":"publisher","unstructured":"Wonham WM, Cai K, Rudie K (2018) Supervisory control of discrete-event systems: A brief history. Annu Rev Control 45:250\u2013256. https:\/\/doi.org\/10.1016\/j.arcontrol.2018.03.002","DOI":"10.1016\/j.arcontrol.2018.03.002"},{"key":"408_CR5","doi-asserted-by":"publisher","unstructured":"Silva M (2018) On the history of discrete event systems. Annu Rev Control 45:213\u2013222. https:\/\/doi.org\/10.1016\/j.arcontrol.2018.03.004","DOI":"10.1016\/j.arcontrol.2018.03.004"},{"key":"408_CR6","doi-asserted-by":"publisher","unstructured":"Lafortune S (2019) Discrete event systems: Modeling, observation, and control. Annu Rev Control Robotics Auton Syst 2:141\u2013159. https:\/\/doi.org\/10.1146\/annurev-control-053018-023659","DOI":"10.1146\/annurev-control-053018-023659"},{"key":"408_CR7","doi-asserted-by":"publisher","unstructured":"Karimadini M, Karimoddini A, Homaifar A (2018) A survey on fault-tolerant supervisory control. In: Proc. 61st Midwest Symposium on Circuits and Systems (MWSCAS), pp 733\u2013738. IEEE, Piscataway, NJ . https:\/\/doi.org\/10.1109\/MWSCAS.2018.8624110","DOI":"10.1109\/MWSCAS.2018.8624110"},{"key":"408_CR8","doi-asserted-by":"publisher","unstructured":"Giua A, Silva M (2018) Petri nets and automatic control: A historical perspective. Annu Rev Control 45:223\u2013239. https:\/\/doi.org\/10.1016\/j.arcontrol.2018.04.006","DOI":"10.1016\/j.arcontrol.2018.04.006"},{"key":"408_CR9","doi-asserted-by":"publisher","unstructured":"Zaytoon J Riera B (2017) Synthesis and implementation of logic controllers \u2013 A review Annu Rev Control 43:152\u2013168. https:\/\/doi.org\/10.1016\/j.arcontrol.2017.03.004","DOI":"10.1016\/j.arcontrol.2017.03.004"},{"key":"408_CR10","doi-asserted-by":"publisher","unstructured":"Moulton RH, Rudie K (2022) Online control of discrete-event systems: A survey Annu Rev Control 54:24\u201348. https:\/\/doi.org\/10.1016\/j.arcontrol.2022.08.002","DOI":"10.1016\/j.arcontrol.2022.08.002"},{"issue":"3","key":"408_CR11","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. Discret Event Dyn Syst 33(3):279\u2013340. https:\/\/doi.org\/10.1007\/s10626-023-00378-8","journal-title":"Discret Event Dyn Syst"},{"key":"408_CR12","doi-asserted-by":"publisher","unstructured":"Goorden MA, Moormann L, Reijnen FFH, Verbakel JJ, van Beek DA, Hofkamp AT, van de Mortel-Fronczak JM, Reniers MA, Fokkink WJ, Rooda JE, Etman LFP (2020) The road ahead for supervisor synthesis. In: Proc. 6th Symposium on Dependable Software Engineering. Theories Tools Appl (SETTA), pp 1\u201316. Springer, Cham . https:\/\/doi.org\/10.1007\/978-3-030-62822-2_1","DOI":"10.1007\/978-3-030-62822-2_1"},{"key":"408_CR13","doi-asserted-by":"publisher","unstructured":"Cassandras CG, Lafortune S (2021) Introduction to Discrete Event Systems, 3rd edn. Springer, New York, NY. https:\/\/doi.org\/10.1007\/978-0-387-68612-7","DOI":"10.1007\/978-0-387-68612-7"},{"key":"408_CR14","doi-asserted-by":"publisher","unstructured":"Wonham WM, Cai K (2019) Supervisory Control of Discrete-Event Systems. Springer, Cham . https:\/\/doi.org\/10.1007\/978-3-319-77452-7","DOI":"10.1007\/978-3-319-77452-7"},{"issue":"3","key":"408_CR15","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F Lin","year":"1988","unstructured":"Lin F, Wonham WM (1988) On observability of discrete-event systems. Inf Sci 44(3):173\u2013198. https:\/\/doi.org\/10.1016\/0020-0255(88)90001-1","journal-title":"Inf Sci"},{"issue":"3","key":"408_CR16","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1109\/TASE.2011.2124457","volume":"8","author":"L Ouedraogo","year":"2011","unstructured":"Ouedraogo L, Kumar R, Malik R, \u00c5kesson K (2011) Nonblocking and safe control of discrete-event systems modeled as extended finite automata. IEEE Trans Autom Sci Eng 8(3):560\u2013569. https:\/\/doi.org\/10.1109\/TASE.2011.2124457","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"408_CR17","doi-asserted-by":"publisher","unstructured":"Baeten JCM, van Beek DA, Luttik SP, Markovski J, Rooda JE (2011) A process-theoretic approach to supervisory control theory. In: Proc. 30th American Control Conference (ACC), pp 4496\u20134501. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/ACC.2011.5990831","DOI":"10.1109\/ACC.2011.5990831"},{"issue":"5","key":"408_CR18","doi-asserted-by":"publisher","first-page":"2576","DOI":"10.1109\/TAC.2016.2601118","volume":"62","author":"X Yin","year":"2017","unstructured":"Yin X (2017) Supervisor synthesis for Mealy automata with output functions: A model transformation approach. IEEE Trans Autom Contr 62(5):2576\u20132581. https:\/\/doi.org\/10.1109\/TAC.2016.2601118","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR19","doi-asserted-by":"publisher","unstructured":"Zgorzelski M, Lunze J (2017) Feedforward and state-feedback control of deterministic I\/O automata. In: 20th IFAC World Congress. IFAC-PapersOnLine, vol 50, pp 13426\u201313433. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2017.08.2294","DOI":"10.1016\/j.ifacol.2017.08.2294"},{"key":"408_CR20","unstructured":"Schneider SF (2019) Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle. PhD thesis, Technische Universit\u00e4t Berlin"},{"key":"408_CR21","doi-asserted-by":"publisher","unstructured":"Mohajerani S, Malik R, Ware S, Fabian M (2011) Compositional synthesis of discrete event systems using synthesis abstraction. In: Proc. Chinese Control and Decision Conference (CCDC), pp 1549\u20131554. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CCDC.2011.5968439","DOI":"10.1109\/CCDC.2011.5968439"},{"issue":"1","key":"408_CR22","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81\u201398. https:\/\/doi.org\/10.1109\/5.21072","journal-title":"Proc IEEE"},{"key":"408_CR23","doi-asserted-by":"publisher","unstructured":"de Queiroz MH, Cury JER (2000) Modular control of composed systems. In: Proc. 19th American Control Conference (ACC), pp 4051\u20134055. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/ACC.2000.876983","DOI":"10.1109\/ACC.2000.876983"},{"key":"408_CR24","doi-asserted-by":"publisher","unstructured":"Yoo T-S, Lafortune S (2002) A general architecture for decentralized supervisory control of discrete-event systems. Discret Event Dyn Syst 12:335\u2013377. https:\/\/doi.org\/10.1023\/A:1015625600613","DOI":"10.1023\/A:1015625600613"},{"issue":"10","key":"408_CR25","doi-asserted-by":"publisher","first-page":"1125","DOI":"10.1109\/9.58555","volume":"35","author":"H Zhong","year":"1990","unstructured":"Zhong H, Wonham WM (1990) On the consistency of hierarchical supervision in discrete-event systems. IEEE Trans Automat Contr 35(10):1125\u20131134. https:\/\/doi.org\/10.1109\/9.58555","journal-title":"IEEE Trans Automat Contr"},{"issue":"3","key":"408_CR26","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1109\/TAC.2009.2039237","volume":"55","author":"K Cai","year":"2010","unstructured":"Cai K, Wonham WM (2010) Supervisor localization: A top-down approach to distributed control of discrete-event systems. IEEE Trans Automat Contr 55(3):605\u2013618. https:\/\/doi.org\/10.1109\/TAC.2009.2039237","journal-title":"IEEE Trans Automat Contr"},{"key":"408_CR27","doi-asserted-by":"publisher","unstructured":"Fabian M, Lennartson B (1996) On non-deterministic supervisory control. In: Proc. 35th Conference on Decision and Control (CDC), vol 2, pp 2213\u20132218. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC.1996.572970","DOI":"10.1109\/CDC.1996.572970"},{"issue":"8","key":"408_CR28","doi-asserted-by":"publisher","first-page":"1160","DOI":"10.1109\/9.533677","volume":"41","author":"R Kumar","year":"1996","unstructured":"Kumar R, Shayman MA (1996) Nonblocking supervisory control of nondeterministic systems via prioritized synchronization. IEEE Trans Automat Contr 41(8):1160\u20131175. https:\/\/doi.org\/10.1109\/9.533677","journal-title":"IEEE Trans Automat Contr"},{"issue":"3","key":"408_CR29","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1109\/9.402","volume":"33","author":"R Cieslak","year":"1988","unstructured":"Cieslak R, Deslaux C, Fawaz AS, Varaiya P (1988) Supervisory control of discrete-event processes with partial observations. IEEE Trans Autom Contr 33(3):249\u2013260. https:\/\/doi.org\/10.1109\/9.402","journal-title":"IEEE Trans Autom Contr"},{"issue":"4","key":"408_CR30","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1109\/TAC.2010.2067250","volume":"56","author":"K Schmidt","year":"2011","unstructured":"Schmidt K, Breindl C (2011) Maximally permissive hierarchical control of decentralized discrete event systems. IEEE Trans Autom Contr 56(4):723\u2013737. https:\/\/doi.org\/10.1109\/TAC.2010.2067250","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR31","doi-asserted-by":"publisher","unstructured":"\u00c5kesson K, Flordal H, Fabian M (2002) Exploiting modularity for synthesis and verification of supervisors. In: Proc. 15th IFAC World Congress. IFAC Proceedings Volumes, vol 35, pp 175\u2013180. Elsevier, Amsterdam. https:\/\/doi.org\/10.3182\/20020721-6-ES-1901.00517","DOI":"10.3182\/20020721-6-ES-1901.00517"},{"key":"408_CR32","doi-asserted-by":"publisher","unstructured":"Mohajerani S, Malik R, Fabian M (2017) Compositional synthesis of supervisors in the form of state machines and state maps. Autom 76:277\u2013281. https:\/\/doi.org\/10.1016\/j.automatica.2016.10.012","DOI":"10.1016\/j.automatica.2016.10.012"},{"key":"408_CR33","doi-asserted-by":"publisher","unstructured":"Komenda J, Lin F, van Schuppen JH (2019) A unifying approach to maximal permissiveness in modular control of discrete-event systems. In: Proc. 58th Conference on Decision and Control (CDC), pp 2009\u20132014. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC40024.2019.9028856","DOI":"10.1109\/CDC40024.2019.9028856"},{"key":"408_CR34","doi-asserted-by":"publisher","unstructured":"Qamsane Y, Tajer A, Philippot A (2017) A synthesis approach to distributed supervisory control design for manufacturing systems with Grafcet implementation. Int J Prod Res 55(15):4283\u20134303. https:\/\/doi.org\/10.1080\/00207543.2016.1235804","DOI":"10.1080\/00207543.2016.1235804"},{"key":"408_CR35","doi-asserted-by":"publisher","unstructured":"Komenda J, Masopust T, van Schuppen JH (2013) Multilevel coordination control of modular DES. In: Proc. 52nd Conference on Decision and Control (CDC), pp 6323\u20136328. IEEE, Piscataway, NJ . https:\/\/doi.org\/10.1109\/CDC.2013.6760889","DOI":"10.1109\/CDC.2013.6760889"},{"key":"408_CR36","doi-asserted-by":"publisher","unstructured":"Komenda J, Masopust T, van Schuppen JH (2016) Distributed computation of maximally permissive supervisors in three-level relaxed coordination control of discrete-event systems. In: Proc. 55th Conference on Decision and Control (CDC), pp 441\u2013446. IEEE, Piscataway, NJ . https:\/\/doi.org\/10.1109\/CDC.2016.7798308","DOI":"10.1109\/CDC.2016.7798308"},{"key":"408_CR37","doi-asserted-by":"publisher","unstructured":"Komenda J, Masopust T, van Schuppen JH (206) Control of an engineering-structured multilevel discrete-event system. In: Proc. 13th Workshop on Discrete Event Systems (WODES), pp 103\u2013108. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/WODES.2016.7497833","DOI":"10.1109\/WODES.2016.7497833"},{"key":"408_CR38","doi-asserted-by":"publisher","unstructured":"Komenda J, Masopust T, van Schuppen JH (2020) Maximal permissiveness of modular supervisory control via multilevel structuring. In: Proc. 21st IFAC World Congress. IFAC-PapersOnline, vol 53, pp 2116\u20132121. Elsevier, Amsterdam . https:\/\/doi.org\/10.1016\/j.ifacol.2020.12.2533","DOI":"10.1016\/j.ifacol.2020.12.2533"},{"issue":"4","key":"408_CR39","doi-asserted-by":"publisher","first-page":"1625","DOI":"10.1109\/TAC.2019.2928119","volume":"65","author":"MA Goorden","year":"2020","unstructured":"Goorden MA, van de Mortel-Fronczak JM, Reniers MA, Fokkink WJ, Rooda JE (2020) Structuring multilevel discrete-event systems with dependence structure matrices. IEEE Trans Autom Contr 65(4):1625\u20131639. https:\/\/doi.org\/10.1109\/TAC.2019.2928119","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR40","doi-asserted-by":"publisher","unstructured":"Wilschut T, Etman LFP, Rooda JE, Adan IJBF (2017) Multilevel flow-based Markov clustering for design structure matrices. J Mech Des 139(12):121402. https:\/\/doi.org\/10.1115\/1.4037626","DOI":"10.1115\/1.4037626"},{"key":"408_CR41","doi-asserted-by":"publisher","unstructured":"Reijnen FFH, Goorden MA, van de Mortel-Fronczak JM, Reniers MA, Rooda JE (2018) Application of dependency structure matrices and multilevel synthesis to a production line. In: Proc. Conference on Control Technology and Applications (CCTA), pp 458\u2013464. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CCTA.2018.8511449","DOI":"10.1109\/CCTA.2018.8511449"},{"key":"408_CR42","doi-asserted-by":"publisher","unstructured":"Goorden MA, van de Mortel-Fronczak JM, Reniers MA, Fokkink WJ, Rooda JE (2019) The impact of requirement splitting on the efficiency of supervisory control synthesis. In: Proc. 24th Conference on Formal Methods for Industrial Critical Systems (FMICS). Lecture Notes in Computer Science, vol 11687, pp 76\u201392. Springer, Cham . https:\/\/doi.org\/10.1007\/978-3-030-27008-7_5","DOI":"10.1007\/978-3-030-27008-7_5"},{"key":"408_CR43","doi-asserted-by":"publisher","unstructured":"Goorden MA, Dingemans C, Reniers MA, van de Mortel-Fronczak JM, Fokkink WJ, Rooda JE (2019) Supervisory control of multilevel discrete-event systems with a bus structure. In: Proc. 17th European Control Conference (ECC), pp 3204\u20133211. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.23919\/ECC.2019.8795835","DOI":"10.23919\/ECC.2019.8795835"},{"key":"408_CR44","doi-asserted-by":"publisher","unstructured":"Reijnen FFH, Goorden MA, van de Mortel-Fronczak JM, Rooda JE (2017) Supervisory control synthesis for a waterway lock. In: Proc. 1st Conference on Control Technology and Applications (CCTA), pp 1562\u20131563. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CCTA.2017.8062679","DOI":"10.1109\/CCTA.2017.8062679"},{"key":"408_CR45","doi-asserted-by":"publisher","unstructured":"Goorden MA, van de Mortel-Fronczak JM, Reniers MA, Fokkink WJ, Rooda JE (2020) Modeling guidelines for component-based supervisory control synthesis. In: Proc. 16th Conference on Formal Aspects of Component Software (FACS), pp 3\u201324. Springer, Cham . https:\/\/doi.org\/10.1007\/978-3-030-40914-2_1","DOI":"10.1007\/978-3-030-40914-2_1"},{"issue":"2","key":"408_CR46","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1109\/TAC.2017.2726582","volume":"63","author":"T Masopust","year":"2018","unstructured":"Masopust T (2018) Complexity of verifying nonblockingness in modular supervisory control. IEEE Trans Automat Contr 63(2):602\u2013607. https:\/\/doi.org\/10.1109\/TAC.2017.2726582","journal-title":"IEEE Trans Automat Contr"},{"issue":"1","key":"408_CR47","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10626-015-0217-y","volume":"26","author":"S Mohajerani","year":"2016","unstructured":"Mohajerani S, Malik R, Fabian M (2016) A framework for compositional nonblocking verification of extended finite-state machines. Discret Event Dyn Syst 26(1):33\u201384. https:\/\/doi.org\/10.1007\/s10626-015-0217-y","journal-title":"Discret Event Dyn Syst"},{"issue":"1","key":"408_CR48","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/TAC.2013.2283109","volume":"59","author":"S Mohajerani","year":"2014","unstructured":"Mohajerani S, Malik R, Fabian M (2014) A framework for compositional synthesis of modular nonblocking supervisors. IEEE Trans Autom Contr 59(1):150\u2013162. https:\/\/doi.org\/10.1109\/TAC.2013.2283109","journal-title":"IEEE Trans Autom Contr"},{"issue":"3","key":"408_CR49","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s10626-020-00334-w","volume":"31","author":"MA Goorden","year":"2021","unstructured":"Goorden MA, Fabian M, van de Mortel-Fronczak JM, Reniers MA, Fokkink WJ, Rooda JE (2021) Compositional coordinator synthesis of extended finite automata. Discret Event Dyn Syst 31(3):317\u2013348. https:\/\/doi.org\/10.1007\/s10626-020-00334-w","journal-title":"Discret Event Dyn Syst"},{"key":"408_CR50","doi-asserted-by":"publisher","unstructured":"Goorden MA, Fabian M (2019) No synthesis needed, we are alright already. In: Proc. 15th Conference on Automation Science and Engineering (CASE), pp 195\u2013202. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/COASE.2019.8843071","DOI":"10.1109\/COASE.2019.8843071"},{"key":"408_CR51","doi-asserted-by":"publisher","unstructured":"Goorden MA, van de Mortel-Fronczak JM, Reniers MA, Fokkink WJ, Rooda JE (2021) Model properties for efficient synthesis of nonblocking modular supervisors. Control Eng Pract 112:104830. https:\/\/doi.org\/10.1016\/j.conengprac.2021.104830","DOI":"10.1016\/j.conengprac.2021.104830"},{"key":"408_CR52","doi-asserted-by":"publisher","unstructured":"Loose R, van der Sanden LJ, Reniers MA, Schiffelers RRH (2018) Component-wise supervisory controller synthesis in a client\/server architecture. In: Proc. 14th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnline, vol 51, pp 381\u2013387. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2018.06.329","DOI":"10.1016\/j.ifacol.2018.06.329"},{"key":"408_CR53","doi-asserted-by":"publisher","unstructured":"Rosa M, Cury JER, Baldissera FL (2022) A formal modular synthesis approach for the coordination of multi-agent systems. In: Proc. 16th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnline, vol 55, pp 150\u2013157. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2022.10.337","DOI":"10.1016\/j.ifacol.2022.10.337"},{"key":"408_CR54","doi-asserted-by":"publisher","unstructured":"Bouzon G, de Queiroz MH, Cury JER (2008) Supervisory control of DES with distinguishing sensors. In: Proc. 9th Workshop on Discrete Event Systems (WODES), pp 390\u2013391. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/WODES.2008.4605917","DOI":"10.1109\/WODES.2008.4605917"},{"key":"408_CR55","doi-asserted-by":"publisher","unstructured":"Cury JER, de Queiroz MH, Bouzon G, Teixeira M (2015) Supervisory control of discrete event systems with distinguishers. Autom 56:93\u2013104 . https:\/\/doi.org\/10.1016\/j.automatica.2015.03.025","DOI":"10.1016\/j.automatica.2015.03.025"},{"issue":"3","key":"408_CR56","doi-asserted-by":"publisher","first-page":"1431","DOI":"10.1109\/TASE.2018.2793963","volume":"15","author":"M Teixeira","year":"2018","unstructured":"Teixeira M, Cury JER, de Queiroz MH (2018) Exploiting distinguishers in local modular control of discrete-event systems. IEEE Trans Autom Sci Eng 15(3):1431\u20131437. https:\/\/doi.org\/10.1109\/TASE.2018.2793963","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"408_CR57","doi-asserted-by":"publisher","unstructured":"Rosa M, Teixeira M, Malik R (2018) Exploiting approximations in supervisory control with distinguishers. In: Proc. 14th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnline, vol 51, pp 13\u201318. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2018.06.272","DOI":"10.1016\/j.ifacol.2018.06.272"},{"issue":"4","key":"408_CR58","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1007\/s10626-021-00345-1","volume":"31","author":"R Malik","year":"2021","unstructured":"Malik R, Teixeira M (2021) Optimal modular control of discrete event systems with distinguishers and approximations. Discret Event Dyn Syst 31(4):659\u2013691. https:\/\/doi.org\/10.1007\/s10626-021-00345-1","journal-title":"Discret Event Dyn Syst"},{"key":"408_CR59","doi-asserted-by":"publisher","unstructured":"Malik R, Teixeira M (2020) Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction. Discret Event Dyn Syst 30(2):211\u2013241. https:\/\/doi.org\/10.1007\/s10626-019-00302-z","DOI":"10.1007\/s10626-019-00302-z"},{"issue":"8","key":"408_CR60","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"RE Bryant","year":"1986","unstructured":"Bryant RE (1986) Graph-based algorithms for Boolean function manipulation. IEEE Trans Comput 35(8):677\u2013691. https:\/\/doi.org\/10.1109\/TC.1986.1676819","journal-title":"IEEE Trans Comput"},{"key":"408_CR61","doi-asserted-by":"publisher","unstructured":"Hoffmann G, Wong-Toi H (1992) Symbolic synthesis of supervisory controllers. In: Proc. 11th American Control Conference (ACC), pp 2789\u20132793. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.23919\/ACC.1992.4792651","DOI":"10.23919\/ACC.1992.4792651"},{"key":"408_CR62","doi-asserted-by":"publisher","unstructured":"Thuijsman SB, Hendriks D, Theunissen RJM, Reniers MA, Schiffelers RRH (2019) Computational effort of BDD-based supervisor synthesis of extended finite automata. In: Proc. 15th Conference on Automation Science and Engineering (CASE), pp 486\u2013493. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/COASE.2019.8843327","DOI":"10.1109\/COASE.2019.8843327"},{"issue":"10","key":"408_CR63","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.1016\/j.conengprac.2006.02.013","volume":"14","author":"A Vahidi","year":"2006","unstructured":"Vahidi A, Fabian M, Lennartson B (2006) Efficient supervisory synthesis of large systems. Control Eng Pract 14(10):1157\u20131167. https:\/\/doi.org\/10.1016\/j.conengprac.2006.02.013","journal-title":"Control Eng Pract"},{"key":"408_CR64","doi-asserted-by":"publisher","unstructured":"Lousberg S, Thuijsman SB, Reniers MA (2020) DSM-based variable ordering heuristic for reduced computational effort of symbolic supervisor synthesis. In: Proc. 15th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnline, vol 53, pp 429\u2013436. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.058","DOI":"10.1016\/j.ifacol.2021.04.058"},{"key":"408_CR65","doi-asserted-by":"publisher","unstructured":"Thuijsman SB, Reniers MA, Hendriks D (2021) Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis. In: Proc. 17th Conference on Automation Science and Engineering (CASE), pp 777\u2013783. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CASE49439.2021.9551593","DOI":"10.1109\/CASE49439.2021.9551593"},{"issue":"5","key":"408_CR66","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1109\/TAC.2006.875030","volume":"51","author":"C Ma","year":"2006","unstructured":"Ma C, Wonham WM (2006) Nonblocking supervisory control of state tree structures. IEEE Trans Autom Contr 51(5):782\u2013793. https:\/\/doi.org\/10.1109\/TAC.2006.875030","journal-title":"IEEE Trans Autom Contr"},{"issue":"6","key":"408_CR67","doi-asserted-by":"publisher","first-page":"3744","DOI":"10.1109\/TII.2019.2939628","volume":"16","author":"D Wang","year":"2020","unstructured":"Wang D, Wang X, Li Z (2020) Nonblocking supervisory control of state-tree structures with conditional-preemption matrices. IEEE Trans Industr Inform 16(6):3744\u20133756. https:\/\/doi.org\/10.1109\/TII.2019.2939628","journal-title":"IEEE Trans Industr Inform"},{"issue":"16","key":"408_CR68","doi-asserted-by":"publisher","first-page":"8777","DOI":"10.1016\/j.jfranklin.2022.07.040","volume":"359","author":"D Wang","year":"2022","unstructured":"Wang D, Wang X, Yang J, Li Z (2022) Nonblocking supervisory control of state-tree structures with event forcing. J Franklin Inst 359(16):8777\u20138801. https:\/\/doi.org\/10.1016\/j.jfranklin.2022.07.040","journal-title":"J Franklin Inst"},{"key":"408_CR69","doi-asserted-by":"publisher","unstructured":"Godefroid P (1990) Using partial orders to improve automatic verification methods. In: Proc. 2nd Workshop on Computer Aided Verification (CAV). Lecture Notes in Computer Science, vol 531, pp 176\u2013185. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/BFb0023731","DOI":"10.1007\/BFb0023731"},{"issue":"2","key":"408_CR70","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/TAC.2021.3129161","volume":"67","author":"LJ van der Sanden","year":"2022","unstructured":"van der Sanden LJ, Geilen MCW, Reniers MA, Basten AA (2022) Partial-order reduction for supervisory controller synthesis. IEEE Trans Autom Contr 67(2):870\u2013885. https:\/\/doi.org\/10.1109\/TAC.2021.3129161","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR71","doi-asserted-by":"publisher","unstructured":"Nooruldeen A, Schmidt KW (2020) Order-preserving languages for the supervisory control of automated manufacturing systems. IEEE Access 8, 131901\u2013131919. https:\/\/doi.org\/10.1109\/ACCESS.2020.3010030","DOI":"10.1109\/ACCESS.2020.3010030"},{"key":"408_CR72","doi-asserted-by":"publisher","unstructured":"Chao W, Gan Y, Wonham WM, Wang Z (2013) Nonblocking supervisory control of flexible manufacturing systems based on state tree structures. In: Formal Methods in Manufacturing Systems: Recent Advances, pp 1\u201319. IGI Global, Hershey, PA . https:\/\/doi.org\/10.4018\/978-1-4666-4034-4.ch001","DOI":"10.4018\/978-1-4666-4034-4.ch001"},{"key":"408_CR73","doi-asserted-by":"publisher","unstructured":"Zhang H, Feng L, Xie W, Yu F (2020) An approach for supervisor reduction of discrete-event systems. In: Proc. 14th Conference on Verification and Evaluation of Computer and Communication Systems (VECoS). Lecture Notes in Computer Science, vol 12519, pp 3\u201314. Springer, Cham . https:\/\/doi.org\/10.1007\/978-3-030-65955-4_1","DOI":"10.1007\/978-3-030-65955-4_1"},{"issue":"1","key":"408_CR74","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1023\/B:DISC.0000005009.40749.b6","volume":"14","author":"R Su","year":"2004","unstructured":"Su R, Wonham WM (2004) Supervisor reduction for discrete-event systems. Discret Event Dyn Syst 14(1):31\u201353. https:\/\/doi.org\/10.1023\/B:DISC.0000005009.40749.b6","journal-title":"Discret Event Dyn Syst"},{"issue":"2","key":"408_CR75","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s10626-021-00354-0","volume":"32","author":"SB Thuijsman","year":"2022","unstructured":"Thuijsman SB, Reniers MA (2022) Transformational supervisor synthesis for evolving systems. Discret Event Dyn Syst 32(2):317\u2013358. https:\/\/doi.org\/10.1007\/s10626-021-00354-0","journal-title":"Discret Event Dyn Syst"},{"issue":"9","key":"408_CR76","doi-asserted-by":"publisher","first-page":"1500","DOI":"10.1109\/9.948486","volume":"46","author":"JM Eyzell","year":"2001","unstructured":"Eyzell JM, Cury JER (2001) Exploiting symmetry in the synthesis of supervisors for discrete event systems. IEEE Trans Autom Contr 46(9):1500\u20131505. https:\/\/doi.org\/10.1109\/9.948486","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR77","doi-asserted-by":"publisher","unstructured":"Jiao T, Gan Y, Xiao G, Wonham WM (2017) Exploiting symmetry of state tree structures for discrete-event systems with parallel components. Int J Control 90(8):1639\u20131651. https:\/\/doi.org\/10.1080\/00207179.2016.1216607","DOI":"10.1080\/00207179.2016.1216607"},{"issue":"6","key":"408_CR78","doi-asserted-by":"publisher","first-page":"2056","DOI":"10.1109\/TSMC.2018.2795011","volume":"50","author":"T Jiao","year":"2020","unstructured":"Jiao T, Gan Y, Xiao G, Wonham WM (2020) Exploiting symmetry of discrete-event systems by relabeling and reconfiguration. IEEE Trans Syst Man Cybern Syst 50(6):2056\u20132067. https:\/\/doi.org\/10.1109\/TSMC.2018.2795011","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"408_CR79","doi-asserted-by":"publisher","unstructured":"Jiao T, Wonham WM (2020) Composite supervisory control for symmetric discrete-event systems. Int J Control 93(7):1630\u20131636 https:\/\/doi.org\/10.1080\/00207179.2018.1523566","DOI":"10.1080\/00207179.2018.1523566"},{"key":"408_CR80","doi-asserted-by":"publisher","unstructured":"Liu Y, Cai K, Li Z (2019) On scalable supervisory control of multi-agent discrete-event systems. Autom 108 https:\/\/doi.org\/10.1016\/j.automatica.2019.06.012","DOI":"10.1016\/j.automatica.2019.06.012"},{"key":"408_CR81","doi-asserted-by":"publisher","unstructured":"Liu Y, Komenda J, Masopust T, Li Z (2022) Modular control of discrete-event systems using similarity. Autom 142:110431. https:\/\/doi.org\/10.1016\/j.automatica.2022.110431","DOI":"10.1016\/j.automatica.2022.110431"},{"issue":"2","key":"408_CR82","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1137\/040610209","volume":"45","author":"K Rohloff","year":"2006","unstructured":"Rohloff K, Lafortune S (2006) The verification and control of interacting similar discrete-event systems. SIAM J Control Optim 45(2):634\u2013667. https:\/\/doi.org\/10.1137\/040610209","journal-title":"SIAM J Control Optim"},{"key":"408_CR83","doi-asserted-by":"publisher","unstructured":"Moormann L, Goorden MA, van de Mortel-Fronczak JM, Fokkink WJ, Maessen P, Rooda JE (2020) Efficient validation of supervisory controllers using symmetry reduction. In: Proc. 15th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnline, vol 53, pp 288\u2013295. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.074","DOI":"10.1016\/j.ifacol.2021.04.074"},{"key":"408_CR84","doi-asserted-by":"publisher","unstructured":"Moormann L, van de Mortel-Fronczak JM, Fokkink WJ, Maessen P, Rooda JE (2021) Supervisory control synthesis for large-scale systems with isomorphisms. Control Eng Pract 115:104902 . https:\/\/doi.org\/10.1016\/j.conengprac.2021.104902","DOI":"10.1016\/j.conengprac.2021.104902"},{"key":"408_CR85","doi-asserted-by":"publisher","unstructured":"Wang D, Lin L, Li Z, Wonham WM (2018) State-based control of discrete-event systems under partial observation. IEEE Access 6:42084\u201342093 https:\/\/doi.org\/10.1109\/ACCESS.2018.2859798","DOI":"10.1109\/ACCESS.2018.2859798"},{"key":"408_CR86","doi-asserted-by":"publisher","unstructured":"Su R, Wonham WM (2018) What information really matters in supervisor reduction? Autom 95:368\u2013377. https:\/\/doi.org\/10.1016\/j.automatica.2018.06.004","DOI":"10.1016\/j.automatica.2018.06.004"},{"key":"408_CR87","doi-asserted-by":"publisher","unstructured":"Gu C, Wang X, Li Z, Wu N (2018) Supervisory control of state-tree structures with partial observation. Inf Sci 465:523\u2013544. https:\/\/doi.org\/10.1016\/j.ins.2018.07.025","DOI":"10.1016\/j.ins.2018.07.025"},{"issue":"2","key":"408_CR88","doi-asserted-by":"publisher","first-page":"984","DOI":"10.1109\/TASE.2018.2880178","volume":"16","author":"C Gu","year":"2019","unstructured":"Gu C, Wang X, Li Z (2019) Synthesis of supervisory control with partial observation on normal state-tree structures. IEEE Trans Autom Sci Eng 16(2):984\u2013997. https:\/\/doi.org\/10.1109\/TASE.2018.2880178","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"8","key":"408_CR89","doi-asserted-by":"publisher","first-page":"3914","DOI":"10.1109\/TAC.2016.2644867","volume":"62","author":"X Yin","year":"2017","unstructured":"Yin X, Lafortune S (2017) Synthesis of maximally-permissive supervisors for the range control problem. IEEE Trans Autom Contr 62(8):3914\u20133929. https:\/\/doi.org\/10.1109\/TAC.2016.2644867","journal-title":"IEEE Trans Autom Contr"},{"issue":"12","key":"408_CR90","doi-asserted-by":"publisher","first-page":"4435","DOI":"10.1109\/TAC.2018.2828098","volume":"63","author":"X Yin","year":"2018","unstructured":"Yin X, Lafortune S (2018) Synthesis of maximally permissive nonblocking supervisors for the lower bound containment problem. IEEE Trans Automat Contr 63(12):4435\u20134441. https:\/\/doi.org\/10.1109\/TAC.2018.2828098","journal-title":"IEEE Trans Automat Contr"},{"key":"408_CR91","doi-asserted-by":"publisher","unstructured":"Zhang R, Cai K, Wonham WM (2017) Supervisor localization of discrete-event systems under partial observation. Autom 81:142\u2013147. https:\/\/doi.org\/10.1016\/j.automatica.2017.03.018","DOI":"10.1016\/j.automatica.2017.03.018"},{"key":"408_CR92","doi-asserted-by":"publisher","unstructured":"Zhang R, Cai K (2020) Supervisor localisation for large-scale discrete-event systems under partial observation. Int J Control 93(3):387\u2013399. https:\/\/doi.org\/10.1080\/00207179.2018.1471220","DOI":"10.1080\/00207179.2018.1471220"},{"key":"408_CR93","doi-asserted-by":"publisher","unstructured":"Liu Y, Komenda J, Li Z (2022) Supervisory control of multiagent discrete-event systems with partial observation. IEEE Control Syst Lett 6:1867\u20131872. https:\/\/doi.org\/10.1109\/LCSYS.2021.3134368","DOI":"10.1109\/LCSYS.2021.3134368"},{"key":"408_CR94","doi-asserted-by":"publisher","unstructured":"Zhou L, Shu S, Lin F (2019) Supervisory control of discrete event systems under nondeterministic observations. In: Proc. 17th European Control Conference (ECC), pp 4192\u20134197. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.23919\/ECC.2019.8796204","DOI":"10.23919\/ECC.2019.8796204"},{"key":"408_CR95","doi-asserted-by":"publisher","unstructured":"Alves MVS, Carrilho da Cunha AE, Carvalho LK, Moreira MV, Basilio JC (2021) Robust supervisory control of discrete event systems against intermittent loss of observations. Int J Control 94(7):2008\u20132020. https:\/\/doi.org\/10.1080\/00207179.2019.1690691","DOI":"10.1080\/00207179.2019.1690691"},{"issue":"12","key":"408_CR96","doi-asserted-by":"publisher","first-page":"5051","DOI":"10.1109\/TAC.2019.2905305","volume":"64","author":"W Deng","year":"2019","unstructured":"Deng W, Yang J, Qiu D (2019) Supervisory control of probabilistic discrete event systems under partial observation. IEEE Trans Autom Contr 64(12):5051\u20135065. https:\/\/doi.org\/10.1109\/TAC.2019.2905305","journal-title":"IEEE Trans Autom Contr"},{"issue":"2","key":"408_CR97","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1109\/TETCI.2021.3086036","volume":"6","author":"F Lin","year":"2022","unstructured":"Lin F, Ying H (2022) Modeling and control of probabilistic fuzzy discrete event systems. IEEE Trans Emerg Top Comput Intell 6(2):399\u2013408. https:\/\/doi.org\/10.1109\/TETCI.2021.3086036","journal-title":"IEEE Trans Emerg Top Comput Intell"},{"key":"408_CR98","doi-asserted-by":"publisher","unstructured":"Mo\u010dko\u0159 J (2019) Monads and a common framework for fuzzy type automata. Int J Gen Syst 48(4):406\u2013442. https:\/\/doi.org\/10.1080\/03081079.2019.1585431","DOI":"10.1080\/03081079.2019.1585431"},{"key":"408_CR99","doi-asserted-by":"publisher","unstructured":"Lin C, Qiu D (2020) Notes on supervisory control of fuzzy discrete event systems. In: Intelligent Computing Methodologies. Lecture Notes in Computer Science, pp 341\u2013352. Springer, Cham . https:\/\/doi.org\/10.1007\/978-3-030-60796-8_29","DOI":"10.1007\/978-3-030-60796-8_29"},{"key":"408_CR100","doi-asserted-by":"publisher","unstructured":"Singh S, Tiwari SP (2021) Fuzzy partitioned discrete-event system and its supervisory control. Int J Gen Syst 50(3):339\u2013365. https:\/\/doi.org\/10.1080\/03081079.2021.1872560","DOI":"10.1080\/03081079.2021.1872560"},{"issue":"2","key":"408_CR101","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1080\/00207178608933613","volume":"44","author":"AF Vaz","year":"1986","unstructured":"Vaz AF, Wonham WM (1986) On supervisor reduction in discrete-event systems. Int J Control 44(2):475\u2013491. https:\/\/doi.org\/10.1080\/00207178608933613","journal-title":"Int J Control"},{"issue":"3","key":"408_CR102","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1109\/TAC.2014.2341891","volume":"60","author":"K Cai","year":"2015","unstructured":"Cai K, Zhang R, Wonham WM (2015) Relative observability of discrete-event systems and its supremal sublanguages. IEEE Trans Automat Contr 60(3):659\u2013670. https:\/\/doi.org\/10.1109\/TAC.2014.2341891","journal-title":"IEEE Trans Automat Contr"},{"issue":"6","key":"408_CR103","doi-asserted-by":"publisher","first-page":"1449","DOI":"10.1109\/TAC.2008.927679","volume":"53","author":"L Feng","year":"2008","unstructured":"Feng L, Wonham WM (2008) Supervisory control architecture for discrete-event systems. IEEE Trans Autom Contr 53(6):1449\u20131461. https:\/\/doi.org\/10.1109\/TAC.2008.927679","journal-title":"IEEE Trans Autom Contr"},{"issue":"2","key":"408_CR104","doi-asserted-by":"publisher","first-page":"1276","DOI":"10.1137\/130914942","volume":"52","author":"F Lin","year":"2014","unstructured":"Lin F (2014) Control of networked discrete event systems: Dealing with communication delays and losses. SIAM J Control Optim 52(2):1276\u20131298. https:\/\/doi.org\/10.1137\/130914942","journal-title":"SIAM J Control Optim"},{"issue":"8","key":"408_CR105","doi-asserted-by":"publisher","first-page":"2013","DOI":"10.1109\/TAC.2009.2024376","volume":"54","author":"V Pantelic","year":"2009","unstructured":"Pantelic V, Postma SM, Lawford M (2009) Probabilistic supervisory control of probabilistic discrete event systems. IEEE Trans Autom Control 54(8):2013\u20132018. https:\/\/doi.org\/10.1109\/TAC.2009.2024376","journal-title":"IEEE Trans Autom Control"},{"issue":"5","key":"408_CR106","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/0167-6911(90)90059-4","volume":"15","author":"K Rudie","year":"1990","unstructured":"Rudie K, Wonham WM (1990) The infimal prefix-closed and observable superlanguange of a given language. Syst Control Lett 15(5):361\u2013371. https:\/\/doi.org\/10.1016\/0167-6911(90)90059-4","journal-title":"Syst Control Lett"},{"issue":"4","key":"408_CR107","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1109\/TSMCB.2002.1018761","volume":"32","author":"F Lin","year":"2002","unstructured":"Lin F, Ying H (2002) Modeling and control of fuzzy discrete event systems. IEEE Trans Syst Man Cybern Syst 32(4):408\u2013415. https:\/\/doi.org\/10.1109\/TSMCB.2002.1018761","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"408_CR108","doi-asserted-by":"publisher","unstructured":"Cai K, Zhang R, Wonham WM (2019) Relative coobservability for decentralised supervisory control of discrete-event systems. Int J Control 92(7):1481\u20131489. https:\/\/doi.org\/10.1080\/00207179.2017.1397754","DOI":"10.1080\/00207179.2017.1397754"},{"issue":"3","key":"408_CR109","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/s10626-022-00363-7","volume":"32","author":"K Ritsuka","year":"2022","unstructured":"Ritsuka K, Rudie K (2022) Epistemic interpretations of decentralized discrete-event system problems. Discret Event Dyn Syst 32(3):359\u2013398. https:\/\/doi.org\/10.1007\/s10626-022-00363-7","journal-title":"Discret Event Dyn Syst"},{"key":"408_CR110","doi-asserted-by":"publisher","unstructured":"Khoumsi A (2017) Decentralized supervisory control of discrete event systems without loss of information. In: Proc. 4th Conference on Control, Decision and Information Technologies (CoDIT), pp 0510\u20130515. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CoDIT.2017.8102644","DOI":"10.1109\/CoDIT.2017.8102644"},{"issue":"12","key":"408_CR111","doi-asserted-by":"publisher","first-page":"4278","DOI":"10.1109\/TAC.2018.2811785","volume":"63","author":"A Khoumsi","year":"2018","unstructured":"Khoumsi A, Chakib H (2018) Decentralized supervisory control of discrete event systems: An arborescent architecture to realize inference-based control. IEEE Trans Autom Contr 63(12):4278\u20134285. https:\/\/doi.org\/10.1109\/TAC.2018.2811785","journal-title":"IEEE Trans Autom Contr"},{"issue":"12","key":"408_CR112","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 Contr 66(12):6171\u20136178. https:\/\/doi.org\/10.1109\/TAC.2021.3061673","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR113","doi-asserted-by":"publisher","unstructured":"Hayano A, Takai S (2022) A general intersection-based architecture for decentralized supervisory control of discrete event systems. In: Proc. 61st Conference on Decision and Control (CDC), pp 4244\u20134249. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC51059.2022.9992835","DOI":"10.1109\/CDC51059.2022.9992835"},{"key":"408_CR114","doi-asserted-by":"publisher","unstructured":"Park S-J, Cho K-H (2020) Achieving a global objective with competing networked agents in the framework of discrete event systems. Int J Control 93(4):889\u2013897. https:\/\/doi.org\/10.1080\/00207179.2018.1521007","DOI":"10.1080\/00207179.2018.1521007"},{"key":"408_CR115","doi-asserted-by":"publisher","unstructured":"Park S-J, Yang J-M (2020) How selfish individuals achieve unselfish goals: majority-based progressive control of discrete event systems. Int J Control 93(9):2168\u20132176. https:\/\/doi.org\/10.1080\/00207179.2018.1550267","DOI":"10.1080\/00207179.2018.1550267"},{"issue":"11","key":"408_CR116","doi-asserted-by":"publisher","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K Rudie","year":"1992","unstructured":"Rudie K, Wonham WM (1992) Think globally, act locally: Decentralized supervisory control. IEEE Trans Automat Contr 37(11):1692\u20131708. https:\/\/doi.org\/10.1109\/9.173140","journal-title":"IEEE Trans Automat Contr"},{"issue":"3","key":"408_CR117","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"JY Halpern","year":"1990","unstructured":"Halpern JY, Moses Y (1990) Knowledge and common knowledge in a distributed environment. J ACM 37(3):549\u2013587. https:\/\/doi.org\/10.1145\/79147.79161","journal-title":"J ACM"},{"issue":"11","key":"408_CR118","doi-asserted-by":"publisher","first-page":"3644","DOI":"10.1109\/TAC.2016.2523424","volume":"61","author":"X Yin","year":"2016","unstructured":"Yin X, Lafortune S (2016) Decentralized supervisory control with intersection-based architecture. IEEE Trans Automat Contr 61(11):3644\u20133650. https:\/\/doi.org\/10.1109\/TAC.2016.2523424","journal-title":"IEEE Trans Automat Contr"},{"key":"408_CR119","doi-asserted-by":"publisher","unstructured":"Tahiri I, Philippot A, Carre-Menetrier V, Tajer A (2019) Time-based estimator for control reconfiguration of discrete event systems (DES). In: Proc. 6th Conference on Control, Decision and Information Technologies (CoDIT), pp 1084\u20131089. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CoDIT.2019.8820585","DOI":"10.1109\/CoDIT.2019.8820585"},{"issue":"2","key":"408_CR120","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1109\/TAC.2016.2560536","volume":"62","author":"S Reveliotis","year":"2017","unstructured":"Reveliotis S, Fei Z (2017) Invariant-based supervisory control of switched discrete event systems. IEEE Trans Autom Contr 62(2):921\u2013927. https:\/\/doi.org\/10.1109\/TAC.2016.2560536","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR121","doi-asserted-by":"publisher","unstructured":"Reijnen FFH, Reniers MA, van de Mortel-Fronczak JM, Rooda JE (2018) Structured synthesis of fault-tolerant supervisory controllers. In: Proc. 10th Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS). IFAC-PapersOnline, vol 51, pp 894\u2013901. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2018.09.681","DOI":"10.1016\/j.ifacol.2018.09.681"},{"key":"408_CR122","doi-asserted-by":"publisher","unstructured":"Paape N, van de Mortel-Fronczak JM, Reniers MA, Swartjes L (2020) Efficient failure-recovering supervisors. In: Proc. 21st IFAC World Congress. IFAC-PapersOnline, vol 53, pp 1755\u20131762. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2020.12.2311","DOI":"10.1016\/j.ifacol.2020.12.2311"},{"issue":"3","key":"408_CR123","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1109\/LCSYS.2020.2991192","volume":"4","author":"A Raman","year":"2020","unstructured":"Raman A, Sreenivas RS (2020) Fault-tolerant control of discrete-event systems with controllability failures. IEEE Control Syst Lett 4(3):674\u2013679. https:\/\/doi.org\/10.1109\/LCSYS.2020.2991192","journal-title":"IEEE Control Syst Lett"},{"key":"408_CR124","doi-asserted-by":"publisher","unstructured":"Reijnen FFH, Leliveld E-B, van de Mortel-Fronczak JM, van Dinther J, Rooda JE, Fokkink WJ (2021) Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge. Comput Ind 130:103473. https:\/\/doi.org\/10.1016\/j.compind.2021.103473","DOI":"10.1016\/j.compind.2021.103473"},{"issue":"11","key":"408_CR125","doi-asserted-by":"publisher","first-page":"7325","DOI":"10.1109\/TII.2020.3042161","volume":"17","author":"R Devaraj","year":"2021","unstructured":"Devaraj R, Sarkar A (2021) Resource-optimal fault-tolerant scheduler design for task graphs using supervisory control. IEEE Trans Industr Inform 17(11):7325\u20137337. https:\/\/doi.org\/10.1109\/TII.2020.3042161","journal-title":"IEEE Trans Industr Inform"},{"issue":"1","key":"408_CR126","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1109\/TASE.2020.3041207","volume":"19","author":"LVR Alves","year":"2022","unstructured":"Alves LVR, Pena PN (2022) Secure recovery procedure for manufacturing systems using synchronizing automata and supervisory control theory. IEEE Trans Autom Sci Eng 19(1):486\u2013496. https:\/\/doi.org\/10.1109\/TASE.2020.3041207","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"408_CR127","doi-asserted-by":"publisher","unstructured":"Wada A, Takai S (2022) Decentralized diagnosis of discrete event systems subject to permanent sensor failures. Discret Event Dyn Syst, 1\u201335. https:\/\/doi.org\/10.1007\/s10626-021-00353-1","DOI":"10.1007\/s10626-021-00353-1"},{"issue":"18","key":"408_CR128","doi-asserted-by":"publisher","first-page":"10765","DOI":"10.1016\/j.jfranklin.2022.06.034","volume":"359","author":"B Li","year":"2022","unstructured":"Li B, Zhong J, Lu J, Liu X (2022) Robustly distributed diagnosis of discrete-event systems and its application to Alipay transaction systems. J Franklin Inst 359(18):10765\u201310784. https:\/\/doi.org\/10.1016\/j.jfranklin.2022.06.034","journal-title":"J Franklin Inst"},{"key":"408_CR129","doi-asserted-by":"publisher","unstructured":"Yin X, Li S (2019) Supervisory control for delayed detectability of discrete event systems. In: Proc. 15th Conference on Automation Science and Engineering (CASE), pp 480\u2013485. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/COASE.2019.8843286","DOI":"10.1109\/COASE.2019.8843286"},{"key":"408_CR130","doi-asserted-by":"publisher","unstructured":"Attar NH, Hashtrudi-Zad S (2020) Robust nonblocking state-based supervisory control. In: Proc. Systems Conference (SysCon), pp 1\u20136. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/SysCon47679.2020.9275850","DOI":"10.1109\/SysCon47679.2020.9275850"},{"issue":"4","key":"408_CR131","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/j.automatica.2011.01.007","volume":"47","author":"A Paoli","year":"2011","unstructured":"Paoli A, Sartini M, Lafortune S (2011) Active fault tolerant control of discrete event systems using online diagnostics. Autom 47(4):639\u2013649. https:\/\/doi.org\/10.1016\/j.automatica.2011.01.007","journal-title":"Autom"},{"issue":"4","key":"408_CR132","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s10626-005-4058-y","volume":"15","author":"MH de Queiroz","year":"2005","unstructured":"de Queiroz MH, Cury JER, Wonham WM (2005) Multitasking supervisory control of discrete-event systems. Discret Event Dyn Syst 15(4):375\u2013395. https:\/\/doi.org\/10.1007\/s10626-005-4058-y","journal-title":"Discret Event Dyn Syst"},{"issue":"4","key":"408_CR133","doi-asserted-by":"publisher","first-page":"862","DOI":"10.1109\/TAC.2012.2224255","volume":"58","author":"S Shu","year":"2013","unstructured":"Shu S, Lin F (2013) Delayed detectability of discrete event systems. IEEE Trans Autom Control 58(4):862\u2013875. https:\/\/doi.org\/10.1109\/TAC.2012.2224255","journal-title":"IEEE Trans Autom Control"},{"key":"408_CR134","doi-asserted-by":"publisher","unstructured":"Swartjes L, Reniers MA, Fokkink WJ (2019) Deducing causes for the absence of states in supervised systems. In: Proc. 6th Conference on Control, Decision and Information Technologies (CoDIT), pp 144\u2013149. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CoDIT.2019.8820346","DOI":"10.1109\/CoDIT.2019.8820346"},{"key":"408_CR135","doi-asserted-by":"publisher","unstructured":"Reniers MA, Dingemans C (2022) Supervisory control with absent-state explanations for coloured finite automata. In: Proc. 16th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnline, vol 55, pp 173\u2013179. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2022.10.340","DOI":"10.1016\/j.ifacol.2022.10.340"},{"issue":"2","key":"408_CR136","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/s10626-019-00305-w","volume":"30","author":"R Malik","year":"2020","unstructured":"Malik R, Ware S (2020) On the computation of counterexamples in compositional nonblocking verification. Discret Event Dyn Syst 30(2):301\u2013334. https:\/\/doi.org\/10.1007\/s10626-019-00305-w","journal-title":"Discret Event Dyn Syst"},{"issue":"3","key":"408_CR137","doi-asserted-by":"publisher","first-page":"1914","DOI":"10.1137\/070695526","volume":"48","author":"H Flordal","year":"2009","unstructured":"Flordal H, Malik R (2009) Compositional verification in supervisory control. SIAM J Control Optim 48(3):1914\u20131938. https:\/\/doi.org\/10.1137\/070695526","journal-title":"SIAM J Control Optim"},{"key":"408_CR138","doi-asserted-by":"publisher","unstructured":"Goorden MA, Etman LFP, van de Mortel-Fronczak JM, Rooda JE (2019) DSM-based analysis for the recognition of modeling errors in supervisory controller design. In: Proc. 21st Dependency and Structure Modeling Conference (DSM), pp 121\u2013129. The Design Society, Glasgow. https:\/\/doi.org\/10.35199\/dsm2019.7","DOI":"10.35199\/dsm2019.7"},{"key":"408_CR139","doi-asserted-by":"publisher","unstructured":"Goorden MA, Reniers MA, van de Mortel-Fronczak JM (2020) Quantifying model quality for supervisory control synthesis - An experimental study. In: Proc. 15th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnline, vol 53, pp 437\u2013444. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.041","DOI":"10.1016\/j.ifacol.2021.04.041"},{"key":"408_CR140","doi-asserted-by":"publisher","unstructured":"Ritsuka K, Rudie K (2021) A visualization of inference-based supervisory control in discrete-event systems. In: Proc. 60th Conference on Decision and Control (CDC), pp 1062\u20131068. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC45484.2021.9683210","DOI":"10.1109\/CDC45484.2021.9683210"},{"issue":"10","key":"408_CR141","doi-asserted-by":"publisher","first-page":"1783","DOI":"10.1109\/TAC.2007.906158","volume":"52","author":"R Kumar","year":"2007","unstructured":"Kumar R, Takai S (2007) Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems. IEEE Trans Automat Contr 52(10):1783\u20131794. https:\/\/doi.org\/10.1109\/TAC.2007.906158","journal-title":"IEEE Trans Automat Contr"},{"key":"408_CR142","doi-asserted-by":"publisher","unstructured":"Rashidinejad A, Wetzels B, Reniers MA, Lin L, Zhu Y, Su R (2019) Supervisory control of discrete-event systems under attacks: An overview and outlook. In: Proc. 17th European Control Conference (ECC), pp 1732\u20131739. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.23919\/ECC.2019.8795849","DOI":"10.23919\/ECC.2019.8795849"},{"key":"408_CR143","doi-asserted-by":"publisher","unstructured":"Hadjicostis CN, Lafortune S, Lin F, Su R (2022) Cybersecurity and supervisory control: A tutorial on robust state estimation, attack synthesis, and resilient control. In: Proc. 61st Conference on Decision and Control (CDC), pp 3020\u20133040. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC51059.2022.9992966","DOI":"10.1109\/CDC51059.2022.9992966"},{"key":"408_CR144","doi-asserted-by":"crossref","unstructured":"Carvalho LK, Wu Y-C, Kwong R, Lafortune S (2018) Detection and mitigation of classes of attacks in supervisory control systems. Autom 97:121\u2013133. 10.1016\/j.automatica.2018.07.017","DOI":"10.1016\/j.automatica.2018.07.017"},{"issue":"2","key":"408_CR145","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1109\/TII.2020.2987629","volume":"17","author":"Z Jakovljevic","year":"2021","unstructured":"Jakovljevic Z, Lesi V, Pajic M (2021) Attacks on distributed sequential control in manufacturing automation. IEEE Trans Industr Inform 17(2):775\u2013786. https:\/\/doi.org\/10.1109\/TII.2020.2987629","journal-title":"IEEE Trans Industr Inform"},{"key":"408_CR146","doi-asserted-by":"publisher","unstructured":"Su R (2018) Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations. Autom 94:35\u201344. https:\/\/doi.org\/10.1016\/j.automatica.2018.04.006","DOI":"10.1016\/j.automatica.2018.04.006"},{"key":"408_CR147","doi-asserted-by":"publisher","unstructured":"Wakaiki M, Tabuada P, Hespanha JP (2019) Supervisory control of discrete-event systems under attacks. Dyn Games Appl 9:965\u2013983. https:\/\/doi.org\/10.1007\/s13235-018-0285-3","DOI":"10.1007\/s13235-018-0285-3"},{"issue":"1","key":"408_CR148","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10626-021-00351-3","volume":"32","author":"MRC Alves","year":"2022","unstructured":"Alves MRC, Pena PN, Rudie K (2022) Discrete-event systems subject to unknown sensor attacks. Discret Event Dyn Syst 32(1):143\u2013158. https:\/\/doi.org\/10.1007\/s10626-021-00351-3","journal-title":"Discret Event Dyn Syst"},{"issue":"10","key":"408_CR149","doi-asserted-by":"publisher","first-page":"4990","DOI":"10.1109\/TAC.2021.3051459","volume":"66","author":"R Meira-G\u00f3es","year":"2021","unstructured":"Meira-G\u00f3es R, Lafortune S, Marchand H (2021) Synthesis of supervisors robust against sensor deception attacks. IEEE Trans Autom Contr 66(10):4990\u20134997. https:\/\/doi.org\/10.1109\/TAC.2021.3051459","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR150","doi-asserted-by":"publisher","unstructured":"Yao J, Yin X, Li S (2020) On attack mitigation in supervisory control systems: A tolerant control approach. In: Proc. 59th Conference on Decision and Control (CDC), pp 4504\u20134510. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC42340.2020.9304130","DOI":"10.1109\/CDC42340.2020.9304130"},{"issue":"1","key":"408_CR151","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF01797143","volume":"1","author":"S Lafortune","year":"1991","unstructured":"Lafortune S, Lin F (1991) On tolerable and desirable behaviors in supervisory control of discrete event systems. Discret Event Dyn Syst 1(1):61\u201392. https:\/\/doi.org\/10.1007\/BF01797143","journal-title":"Discret Event Dyn Syst"},{"issue":"5","key":"408_CR152","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1109\/TAC.2015.2460391","volume":"61","author":"X Yin","year":"2016","unstructured":"Yin X, Lafortune S (2016) Synthesis of maximally permissive supervisors for partially-observed discrete-event systems. IEEE Trans Autom Control 61(5):1239\u20131254. https:\/\/doi.org\/10.1109\/TAC.2015.2460391","journal-title":"IEEE Trans Autom Control"},{"key":"408_CR153","doi-asserted-by":"publisher","unstructured":"Ma Z, Cai K (2022) On resilient supervisory control against indefinite actuator attacks in discrete-event systems. IEEE Control Syst Lett 6:2942\u20132947. https:\/\/doi.org\/10.1109\/LCSYS.2022.3168926","DOI":"10.1109\/LCSYS.2022.3168926"},{"key":"408_CR154","doi-asserted-by":"publisher","unstructured":"Wang Y, Pajic M (2019) Attack-resilient supervisory control with intermittently secure communication. In: Proc. 58th Conference on Decision and Control (CDC), pp 2015\u20132020. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC40024.2019.9029366","DOI":"10.1109\/CDC40024.2019.9029366"},{"key":"408_CR155","doi-asserted-by":"publisher","unstructured":"Wang Y, Pajic M (2019) Supervisory control of discrete event systems in the presence of sensor and actuator attacks. In: Proc. 58th Conference on Decision and Control (CDC), pp 5350\u20135355. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC40024.2019.9029767","DOI":"10.1109\/CDC40024.2019.9029767"},{"key":"408_CR156","doi-asserted-by":"publisher","unstructured":"Zheng S, Shu S, Lin F (2021) Modeling and control of discrete event systems under joint sensor-actuator cyber attacks. In: Proc. 6th Conference on Automation, Control and Robotics Engineering (CACRE), pp 216\u2013220. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CACRE52464.2021.9501323","DOI":"10.1109\/CACRE52464.2021.9501323"},{"issue":"3","key":"408_CR157","doi-asserted-by":"publisher","first-page":"2030","DOI":"10.1109\/TASE.2021.3076697","volume":"19","author":"PM Lima","year":"2022","unstructured":"Lima PM, Alves MVS, Carvalho LK, Moreira MV (2022) Security of cyber-physical systems: Design of a security supervisor to thwart attacks. IEEE Trans Autom Sci Eng 19(3):2030\u20132041. https:\/\/doi.org\/10.1109\/TASE.2021.3076697","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"408_CR158","doi-asserted-by":"publisher","unstructured":"Bryans JW, Koutny M, Mazar\u00e9 L, Ryan PYA (2008) Opacity generalised to transition systems. Int J Inf Secur 7:421\u2013435. https:\/\/doi.org\/10.1007\/s10207-008-0058-x","DOI":"10.1007\/s10207-008-0058-x"},{"key":"408_CR159","doi-asserted-by":"publisher","unstructured":"Jacob R, Lesage J-J, Faure J-M (2016) Overview of discrete event systems opacity: Models, validation, and quantification. Annu Rev Control 41:135\u2013146. https:\/\/doi.org\/10.1016\/j.arcontrol.2016.04.015","DOI":"10.1016\/j.arcontrol.2016.04.015"},{"key":"408_CR160","doi-asserted-by":"publisher","unstructured":"H\u00e9lou\u00ebt L, Marchand H, Ricker L (2018) Opacity with powerful attackers. In: Proc. 14th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnline, vol 51, pp 464\u2013471. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2018.06.341","DOI":"10.1016\/j.ifacol.2018.06.341"},{"key":"408_CR161","doi-asserted-by":"publisher","unstructured":"Xie Y, Yin X (2020) Supervisory control of discrete-event systems for infinite-step opacity. In: Proc. 39th American Control Conference (ACC), pp 3665\u20133671. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.23919\/ACC45564.2020.9148014","DOI":"10.23919\/ACC45564.2020.9148014"},{"issue":"4","key":"408_CR162","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1007\/s10626-022-00365-5","volume":"32","author":"RH Moulton","year":"2022","unstructured":"Moulton RH, Hamgini BB, Khouzani ZA, Meira-G\u00f3es R, Wang F, Rudie K (2022) Using subobservers to synthesize opacity-enforcing supervisors. Discret Event Dyn Syst 32(4):611\u2013640. https:\/\/doi.org\/10.1007\/s10626-022-00365-5","journal-title":"Discret Event Dyn Syst"},{"issue":"12","key":"408_CR163","doi-asserted-by":"publisher","first-page":"6567","DOI":"10.1109\/TAC.2021.3131125","volume":"67","author":"Y Xie","year":"2022","unstructured":"Xie Y, Yin X, Li S (2022) Opacity enforcing supervisory control using nondeterministic supervisors. IEEE Trans Automat Contr 67(12):6567\u20136582. https:\/\/doi.org\/10.1109\/TAC.2021.3131125","journal-title":"IEEE Trans Automat Contr"},{"key":"408_CR164","doi-asserted-by":"publisher","unstructured":"Souid NE, Klai K (2021) A novel approach for supervisor synthesis to enforce opacity of discrete event systems. In: Proc. 23rd International Conference on Information and Communications Security (ICICS). Lecture Notes in Computer Science, vol 12919, pp 210\u2013227. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-030-88052-1_13","DOI":"10.1007\/978-3-030-88052-1_13"},{"key":"408_CR165","doi-asserted-by":"publisher","unstructured":"Souid NE, Klai K, Abid CA, Ahmed SB (2022) Hyper symbolic observation graph to enforce opacity of discrete event systems using supervisory control. In: Proc. 8th Conference on Control, Decision and Information Technologies (CoDIT), pp 1397\u20131402. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CoDIT55151.2022.9804039","DOI":"10.1109\/CoDIT55151.2022.9804039"},{"key":"408_CR166","doi-asserted-by":"publisher","unstructured":"Souid NE, Klai K, Abid CA, Ahmed SB (2022) At design-time approach for supervisory control of opacity. In: Proc. 28th Conference on Cooperative Information Systems (CoopIS). Lecture Notes in Computer Science, vol 13591, pp 37\u201354. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-031-17834-4_3","DOI":"10.1007\/978-3-031-17834-4_3"},{"issue":"2","key":"408_CR167","doi-asserted-by":"publisher","first-page":"884","DOI":"10.1109\/TCNS.2021.3050131","volume":"8","author":"S Yang","year":"2021","unstructured":"Yang S, Hou J, Yin X, Li S (2021) Opacity of networked supervisory control systems over insecure communication channels. IEEE Trans Control Netw Syst 8(2):884\u2013896. https:\/\/doi.org\/10.1109\/TCNS.2021.3050131","journal-title":"IEEE Trans Control Netw Syst"},{"key":"408_CR168","doi-asserted-by":"publisher","unstructured":"Schonewille BH, Moulton RH, Rudie K (2022) Enforcing degree of opacity with supervisory control. In: Proc. 61st Conference on Decision and Control (CDC), pp 5450\u20135457. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC51059.2022.9993125","DOI":"10.1109\/CDC51059.2022.9993125"},{"issue":"5","key":"408_CR169","doi-asserted-by":"publisher","first-page":"1336","DOI":"10.1016\/j.automatica.2014.02.038","volume":"50","author":"Y-C Wu","year":"2014","unstructured":"Wu Y-C, Lafortune S (2014) Synthesis of insertion functions for enforcement of opacity security properties. Autom 50(5):1336\u20131348. https:\/\/doi.org\/10.1016\/j.automatica.2014.02.038","journal-title":"Autom"},{"key":"408_CR170","doi-asserted-by":"publisher","unstructured":"Wu Y-C, Raman V, Rawlings BC, Lafortune S, Seshia SA (2018) Synthesis of obfuscation policies to ensure privacy and utility. J Autom Reason 60:107\u2013131 https:\/\/doi.org\/10.1007\/s10817-017-9420-x","DOI":"10.1007\/s10817-017-9420-x"},{"issue":"8","key":"408_CR171","doi-asserted-by":"publisher","first-page":"3349","DOI":"10.1109\/TAC.2019.2946165","volume":"65","author":"S Mohajerani","year":"2020","unstructured":"Mohajerani S, Ji Y, Lafortune S (2020) Compositional and abstraction-based approach for synthesis of edit functions for opacity enforcement. IEEE Trans Automat Contr 65(8):3349\u20133364. https:\/\/doi.org\/10.1109\/TAC.2019.2946165","journal-title":"IEEE Trans Automat Contr"},{"issue":"9","key":"408_CR172","doi-asserted-by":"publisher","first-page":"4184","DOI":"10.1109\/TAC.2020.3037891","volume":"66","author":"C Keroglou","year":"2021","unstructured":"Keroglou C, Lafortune S (2021) Embedded insertion functions for opacity enforcement. IEEE Trans Autom Contr 66(9):4184\u20134191. https:\/\/doi.org\/10.1109\/TAC.2020.3037891","journal-title":"IEEE Trans Autom Contr"},{"issue":"10","key":"408_CR173","doi-asserted-by":"publisher","first-page":"5289","DOI":"10.1109\/TAC.2021.3121249","volume":"67","author":"X Li","year":"2022","unstructured":"Li X, Hadjicostis CN, Li Z (2022) Extended insertion functions for opacity enforcement in discrete-event systems. IEEE Trans Automat Contr 67(10):5289\u20135303. https:\/\/doi.org\/10.1109\/TAC.2021.3121249","journal-title":"IEEE Trans Automat Contr"},{"key":"408_CR174","doi-asserted-by":"publisher","unstructured":"Duan W, Hadjicostis CN, Li Z (2021) Privacy enforcement strategies in discrete event systems via observation modification and supervisory control. In: Proc. 19th European Control Conference (ECC), pp 68\u201373. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.23919\/ECC54610.2021.9655226","DOI":"10.23919\/ECC54610.2021.9655226"},{"issue":"6","key":"408_CR175","doi-asserted-by":"publisher","first-page":"2816","DOI":"10.1109\/TAC.2021.3091438","volume":"67","author":"Z Ma","year":"2022","unstructured":"Ma Z, Cai K (2022) Optimal secret protections in discrete-event systems. IEEE Trans Automat Contr 67(6):2816\u20132828. https:\/\/doi.org\/10.1109\/TAC.2021.3091438","journal-title":"IEEE Trans Automat Contr"},{"issue":"8","key":"408_CR176","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. https:\/\/doi.org\/10.1109\/TAC.2015.2484359","journal-title":"IEEE Trans Autom Control"},{"issue":"7","key":"408_CR177","doi-asserted-by":"publisher","first-page":"3567","DOI":"10.1109\/TAC.2021.3103918","volume":"67","author":"R Meira-G\u00f3es","year":"2022","unstructured":"Meira-G\u00f3es R, Weitze J, Lafortune S (2022) A compact and uniform approach for synthesizing state-based property-enforcing supervisors for discrete-event systems. IEEE Trans Autom Contr 67(7):3567\u20133573. https:\/\/doi.org\/10.1109\/TAC.2021.3103918","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR178","doi-asserted-by":"publisher","unstructured":"Meira-G\u00f3es R, Kang E, Kwong RH, Lafortune S (2020) Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems. Autom 121:109172. https:\/\/doi.org\/10.1016\/j.automatica.2020.109172","DOI":"10.1016\/j.automatica.2020.109172"},{"key":"408_CR179","doi-asserted-by":"publisher","unstructured":"Mohajerani S, Meira-G\u00f3es R, Lafortune S (2020) Efficient synthesis of sensor deception attacks using observation equivalence-based abstraction. In: Proc. 15th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnline, vol 53, pp 28\u201334. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.069","DOI":"10.1016\/j.ifacol.2021.04.069"},{"issue":"6","key":"408_CR180","doi-asserted-by":"publisher","first-page":"2873","DOI":"10.1109\/TAC.2021.3094737","volume":"67","author":"R Meira-G\u00f3es","year":"2022","unstructured":"Meira-G\u00f3es R, Kwong RH, Lafortune S (2022) Synthesis of optimal multi-objective attack strategies for controlled systems modeled by probabilistic automata. IEEE Trans Autom Contr 67(6):2873\u20132888. https:\/\/doi.org\/10.1109\/TAC.2021.3094737","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR181","doi-asserted-by":"publisher","unstructured":"Yao J, Yin X, Li S (2022) Sensor deception attacks against initial-state privacy in supervisory control systems. In: Proc. 61st Conference on Decision and Control (CDC), pp 4839\u20134845. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC51059.2022.9992694","DOI":"10.1109\/CDC51059.2022.9992694"},{"key":"408_CR182","doi-asserted-by":"publisher","unstructured":"Lin L, Thuijsman SB, Zhu Y, Ware S, Su R, Reniers MA (2019) Synthesis of supremal successful normal actuator attackers on normal supervisors. In: Proc. 38th American Control Conference (ACC), pp 5614\u20135619. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.23919\/ACC.2019.8814712","DOI":"10.23919\/ACC.2019.8814712"},{"key":"408_CR183","doi-asserted-by":"publisher","unstructured":"Lin L, Zhu Y, Su R (2020) Synthesis of covert actuator attackers for free. Discret Event Dyn Syst 30:561\u2013577. https:\/\/doi.org\/10.1007\/s10626-020-00312-2","DOI":"10.1007\/s10626-020-00312-2"},{"key":"408_CR184","doi-asserted-by":"publisher","unstructured":"Khoumsi A (2019) Sensor and actuator attacks of cyber-physical systems: A study based on supervisory control of discrete event systems. In: Proc. 8th International Conference on Systems and Control (ICSC), pp 176\u2013182. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/ICSC47195.2019.8950627","DOI":"10.1109\/ICSC47195.2019.8950627"},{"key":"408_CR185","doi-asserted-by":"publisher","unstructured":"Lin L, Su R (2021) Synthesis of covert actuator and sensor attackers. Autom 130:109714. https:\/\/doi.org\/10.1016\/j.automatica.2021.109714","DOI":"10.1016\/j.automatica.2021.109714"},{"issue":"3","key":"408_CR186","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/s10626-021-00356-y","volume":"32","author":"L Lin","year":"2022","unstructured":"Lin L, Tai R, Zhu Y, Su R (2022) Observation-assisted heuristic synthesis of covert attackers against unknown supervisors. Discret Event Dyn Syst 32(3):495\u2013520. https:\/\/doi.org\/10.1007\/s10626-021-00356-y","journal-title":"Discret Event Dyn Syst"},{"issue":"4","key":"408_CR187","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/s10626-022-00369-1","volume":"32","author":"S Matsui","year":"2022","unstructured":"Matsui S, Lafortune S (2022) Synthesis of winning attacks on communication protocols using supervisory control theory: Two case studies. Discret Event Dyn Syst 32(4):573\u2013610. https:\/\/doi.org\/10.1007\/s10626-022-00369-1","journal-title":"Discret Event Dyn Syst"},{"key":"408_CR188","doi-asserted-by":"publisher","unstructured":"von Hippel M, Vick C, Tripakis S, Nita-Rotaru C (2020) Automated attacker synthesis for distributed protocols. In: Proc. 39th Conference on Computer Safety, Reliability, and Security (SAFECOMP). Lecture Notes in Computer Science, vol 12234, pp 133\u2013149. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-030-54549-9_9","DOI":"10.1007\/978-3-030-54549-9_9"},{"issue":"2","key":"408_CR189","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/9.272327","volume":"39","author":"BA Brandin","year":"1994","unstructured":"Brandin BA, Wonham WM (1994) Supervisory control of timed discrete-event systems. IEEE Trans Autom Contr 39(2):329\u2013342. https:\/\/doi.org\/10.1109\/9.272327","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR190","doi-asserted-by":"publisher","unstructured":"Asarin E, Maler O, Pnueli A, Sifakis J (1998) Controller synthesis for timed automata. In: Proc. 5th Conference on System Structure and Control (SSC). IFAC Proceedings Volumes, vol 31, pp 447\u2013452. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/S1474-6670(17)42032-5","DOI":"10.1016\/S1474-6670(17)42032-5"},{"issue":"4","key":"408_CR191","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/s10626-009-0083-6","volume":"19","author":"J Komenda","year":"2009","unstructured":"Komenda J, Lahaye S, Boimond J (2009) Supervisory control of (max, +) automata: A behavioral approach. Discret Event Dyn Syst 19(4):525\u2013549. https:\/\/doi.org\/10.1007\/s10626-009-0083-6","journal-title":"Discret Event Dyn Syst"},{"key":"408_CR192","doi-asserted-by":"publisher","unstructured":"Miura S, Takai S (2018) Decentralized control of timed discrete event systems with conditional decisions for enforcement of forcible events. In: Proc. 57th Conference on Decision and Control (CDC), pp 3956\u20133961. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC.2018.8619246","DOI":"10.1109\/CDC.2018.8619246"},{"key":"408_CR193","doi-asserted-by":"publisher","unstructured":"Lin L, Su R, Brandin BA, Ware S, Zhu Y, Sun Y (2019) Synchronous composition of finite interval automata. In: Proc. 15th International Conference on Control and Automation (ICCA), pp 578\u2013583. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/ICCA.2019.8899529","DOI":"10.1109\/ICCA.2019.8899529"},{"key":"408_CR194","doi-asserted-by":"publisher","unstructured":"Brandin BA, Su R, Lin L (2020) Supervisory control of time-interval discrete event systems. In: Proc. 15th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnline, vol 53, pp 217\u2013222. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.022","DOI":"10.1016\/j.ifacol.2021.04.022"},{"issue":"2","key":"408_CR195","doi-asserted-by":"publisher","first-page":"934","DOI":"10.1109\/TAC.2016.2566884","volume":"62","author":"G Schafaschek","year":"2017","unstructured":"Schafaschek G, de Queiroz MH, Cury JER (2017) Local modular supervisory control of timed discrete-event systems. IEEE Trans Autom Contr 62(2):934\u2013940. https:\/\/doi.org\/10.1109\/TAC.2016.2566884","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR196","doi-asserted-by":"publisher","unstructured":"Schafaschek G, de Queiroz MH, Cury JER (2015) Local modular supervisory control applied to the scheduling of cluster tools. In: Proc. 11th Conference on Automation Science and Engineering (CASE), pp 1381\u20131388. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CoASE.2015.7294291","DOI":"10.1109\/CoASE.2015.7294291"},{"key":"408_CR197","doi-asserted-by":"publisher","unstructured":"Szpak R, de Queiroz MH, Cury JER (2020) Synthesis and implementation of supervisory control for manufacturing systems under processing uncertainties and time constraints. In: Proc. 15th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnline, vol 53, pp 229\u2013234. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.071","DOI":"10.1016\/j.ifacol.2021.04.071"},{"key":"408_CR198","doi-asserted-by":"publisher","unstructured":"Rahnamoon S, Wonham WM (2018) State-based control of timed discrete-event systems. In: Proc. 57th Conference on Decision and Control (CDC), pp 4833\u20134838. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC.2018.8619051","DOI":"10.1109\/CDC.2018.8619051"},{"issue":"3","key":"408_CR199","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s10626-018-0267-z","volume":"28","author":"QH Ngo","year":"2018","unstructured":"Ngo QH, Seow KT (2018) A hierarchical consistency framework for real-time supervisory control. Discret Event Dyn Syst 28(3):375\u2013426. https:\/\/doi.org\/10.1007\/s10626-018-0267-z","journal-title":"Discret Event Dyn Syst"},{"key":"408_CR200","doi-asserted-by":"publisher","unstructured":"Dallal E, Colombo A, Del Vecchio D, Lafortune S (2017) Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. Discret. Event Dyn Syst 27:1\u201344. https:\/\/doi.org\/10.1007\/s10626-016-0228-3","DOI":"10.1007\/s10626-016-0228-3"},{"key":"408_CR201","doi-asserted-by":"publisher","unstructured":"Pena PN, Nogueira Vilela J, Alves MRC, Rafael GC (2022) Abstraction of the supervisory control solution to deal with planning problems in manufacturing systems. IEEE Trans Automat Contr 67(1):344\u2013350 https:\/\/doi.org\/10.1109\/TAC.2021.3053228","DOI":"10.1109\/TAC.2021.3053228"},{"key":"408_CR202","doi-asserted-by":"publisher","unstructured":"van Putten BJC, van der Sanden LJ, Reniers MA, Voeten JPM, Schiffelers RRH (2021) Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems. Discret Event Dyn Syst 31:103\u2013135. https:\/\/doi.org\/10.1007\/s10626-020-00325-x","DOI":"10.1007\/s10626-020-00325-x"},{"issue":"2","key":"408_CR203","doi-asserted-by":"publisher","first-page":"772","DOI":"10.1109\/TASE.2016.2613911","volume":"14","author":"S Ware","year":"2017","unstructured":"Ware S, Su R (2017) Time optimal synthesis based upon sequential abstraction and its application to cluster tools. IEEE Trans Autom Sci Eng 14(2):772\u2013784. https:\/\/doi.org\/10.1109\/TASE.2016.2613911","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"3","key":"408_CR204","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/s10626-020-00315-z","volume":"30","author":"J-M Yang","year":"2020","unstructured":"Yang J-M, Moor T, Raisch J (2020) Refinements of behavioural abstractions for the supervisory control of hybrid systems. Discret Event Dyn Syst 30(3):533\u2013560. https:\/\/doi.org\/10.1007\/s10626-020-00315-z","journal-title":"Discret Event Dyn Syst"},{"key":"408_CR205","doi-asserted-by":"publisher","unstructured":"Rashidinejad A, van der Graaf P, Reniers MA, Fabian M (2020) Non-blocking supervisory control of timed automata using forcible events. In: Proc. 15th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnline, vol 53, pp 356\u2013362. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.035","DOI":"10.1016\/j.ifacol.2021.04.035"},{"key":"408_CR206","doi-asserted-by":"publisher","unstructured":"Rashidinejad A, van der Graaf P, Reniers MA (2020) Nonblocking supervisory control synthesis of timed automata using abstractions and forcible events. In: Proc. 16th International Conference on Control, Automation, Robotics and Vision (ICARCV), pp 1033\u20131040. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/ICARCV50220.2020.9305312","DOI":"10.1109\/ICARCV50220.2020.9305312"},{"issue":"2","key":"408_CR207","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s10626-017-0240-2","volume":"27","author":"MT Bin Waez","year":"2017","unstructured":"Bin Waez MT, Wasowski A, Dingel J, Rudie K (2017) Controller synthesis for dynamic hierarchical real-time plants using timed automata. Discret Event Dyn Syst 27(2):407\u2013441. https:\/\/doi.org\/10.1007\/s10626-017-0240-2","journal-title":"Discret Event Dyn Syst"},{"key":"408_CR208","doi-asserted-by":"publisher","unstructured":"Devaraj R, Sarkar A, Biswas S (2017) Fault-tolerant preemptive aperiodic RT scheduling by supervisory control of TDES on multiprocessors. ACM Trans Embed Comput Syst 16(3) https:\/\/doi.org\/10.1145\/3012278","DOI":"10.1145\/3012278"},{"issue":"2","key":"408_CR209","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1080\/00207170802047425","volume":"82","author":"S-J Park","year":"2009","unstructured":"Park S-J, Cho K-H (2009) Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks. Int J Control 82(2):217\u2013227. https:\/\/doi.org\/10.1080\/00207170802047425","journal-title":"Int J Control"},{"issue":"2","key":"408_CR210","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1109\/TII.2018.2824564","volume":"15","author":"R Devaraj","year":"2019","unstructured":"Devaraj R, Sarkar A, Biswas S (2019) Supervisory control approach and its symbolic computation for power-aware RT scheduling. IEEE Trans Industr Inform 15(2):787\u2013799. https:\/\/doi.org\/10.1109\/TII.2018.2824564","journal-title":"IEEE Trans Industr Inform"},{"key":"408_CR211","doi-asserted-by":"publisher","unstructured":"Devaraj R, Sarkar A, Biswas S (2021) Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems. J Sched 24:69\u201382. https:\/\/doi.org\/10.1007\/s10951-020-00669-0","DOI":"10.1007\/s10951-020-00669-0"},{"issue":"9","key":"408_CR212","doi-asserted-by":"publisher","first-page":"4230","DOI":"10.1109\/TAC.2020.3031023","volume":"66","author":"X Wang","year":"2021","unstructured":"Wang X, Li Z, Wonham WM (2021) Real-time scheduling based on nonblocking supervisory control of state-tree structures. IEEE Trans Autom Contr 66(9):4230\u20134237. https:\/\/doi.org\/10.1109\/TAC.2020.3031023","journal-title":"IEEE Trans Autom Contr"},{"issue":"7","key":"408_CR213","doi-asserted-by":"publisher","first-page":"1082","DOI":"10.1109\/TSMC.2016.2531681","volume":"47","author":"X Wang","year":"2017","unstructured":"Wang X, Li Z, Wonham WM (2017) Optimal priority-free conditionally-preemptive real-time scheduling of periodic tasks based on DES supervisory control. IEEE Trans Syst Man Cybern Syst 47(7):1082\u20131098. https:\/\/doi.org\/10.1109\/TSMC.2016.2531681","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"408_CR214","doi-asserted-by":"publisher","unstructured":"Hill RC, Lafortune S (2016) Planning under abstraction within a supervisory control context. In: Proc. 55th Conference on Decision and Control (CDC), pp 4770\u20134777. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC.2016.7798997","DOI":"10.1109\/CDC.2016.7798997"},{"issue":"1","key":"408_CR215","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10626-021-00349-x","volume":"32","author":"J Nogueira Vilela","year":"2022","unstructured":"Nogueira Vilela J, Hill RC (2022) Hierarchical planning in a supervisory control context with compositional abstraction. Discret Event Dyn Syst 32(1):89\u2013113. https:\/\/doi.org\/10.1007\/s10626-021-00349-x","journal-title":"Discret Event Dyn Syst"},{"key":"408_CR216","doi-asserted-by":"publisher","unstructured":"Hill RC, Lafortune S (2017) Scaling the formal synthesis of supervisory control software for multiple robot systems. In: Proc. 36th American Control Conference (ACC), pp 3840\u20133847. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.23919\/ACC.2017.7963543","DOI":"10.23919\/ACC.2017.7963543"},{"key":"408_CR217","doi-asserted-by":"publisher","unstructured":"Pruekprasert S, Ushio T (2017) Supervisory control of partially observed quantitative discrete event systems for fixed-initial-credit energy problem. IEICE Trans Inf Syst E100.D(6):1166\u20131171. https:\/\/doi.org\/10.1587\/transinf.2016FOP0008","DOI":"10.1587\/transinf.2016FOP0008"},{"key":"408_CR218","doi-asserted-by":"publisher","unstructured":"Ji Y, Yin X, Lafortune S (2021) Optimal supervisory control with mean payoff objectives and under partial observation. Autom 123:109359. https:\/\/doi.org\/10.1016\/j.automatica.2020.109359","DOI":"10.1016\/j.automatica.2020.109359"},{"key":"408_CR219","doi-asserted-by":"publisher","unstructured":"Ji Y, Yin X, Xiao W (2021) Supervisory control for stabilization under multiple local average payoff constraints. In: Proc. 60th Conference on Decision and Control (CDC), pp 1054\u20131061 . https:\/\/doi.org\/10.1109\/CDC45484.2021.9683716","DOI":"10.1109\/CDC45484.2021.9683716"},{"key":"408_CR220","doi-asserted-by":"publisher","unstructured":"Lv P, Yin X, Ji Y, Li S (2021) A game-theoretical approach for optimal supervisory control of discrete event systems for cyclic tasks. In: Proc. 60th Conference on Decision and Control (CDC), pp 324\u2013330 . https:\/\/doi.org\/10.1109\/CDC45484.2021.9683050","DOI":"10.1109\/CDC45484.2021.9683050"},{"issue":"5","key":"408_CR221","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 Contr 67(5):2282\u20132297. https:\/\/doi.org\/10.1109\/TAC.2021.3075186","journal-title":"IEEE Trans Autom Contr"},{"issue":"1","key":"408_CR222","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s00236-016-0276-z","volume":"54","author":"T Brihaye","year":"2017","unstructured":"Brihaye T, Geeraerts G, Haddad A, Monmege B (2017) Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games. Acta Inf 54(1):85\u2013125. https:\/\/doi.org\/10.1007\/s00236-016-0276-z","journal-title":"Acta Inf"},{"key":"408_CR223","doi-asserted-by":"publisher","unstructured":"Chatterjee K, Doyen L, Randour M, Raskin J-F (2015) Looking at mean-payoff and total-payoff through windows. Inf Comput 242:25\u201352. https:\/\/doi.org\/10.1016\/j.ic.2015.03.010","DOI":"10.1016\/j.ic.2015.03.010"},{"key":"408_CR224","doi-asserted-by":"publisher","unstructured":"Zielinski KMC, Hendges LV, Florindo JaB, Kaszubowski\u00a0Lopes Y, Ribeiro R, Teixeira M, Casanova D (2021) Flexible control of discrete event systems using environment simulation and reinforcement learning. Appl Soft Comput 111:107714. https:\/\/doi.org\/10.1016\/j.asoc.2021.107714","DOI":"10.1016\/j.asoc.2021.107714"},{"issue":"1","key":"408_CR225","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1109\/TAC.2016.2553959","volume":"62","author":"S Shu","year":"2017","unstructured":"Shu S, Lin F (2017) Deterministic networked control of discrete event systems with nondeterministic communication delays. IEEE Trans Automat Contr 62(1):190\u2013205. https:\/\/doi.org\/10.1109\/TAC.2016.2553959","journal-title":"IEEE Trans Automat Contr"},{"issue":"9","key":"408_CR226","doi-asserted-by":"publisher","first-page":"4698","DOI":"10.1109\/TAC.2016.2630276","volume":"62","author":"S Shu","year":"2017","unstructured":"Shu S, Lin F (2017) Predictive networked control of discrete event systems. IEEE Trans Automat Contr 62(9):4698\u20134705. https:\/\/doi.org\/10.1109\/TAC.2016.2630276","journal-title":"IEEE Trans Automat Contr"},{"key":"408_CR227","doi-asserted-by":"publisher","unstructured":"Xu P, Shu S, Lin F (2021) Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays. Discret Event Dyn Syst 31:295\u2013315. https:\/\/doi.org\/10.1007\/s10626-020-00328-8","DOI":"10.1007\/s10626-020-00328-8"},{"issue":"2","key":"408_CR228","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/TCNS.2015.2482219","volume":"4","author":"B Zhao","year":"2017","unstructured":"Zhao B, Lin F, Wang C, Zhang X, Polis MP, Wang LY (2017) Supervisory control of networked timed discrete event systems and its applications to power distribution networks. IEEE Trans Control Netw Syst 4(2):146\u2013158. https:\/\/doi.org\/10.1109\/TCNS.2015.2482219","journal-title":"IEEE Trans Control Netw Syst"},{"key":"408_CR229","doi-asserted-by":"publisher","unstructured":"Miao C, Shu S, Lin F (2019) Predictive supervisory control for timed discrete event systems under communication delays. In: Proc. 58th Conference on Decision and Control (CDC), pp 6724\u20136729. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC40024.2019.9030215","DOI":"10.1109\/CDC40024.2019.9030215"},{"key":"408_CR230","doi-asserted-by":"publisher","unstructured":"Rashidinejad A, Reniers MA, Feng L (2018) Supervisory control of timed discrete-event systems subject to communication delays and non-FIFO observations. In: Proc. 14th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnline, vol 51, pp 456\u2013463. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2018.06.340","DOI":"10.1016\/j.ifacol.2018.06.340"},{"key":"408_CR231","doi-asserted-by":"publisher","unstructured":"Rashidinejad A, Reniers MA, Fabian M (2019) Supervisory control of discrete-event systems in an asynchronous setting. In: 15th Conference on Automation Science and Engineering (CASE), pp 494\u2013501. IEEE, Piscataway, NJ . https:\/\/doi.org\/10.1109\/COASE.2019.8843274","DOI":"10.1109\/COASE.2019.8843274"},{"issue":"1","key":"408_CR232","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/LCSYS.2019.2923037","volume":"4","author":"S Pruekprasert","year":"2020","unstructured":"Pruekprasert S, Ushio T (2020) Supervisory control of communicating timed discrete event systems for state avoidance problem. IEEE Control Syst Lett 4(1):259\u2013264. https:\/\/doi.org\/10.1109\/LCSYS.2019.2923037","journal-title":"IEEE Control Syst Lett"},{"key":"408_CR233","doi-asserted-by":"publisher","unstructured":"Zhu Y, Lin L, Tai R, Su R (2020) Supervisor synthesis for networked discrete event systems with delays against non-FIFO communication channels. In: Proc. 16th International Conference on Control, Automation, Robotics and Vision (ICARCV), pp 1027\u20131032. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/ICARCV50220.2020.9305500","DOI":"10.1109\/ICARCV50220.2020.9305500"},{"key":"408_CR234","doi-asserted-by":"publisher","unstructured":"Komenda J, Lin F (2016) Modular supervisory control of networked discrete-event systems. In: Proc. 13th Workshop on Discrete Event Systems (WODES), pp 85\u201390. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/WODES.2016.7497830","DOI":"10.1109\/WODES.2016.7497830"},{"key":"408_CR235","doi-asserted-by":"publisher","unstructured":"Lin L, Zhu Y, Tai R, Ware S, Su R (2022) Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis. Autom 142:110279. https:\/\/doi.org\/10.1016\/j.automatica.2022.110279","DOI":"10.1016\/j.automatica.2022.110279"},{"issue":"5","key":"408_CR236","doi-asserted-by":"publisher","first-page":"2206","DOI":"10.1109\/TAC.2020.3007384","volume":"66","author":"MVS Alves","year":"2021","unstructured":"Alves MVS, Carvalho LK, Basilio JC (2021) Supervisory control of networked discrete event systems with timing structure. IEEE Trans Autom Contr 66(5):2206\u20132218. https:\/\/doi.org\/10.1109\/TAC.2020.3007384","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR237","doi-asserted-by":"publisher","unstructured":"Wang W, Zang Y, Takai S, Andrew LLH, Gong C (2022) Deterministic supervisory control with flexible upper-bounds on observation delay and control delay. Autom 144:110480. https:\/\/doi.org\/10.1016\/j.automatica.2022.110480","DOI":"10.1016\/j.automatica.2022.110480"},{"issue":"4","key":"408_CR238","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/s10626-017-0249-6","volume":"27","author":"J Komenda","year":"2017","unstructured":"Komenda J, Masopust T (2017) Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication. Discret Event Dyn Syst 27(4):585\u2013608. https:\/\/doi.org\/10.1007\/s10626-017-0249-6","journal-title":"Discret Event Dyn Syst"},{"key":"408_CR239","doi-asserted-by":"publisher","unstructured":"Zgorzelski M, Lunze J (2019) Cooperative tracking control in networked discrete-event systems. In: Proc. 6th Conference on Control, Decision and Information Technologies (CoDIT), pp 115\u2013120. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CoDIT.2019.8820382","DOI":"10.1109\/CoDIT.2019.8820382"},{"issue":"1","key":"408_CR240","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/TAC.2019.2912008","volume":"65","author":"R Zhang","year":"2020","unstructured":"Zhang R, Cai K (2020) Supervisor localization of timed discrete-event systems under partial observation. IEEE Trans Autom Contr 65(1):295\u2013301. https:\/\/doi.org\/10.1109\/TAC.2019.2912008","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR241","doi-asserted-by":"publisher","unstructured":"Zhang R, Cai K (2022) Localisation-based distributed control of timed discrete-event systems with communication delay. Int J Control 95(2):330\u2013339. https:\/\/doi.org\/10.1080\/00207179.2020.1793000","DOI":"10.1080\/00207179.2020.1793000"},{"issue":"3","key":"408_CR242","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1109\/9.376081","volume":"40","author":"F Lin","year":"1995","unstructured":"Lin F, Wonham WM (1995) Supervisory control of timed discrete-event systems under partial observation. IEEE Trans Autom Contr 40(3):558\u2013562. https:\/\/doi.org\/10.1109\/9.376081","journal-title":"IEEE Trans Autom Contr"},{"issue":"9","key":"408_CR243","doi-asserted-by":"publisher","first-page":"2786","DOI":"10.1016\/j.automatica.2013.05.015","volume":"49","author":"R Zhang","year":"2013","unstructured":"Zhang R, Cai K, Gan Y, Wang Z, Wonham WM (2013) Supervision localization of timed discrete-event systems. Autom 49(9):2786\u20132794. https:\/\/doi.org\/10.1016\/j.automatica.2013.05.015","journal-title":"Autom"},{"key":"408_CR244","doi-asserted-by":"publisher","unstructured":"Hou Y, Chen Y, Li Q, Ji Y (2021) New results on deterministic networked supervisory control and relative delay observability. IEEE Access 9:2032\u20132043. https:\/\/doi.org\/10.1109\/ACCESS.2020.3041478","DOI":"10.1109\/ACCESS.2020.3041478"},{"key":"408_CR245","doi-asserted-by":"publisher","unstructured":"Moormann L, Schouten RHJ, van de Mortel-Fronczak JM, Fokkink WJ, Rooda JE (2021) Synthesis and implementation of distributed supervisory controllers with communication delays. In: Proc. 17th Conference on Automation Science and Engineering (CASE), pp 1268\u20131275. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CASE49439.2021.9551519","DOI":"10.1109\/CASE49439.2021.9551519"},{"issue":"2","key":"408_CR246","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s10626-014-0208-4","volume":"26","author":"R Zhang","year":"2016","unstructured":"Zhang R, Cai K, Gan Y, Wonham WM (2016) Distributed supervisory control of discrete-event systems with communication delay. Discret Event Dyn Syst 26(2):263\u2013293. https:\/\/doi.org\/10.1007\/s10626-014-0208-4","journal-title":"Discret Event Dyn Syst"},{"key":"408_CR247","doi-asserted-by":"publisher","unstructured":"Reniers MA, van de Mortel-Fronczak JM (2018) An engineering perspective on model-based design of supervisors. In: Proc. 14th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnLine, vol 51, pp 257\u2013264. Elsevier, Amsterdam . https:\/\/doi.org\/10.1016\/j.ifacol.2018.06.310","DOI":"10.1016\/j.ifacol.2018.06.310"},{"key":"408_CR248","doi-asserted-by":"publisher","unstructured":"James LD, Teixeira CA, Leal AB (2019) Formal design and implementation of supervisory controller for a didactic manufacturing cell. In: Proc. International Conference on Industrial Technology (ICIT), pp 935\u2013940. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/ICIT.2019.8755130","DOI":"10.1109\/ICIT.2019.8755130"},{"key":"408_CR249","doi-asserted-by":"publisher","unstructured":"G\u00f6be F, Timmermanns T, Ney O, Kowalewski S (2016) Synthesis tool for automation controller supervision. In: Proc. 13th Workshop on Discrete Event Systems (WODES), pp 424\u2013431. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/WODES.2016.7497883","DOI":"10.1109\/WODES.2016.7497883"},{"key":"408_CR250","doi-asserted-by":"publisher","unstructured":"Hong C, Lee T-E (2020) Modeling, simulation and supervisory control of semiconductor manufacturing cluster tools with an equipment front-end module. In: Proc. 16th Conference on Automation Science and Engineering (CASE), pp 703\u2013709. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CASE48305.2020.9216790","DOI":"10.1109\/CASE48305.2020.9216790"},{"key":"408_CR251","doi-asserted-by":"publisher","unstructured":"de Oliveira RG, de Queiroz MH, Cury JER (2020) Synthesis of supervisors for a pid-controlled industrial process and implementation on foundation fieldbus. In: Proc. 15th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnLine, vol 53, pp 83\u201388. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.070","DOI":"10.1016\/j.ifacol.2021.04.070"},{"key":"408_CR252","doi-asserted-by":"publisher","unstructured":"Ogawa K, Sawada K, Sakata K (2022) Vulnerability modeling and protection strategies via supervisory control theory. In: Proc. 11th Global Conference on Consumer Electronics (GCCE), pp 559\u2013560. Elsevier, Amsterdam. https:\/\/doi.org\/10.1109\/GCCE56475.2022.10014366","DOI":"10.1109\/GCCE56475.2022.10014366"},{"key":"408_CR253","doi-asserted-by":"publisher","unstructured":"Tatsumoto Y, Shiraishi M, Cai K (2018) Application of supervisory control theory with warehouse automation case study. Syst, Contr Inf 62(6):203\u2013208. https:\/\/doi.org\/10.11509\/isciesci.62.6_203","DOI":"10.11509\/isciesci.62.6_203"},{"key":"408_CR254","doi-asserted-by":"publisher","unstructured":"Dulce-Galindo JA, Santos MA, Raffo GV, Pena PN (2019) Autonomous navigation of multiple robots using supervisory control theory. In: Proc. 17th European Control Conference (ECC), pp 3198\u20133203. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.23919\/ECC.2019.8796261","DOI":"10.23919\/ECC.2019.8796261"},{"key":"408_CR255","doi-asserted-by":"publisher","unstructured":"Kok JW, Torta E, Reniers MA, van de Mortel-Fronczak JM, van de Molengraft MJG (2021) Synthesis-based engineering of supervisory controllers for autonomous robotic navigation. In: Proc. 16th Symposium on Control in Transportation Systems (CTS). IFAC-PapersOnLine, vol 54, pp 259\u2013264. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2021.06.031","DOI":"10.1016\/j.ifacol.2021.06.031"},{"key":"408_CR256","doi-asserted-by":"publisher","unstructured":"Gonzalez AGC, Alves MVS, Viana GS, Carvalho LK, Basilio JC (2018) Supervisory control-based navigation architecture: A new framework for autonomous robots in industry 4.0 environments. IEEE Trans Industr Inform 14(4):1732\u20131743. https:\/\/doi.org\/10.1109\/TII.2017.2788079","DOI":"10.1109\/TII.2017.2788079"},{"key":"408_CR257","doi-asserted-by":"publisher","unstructured":"Kaszubowski\u00a0Lopes Y, Trenkwalder SM, Leal AB, Dodd TJ, Gro\u00df R (2020) Supervisory control of robot swarms using public events. In: Proc. International Conference on Robotics and Automation (ICRA), pp 7193\u20137199. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/MOCAST.2017.7937614","DOI":"10.1109\/MOCAST.2017.7937614"},{"key":"408_CR258","doi-asserted-by":"publisher","unstructured":"Miyauchi G, Kaszubowski\u00a0Lopes Y, Gro\u00df R (2022) Multi-operator control of connectivity-preserving robot swarms using supervisory control theory. In: Proc. International Conference on Robotics and Automation (ICRA), pp 6889\u20136895. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/ICRA46639.2022.9812242","DOI":"10.1109\/ICRA46639.2022.9812242"},{"issue":"1","key":"408_CR259","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1049\/iet-csr.2019.0039","volume":"2","author":"Q Quan","year":"2020","unstructured":"Quan Q, Zhao Z, Lin L, Wang P, Wonham WM, Cai K-Y (2020) Failsafe mechanism design of multicopters based on supervisory control theory. IET Cyber-Syst Robot 2(1):31\u201342. https:\/\/doi.org\/10.1049\/iet-csr.2019.0039","journal-title":"IET Cyber-Syst Robot"},{"key":"408_CR260","doi-asserted-by":"publisher","unstructured":"Rosa M, Cury JER, Baldissera FL (2020) Supervisory control in construction robotics: In the quest for scalability and permissiveness. In: Proc. 15th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnLine, vol 53, pp 117\u2013122. Elsevier, Amsterdam . https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.012","DOI":"10.1016\/j.ifacol.2021.04.012"},{"key":"408_CR261","doi-asserted-by":"publisher","unstructured":"Reniers MA, van de Mortel-Fronczak JM, Roelofs K (2017) Model-based engineering of supervisory controllers for cyber-physical systems. In: Industrial Internet of Things: Cybermanufacturing Systems. Springer Series in Wireless Technology, pp 111\u2013136. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-319-42559-7_5","DOI":"10.1007\/978-3-319-42559-7_5"},{"key":"408_CR262","doi-asserted-by":"publisher","unstructured":"Gleirscher M, Peleska J (2021) Complete test of synthesised safety supervisors for robots and autonomous systems. In: Proc. 3rd Workshop on Formal Methods for Autononous Systems (FMAS). Electronic Proceedings in Theoretical Computer Science, vol 348, pp 101\u2013109. https:\/\/doi.org\/10.4204\/eptcs.348.7","DOI":"10.4204\/eptcs.348.7"},{"key":"408_CR263","doi-asserted-by":"publisher","unstructured":"Krook J, Zita A, Kianfar R, Mohajerani S, Fabian M (2018) Modeling and synthesis of the lane change function of an autonomous vehicle. In: Proc. 14th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnLine, vol 51, pp 133\u2013138. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2018.06.291","DOI":"10.1016\/j.ifacol.2018.06.291"},{"issue":"2","key":"408_CR264","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1109\/TITS.2017.2776354","volume":"19","author":"T Korssen","year":"2018","unstructured":"Korssen T, Dolk V, van de Mortel-Fronczak J, Reniers M, Heemels M (2018) Systematic model-based design and implementation of supervisors for advanced driver assistance systems. IEEE Tran Intel Trans Syst 19(2):533\u2013544. https:\/\/doi.org\/10.1109\/TITS.2017.2776354","journal-title":"IEEE Tran Intel Trans Syst"},{"key":"408_CR265","doi-asserted-by":"publisher","unstructured":"Krook J, Kianfar R, Fabian M (2020) Formal synthesis of safe stop tactical planners for an automated vehicle. In: Proc. 20th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnLine, vol 53, pp 445\u2013452. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.059","DOI":"10.1016\/j.ifacol.2021.04.059"},{"key":"408_CR266","doi-asserted-by":"publisher","unstructured":"De\u00a0Tommasi G, Motta C, Petrillo A, Santini S (2022) Design of resilient supervisory control for autonomous connected vehicles approaching unsignalized intersection in presence of communication delays. In: Proc. International Conference on Networking, Sensing and Control (ICNSC), pp 1\u20136. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/ICNSC55942.2022.10004176","DOI":"10.1109\/ICNSC55942.2022.10004176"},{"key":"408_CR267","doi-asserted-by":"publisher","unstructured":"Rahmani AM, Donyanavard B, M\u00fcck T, Moazzemi K, Jantsch A, Mutlu O, Dutt N (2018) SPECTR: Formal supervisory control and coordination for many-core systems resource management. In: Proc. 23rd Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp 169\u2013183. ACM, New York, NY. https:\/\/doi.org\/10.1145\/3173162.3173199","DOI":"10.1145\/3173162.3173199"},{"key":"408_CR268","doi-asserted-by":"publisher","unstructured":"Malik R, \u00c5kesson K, Flordal H, Fabian M (2017) Supremica \u2013 An efficient tool for large-scale discrete event systems. In: Proc. 20th IFAC World Congress. IFAC-PapersOnLine, vol 50, pp 5794\u20135799. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2017.08.427","DOI":"10.1016\/j.ifacol.2017.08.427"},{"key":"408_CR269","doi-asserted-by":"publisher","unstructured":"Kejela C, Devaraj R, Sarkar A, Saha S (2022) A supervisory control approach for scheduling real-time periodic tasks on dynamically reconfigurable platforms. In: Proc. 25th Euromicro Conference on Digital System Design (DSD), pp 1\u20138. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/DSD57027.2022.00010","DOI":"10.1109\/DSD57027.2022.00010"},{"key":"408_CR270","doi-asserted-by":"publisher","unstructured":"Devaraj R, Sarkar A, Biswas S (2022) Non-preemptive real-time task scheduling on heterogeneous systems - A supervisory control based optimal approach. In: Proc. 20th European Control Conference (ECC), pp 900\u2013905. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.23919\/ECC55457.2022.9838353","DOI":"10.23919\/ECC55457.2022.9838353"},{"issue":"1","key":"408_CR271","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1109\/TSG.2017.2745491","volume":"10","author":"A Kharrazi","year":"2019","unstructured":"Kharrazi A, Mishra Y, Sreeram V (2019) Discrete-event systems supervisory control for a custom power park. IEEE Trans Smart Grid 10(1):483\u2013492. https:\/\/doi.org\/10.1109\/TSG.2017.2745491","journal-title":"IEEE Trans Smart Grid"},{"issue":"2","key":"408_CR272","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1109\/TPWRD.2020.2988687","volume":"36","author":"A Ghasaei","year":"2021","unstructured":"Ghasaei A, Zhang ZJ, Wonham WM, Iravani R (2021) A discrete-event supervisory control for the AC microgrid. IEEE Trans Power Deliv 36(2):663\u2013675. https:\/\/doi.org\/10.1109\/TPWRD.2020.2988687","journal-title":"IEEE Trans Power Deliv"},{"issue":"1","key":"408_CR273","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1109\/TSMC.2019.2895345","volume":"50","author":"KT Seow","year":"2020","unstructured":"Seow KT (2020) Supervisory control of blockchain networks. IEEE Trans Syst Man Cybern Syst 50(1):159\u2013171. https:\/\/doi.org\/10.1109\/TSMC.2019.2895345","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"408_CR274","doi-asserted-by":"publisher","unstructured":"Toda K, Kuze N, Ushio T (2021) Modeling and supervisory control of blockchain forks. IEICE Trans Fundam Electron Commun Comput Sci 104(2):474\u2013475. https:\/\/doi.org\/10.1587\/transfun.2020MAL0001","DOI":"10.1587\/transfun.2020MAL0001"},{"key":"408_CR275","doi-asserted-by":"publisher","unstructured":"Leite PACF, Baldissera FL, Cury JER (2020) State-based supervisory control with restrictions on the supervisor realization. Discret Event Dyn Syst 30:671\u2013693. https:\/\/doi.org\/10.1007\/s10626-020-00319-9","DOI":"10.1007\/s10626-020-00319-9"},{"key":"408_CR276","doi-asserted-by":"publisher","unstructured":"Lin C, Qiu D, Deng W (2020) Library readers flow control based on the supervisory control theory of discrete-event systems. In: Proc. 4th Conference on Computer Science and Application Engineering (CSAE), pp 87\u20131875. ACM, New York, NY. https:\/\/doi.org\/10.1145\/3424978.3425066","DOI":"10.1145\/3424978.3425066"},{"key":"408_CR277","unstructured":"Zavatteri M, Bresolin D, Rizzi R, Villa T (2022) Dynamic controllability of temporal networks via supervisory control. In: Proc. 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY). CEUR Workshop Proceedings, vol 3311, pp 27\u201331. CEUR-WS.org, Aachen. https:\/\/ceur-ws.org\/Vol-3311\/paper5.pdf"},{"key":"408_CR278","doi-asserted-by":"publisher","unstructured":"Koumboulis FN, Fragkoulis DG, Michalainas VC (2017) Modular supervisory control for mining process elevator systems. In: Proc. 6th Conference on Modern Circuits and Systems Technologies (MOCAST), pp 1\u20134. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/MOCAST.2017.7937614","DOI":"10.1109\/MOCAST.2017.7937614"},{"key":"408_CR279","doi-asserted-by":"publisher","unstructured":"Reijnen FFH, Goorden MA, van de Mortel-Fronczak JM, Rooda JE (2020) Modeling for supervisor synthesis \u2013 A lock-bridge combination case study. Discret Event Dyn Syst 30:499\u2013532. https:\/\/doi.org\/10.1007\/s10626-020-00314-0","DOI":"10.1007\/s10626-020-00314-0"},{"key":"408_CR280","doi-asserted-by":"publisher","unstructured":"Reijnen FFH, Verbakel JJ, van de Mortel-Fronczak JM, Rooda JE (2019) Hardware-in-the-loop set-up for supervisory controllers with an application: The Prinses Marijke complex. In: Proc. Conference on Control Technology and Applications (CCTA), pp 843\u2013850. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CCTA.2019.8920561","DOI":"10.1109\/CCTA.2019.8920561"},{"key":"408_CR281","unstructured":"Moormann L, Maessen P, Goorden MA, van de Mortel-Fronczak JM, Rooda JE (2020) Design of a tunnel supervisory controller using synthesis-based engineering. In: ITA-AITES World Tunnel Congress (WTC) and 46th General Assembly, pp 573\u2013578"},{"key":"408_CR282","doi-asserted-by":"publisher","unstructured":"Moormann L, Hofkamp AT, van de Mortel-Fronczak JM, Fokkink WJ, Rooda JE (2022) Derivation and hardware-in-the-loop testing for a road tunnel controller. In: Proc. 16th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnLine, vol 55, pp 363\u2013370. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2022.10.367","DOI":"10.1016\/j.ifacol.2022.10.367"},{"key":"408_CR283","unstructured":"Moormann L, van Hegelsom J, van de Mortel-Fronczak JM, Maaessen P, Fokkink WJ, Rooda JE (2022) Digital twins for the validation of road tunnel controllers. In: ITA-AITES World Tunnel Congress (WTC) and 47th General Assembly"},{"key":"408_CR284","doi-asserted-by":"publisher","unstructured":"Verbakel JJ, Vos de Wael MEW, van de Mortel-Fronczak JM, Fokkink WJ, Rooda JE (2022) Supervisory control of roadside units. In: Proc. 16th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnLine, vol 55, pp 79\u201386. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2022.10.327","DOI":"10.1016\/j.ifacol.2022.10.327"},{"key":"408_CR285","doi-asserted-by":"publisher","unstructured":"Goorden MA, van de Mortel-Fronczak JM, van Eldik K, Fokkink WJ, Rooda JE (2022) Lessons learned in the application of formal methods to the design of a storm surge barrier control system. In: Proc. 16th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnLine, vol 55, pp 93\u201399. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2022.10.329","DOI":"10.1016\/j.ifacol.2022.10.329"},{"key":"408_CR286","doi-asserted-by":"publisher","unstructured":"Reijnen FFH, van de Mortel-Fronczak JM, Reniers MA, Rooda JE (2020) Design of a supervisor platform for movable bridges. In: Proc. 16th Conference on Automation Science and Engineering (CASE), pp 1300\u20131306. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CASE48305.2020.9216894","DOI":"10.1109\/CASE48305.2020.9216894"},{"key":"408_CR287","doi-asserted-by":"publisher","unstructured":"Malik R, Fabian M, \u00c5kesson K (2011) Modelling large-scale discrete-event systems using modules, aliases, and extended finite-state automata. In: Proc. 18th IFAC World Congress. IFAC Proceedings Volumes, vol 44, pp 7000\u20137005. Elsevier, Amsterdam. https:\/\/doi.org\/10.3182\/20110828-6-IT-1002.00593","DOI":"10.3182\/20110828-6-IT-1002.00593"},{"issue":"2","key":"408_CR288","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s10626-010-0089-0","volume":"21","author":"L Grigorov","year":"2011","unstructured":"Grigorov L, Butler BE, Cury JER, Rudie K (2011) Conceptual design of discrete-event systems using templates. Discret Event Dyn Syst 21(2):257\u2013303. https:\/\/doi.org\/10.1007\/s10626-010-0089-0","journal-title":"Discret Event Dyn Syst"},{"key":"408_CR289","doi-asserted-by":"publisher","unstructured":"Moormann L, van de Mortel-Fronczak JM, Rooda JE (2021) Design of a parameter-based modeling platform for road tunnel supervisory controllers. In: Proc. 5th Conference on Control Technology and Applications (CCTA), pp 1024\u20131030. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CCTA48906.2021.9658713","DOI":"10.1109\/CCTA48906.2021.9658713"},{"key":"408_CR290","doi-asserted-by":"publisher","unstructured":"Verbakel JJ, Vos de Wael MEW, van de Mortel-Fronczak JM, Fokkink WJ, Rooda JE (2021) A configurator for supervisory controllers of roadside systems. In: Proc. 17th Conference on Automation Science and Engineering (CASE), pp 784\u2013791. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CASE49439.2021.9551485","DOI":"10.1109\/CASE49439.2021.9551485"},{"key":"408_CR291","doi-asserted-by":"publisher","unstructured":"Pinto LI, Leal AB, Rosso RSU (2017) Safe dynamic reconfiguration through supervisory control in IEC 61499 compliant systems. In: Proc. 15th Conference on Industrial Informatics (INDIN), pp 753\u2013758. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/INDIN.2017.8104866","DOI":"10.1109\/INDIN.2017.8104866"},{"key":"408_CR292","doi-asserted-by":"publisher","unstructured":"Basile D (2019) Applying supervisory control synthesis to priced featured automata and energy problems. Int J Softw Tools Technol Transf 21:679\u2013689. https:\/\/doi.org\/10.1007\/s10009-019-00533-3","DOI":"10.1007\/s10009-019-00533-3"},{"key":"408_CR293","doi-asserted-by":"publisher","unstructured":"Reniers MA, Thuijsman SB (2020) Supervisory control for dynamic feature configuration in product lines. In: Proc. 23rd Forum for Specification and Design Languages (FDL), pp 1\u20138. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/FDL50818.2020.9232937","DOI":"10.1109\/FDL50818.2020.9232937"},{"key":"408_CR294","doi-asserted-by":"publisher","unstructured":"Fabian M, Hellgren A (1998) PLC-based implementation of supervisory control for discrete event systems. In: Proc. 37th Conference on Decision and Control (CDC), pp 3305\u20133310. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC.1998.758209","DOI":"10.1109\/CDC.1998.758209"},{"key":"408_CR295","doi-asserted-by":"publisher","unstructured":"Vieira AD, Santos EAP, de Queiroz MH, Leal AB, de Paula Neto AD, Cury JER (2017) A method for PLC implementation of supervisory control of discrete event systems. IEEE Trans Control Syst Technol 25(1):175\u2013191. https:\/\/doi.org\/10.1109\/TCST.2016.2544702","DOI":"10.1109\/TCST.2016.2544702"},{"key":"408_CR296","doi-asserted-by":"publisher","unstructured":"Reijnen FFH, Hofkamp AT, van de Mortel-Fronczak JM, Reniers MA, Rooda JE (2019) Finite response and confluence of state-based supervisory controllers. In: Proc. 15th Conference on Automation Science and Engineering (CASE), pp 509\u2013516. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/COASE.2019.8843335","DOI":"10.1109\/COASE.2019.8843335"},{"issue":"1","key":"408_CR297","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s10626-021-00350-4","volume":"32","author":"FFH Reijnen","year":"2022","unstructured":"Reijnen FFH, Erens TR, van de Mortel-Fronczak JM, Rooda JE (2022) Supervisory controller synthesis and implementation for safety PLCs. Discret Event Dyn Syst 32(1):115\u2013141. https:\/\/doi.org\/10.1007\/s10626-021-00350-4","journal-title":"Discret Event Dyn Syst"},{"key":"408_CR298","doi-asserted-by":"publisher","unstructured":"G\u00f6be F, Aydin S, Kowalewski S (2017) Applicability of supervisory control theory for the supervision of PLC programs. In: Proc. 22nd Conference on Emerging Technologies and Factory Automation (ETFA), pp 1\u20138. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/ETFA.2017.8247575","DOI":"10.1109\/ETFA.2017.8247575"},{"key":"408_CR299","doi-asserted-by":"publisher","unstructured":"Sakata K, Fujita S, Sawada K (2021) Synthesis of resilient third-party monitoring system against cyberattacks via supervisory control. In: Proc. International Conference on Consumer Electronics (ICCE), pp 1\u20136. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/ICCE50685.2021.9427669","DOI":"10.1109\/ICCE50685.2021.9427669"},{"key":"408_CR300","doi-asserted-by":"publisher","unstructured":"Searle K, Hashtrudi-Zad S (2017) Microcontroller based supervisory control of a solar tracker. In: Proc. 30th Canadian Conference on Electrical and Computer Engineering (CCECE), pp 1\u20136. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CCECE.2017.7946686","DOI":"10.1109\/CCECE.2017.7946686"},{"key":"408_CR301","doi-asserted-by":"publisher","unstructured":"Mirzae F, Pouyan AA, Biglari M (2020) Automatic controller code generation for swarm robotics using probabilistic timed supervisory control theory (ptSCT). J Intell Robot Syst 100:729\u2013750. https:\/\/doi.org\/10.1007\/s10846-020-01201-4","DOI":"10.1007\/s10846-020-01201-4"},{"key":"408_CR302","doi-asserted-by":"publisher","unstructured":"Pinciroli C, Trianni V, O\u2019Grady R, Pini G, Brutschy A, Brambilla M, Mathews N, Ferrante E, Di Caro G, Ducatelle F, Birattari M, Gambardella LM, Dorigo M (2012) ARGoS: A modular, parallel, multi-engine simulator for multi-robot systems. Swarm Intell 6:271\u2013295. https:\/\/doi.org\/10.1007\/s11721-012-0072-5","DOI":"10.1007\/s11721-012-0072-5"},{"key":"408_CR303","doi-asserted-by":"publisher","unstructured":"Jordan C, Ma C, Provost J (2017) An educational toolbox on supervisory control theory using MATLAB Simulink stateflow: From theory to practice in one week. In: Proc. Global Engineering Education Conference (EDUCON), pp 632\u2013639 . https:\/\/doi.org\/10.1109\/EDUCON.2017.7942912","DOI":"10.1109\/EDUCON.2017.7942912"},{"key":"408_CR304","doi-asserted-by":"publisher","unstructured":"Lu X, Pi\u00e9trac L, Niel E (2017) A new approach of modeling supervisory control for manufacturing systems based on SysML. In: Proc. 22nd Conference on Emerging Technologies and Factory Automation (ETFA), pp 1\u20139. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/ETFA.2017.8247626","DOI":"10.1109\/ETFA.2017.8247626"},{"issue":"2","key":"408_CR305","doi-asserted-by":"publisher","first-page":"986","DOI":"10.1109\/TAC.2016.2570748","volume":"62","author":"P Felli","year":"2017","unstructured":"Felli P, Yadav N, Sardina S (2017) Supervisory control for behavior composition. IEEE Trans Autom Contr 62(2):986\u2013991. https:\/\/doi.org\/10.1109\/TAC.2016.2570748","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR306","doi-asserted-by":"publisher","unstructured":"Farhat H (2018) Web service composition via supervisory control theory. IEEE Access 6:59779\u201359789. https:\/\/doi.org\/10.1109\/ACCESS.2018.2874564","DOI":"10.1109\/ACCESS.2018.2874564"},{"key":"408_CR307","doi-asserted-by":"publisher","unstructured":"Atampore F, Dingel J, Rudie K (2019) A controller synthesis framework for automated service composition. Discret Event Dyn Syst 29:297\u2013365. https:\/\/doi.org\/10.1007\/s10626-019-00282-0","DOI":"10.1007\/s10626-019-00282-0"},{"key":"408_CR308","doi-asserted-by":"publisher","unstructured":"Basile D, ter Beek MH, Degano P, Legay A, Ferrari GL, Gnesi S, Di Giandomenico F (2020) Controller synthesis of service contracts with variability. Sci Comput Program 187:102344. https:\/\/doi.org\/10.1016\/j.scico.2019.102344","DOI":"10.1016\/j.scico.2019.102344"},{"key":"408_CR309","doi-asserted-by":"publisher","unstructured":"Basile D, ter Beek MH, Pugliese R (2020) Synthesis of orchestrations and choreographies: Bridging the gap between supervisory control and coordination of services. Log Methods Comput Sci 16(2) https:\/\/doi.org\/10.23638\/LMCS-16(2:9)2020","DOI":"10.23638\/LMCS-16(2:9)2020"},{"issue":"2","key":"408_CR310","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s10009-017-0461-6","volume":"21","author":"M Routhier","year":"2019","unstructured":"Routhier M, St-Denis R (2019) A qualitative assessment of $$\\alpha $$Rby in the perspective of the supervisory control theory. Int J Softw Tools Technol Transf 21(2):121\u2013141. https:\/\/doi.org\/10.1007\/s10009-017-0461-6","journal-title":"Int J Softw Tools Technol Transf"},{"key":"408_CR311","doi-asserted-by":"publisher","unstructured":"Fraikin B, Frappier M, St-Denis R (2014) Supervisory control theory with Alloy. Sci Comput Program 94:217\u2013237. https:\/\/doi.org\/10.1016\/j.scico.2014.04.016","DOI":"10.1016\/j.scico.2014.04.016"},{"key":"408_CR312","doi-asserted-by":"publisher","unstructured":"Claessen K, Kilhamn J, Kov\u00e1cs L, Lennartson B (2017) A supervisory control algorithm based on property-directed reachability. In: Proc. 13th Haifa Verification Conference (HVC). Lecture Notes in Computer Science, pp 115\u2013130. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-319-70389-3_8","DOI":"10.1007\/978-3-319-70389-3_8"},{"key":"408_CR313","doi-asserted-by":"publisher","unstructured":"Shoaei MR, Kov\u00e1cs L, Lennartson B (2014) Supervisory control of discrete-event systems via IC3. In: Proc. 10th Haifa Verification Conference (HVC). Lecture Notes in Computer Science, vol 8855, pp 252\u2013266. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-319-13338-6_19","DOI":"10.1007\/978-3-319-13338-6_19"},{"key":"408_CR314","doi-asserted-by":"publisher","unstructured":"E\u00e9n N, Mishchenko A, Brayton RK (2011) Efficient implementation of property directed reachability. In: Proc. 11th Conference on Formal Methods in Computer-Aided Design (FMCAD), pp 125\u2013134. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.5555\/2157654.2157675","DOI":"10.5555\/2157654.2157675"},{"issue":"9","key":"408_CR315","doi-asserted-by":"publisher","first-page":"1336","DOI":"10.1109\/TAC.2005.854612","volume":"50","author":"RJ Leduc","year":"2005","unstructured":"Leduc RJ, Lawford M, Wonham WM (2005) Hierarchical interface-based supervisory control - Part II: Parallel case. IEEE Trans Autom Control 50(9):1336\u20131348. https:\/\/doi.org\/10.1109\/TAC.2005.854612","journal-title":"IEEE Trans Autom Control"},{"key":"408_CR316","doi-asserted-by":"crossref","unstructured":"Davydov A, Larionov A, Nagul N (2020) Logic inference based construction of a supervisor for a discrete event system. In: Proc. 2nd International Workshop on Information, Computation, and Control Systems for Distributed Environments (ICCS-DE), vol 2638, pp 53\u201367. CEUR, Aachen. https:\/\/ceur-ws.org\/Vol-2638\/paper5.pdf","DOI":"10.47350\/ICCS-DE.2020.05"},{"key":"408_CR317","doi-asserted-by":"crossref","unstructured":"Davydov A, Larionov A, Nagul N (2021) Modular discrete event systems control based on logic inference. In: Proc. 3rd International Workshop on Information, Computation, and Control Systems for Distributed Environments (ICCS-DE), vol 2913, pp 32\u201346. CEUR, Aachen. https:\/\/ceur-ws.org\/Vol-2913\/paper3.pdf","DOI":"10.47350\/ICCS-DE.2021.03"},{"key":"408_CR318","doi-asserted-by":"publisher","unstructured":"Zhu Y, Lin L, Su R (2019) Supervisor obfuscation against actuator enablement attack. In: Proc. 17th European Control Conference (ECC), pp 1760\u20131765. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.23919\/ECC.2019.8795844","DOI":"10.23919\/ECC.2019.8795844"},{"key":"408_CR319","doi-asserted-by":"publisher","unstructured":"Neider, D.: Computing minimal separating DFAs and regular invariants using SAT and SMT solvers. In: Proc. 10th Symposium on Automated Technology for Verification and Analysis (ATVA). Lecture Notes in Computer Science, vol 7561, pp 354\u2013369. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-33386-6_28","DOI":"10.1007\/978-3-642-33386-6_28"},{"key":"408_CR320","doi-asserted-by":"publisher","unstructured":"Lin L, Zhu Y, Su R (2019) Towards bounded synthesis of resilient supervisors. In: Proc. 58th Conference on Decision and Control (CDC), pp 7659\u20137664. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CDC40024.2019.9030171","DOI":"10.1109\/CDC40024.2019.9030171"},{"key":"408_CR321","doi-asserted-by":"publisher","unstructured":"Milner R (1980) A Calculus of Communicating Systems. Lecture Notes in Computer Science, vol 92. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/3-540-10235-3","DOI":"10.1007\/3-540-10235-3"},{"issue":"5","key":"408_CR322","doi-asserted-by":"publisher","first-page":"754","DOI":"10.1109\/TAC.2006.875036","volume":"51","author":"C Zhou","year":"2006","unstructured":"Zhou C, Kumar R, Jiang S (2006) Control of nondeterministic discrete-event systems for bisimulation equivalence. IEEE Trans Automat Contr 51(5):754\u2013765. https:\/\/doi.org\/10.1109\/TAC.2006.875036","journal-title":"IEEE Trans Automat Contr"},{"key":"408_CR323","doi-asserted-by":"publisher","unstructured":"Kimura K, Takai S (2014) Bisimilarity control of nondeterministic discrete event systems under event and state observations. IEICE Trans Inf Syst 97-D(5):1140\u20131148. https:\/\/doi.org\/10.1587\/transinf.E97.D.1140","DOI":"10.1587\/transinf.E97.D.1140"},{"key":"408_CR324","doi-asserted-by":"crossref","unstructured":"Takai, S.: Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications. Autom. 108 (2019) 10.1016\/j.automatica.2019.06.022","DOI":"10.1016\/j.automatica.2019.06.022"},{"issue":"5","key":"408_CR325","doi-asserted-by":"publisher","first-page":"1457","DOI":"10.1109\/TAC.2017.2747408","volume":"63","author":"N Kushi","year":"2018","unstructured":"Kushi N, Takai S (2018) Synthesis of similarity enforcing supervisors for nondeterministic discrete event systems. IEEE Trans Automat Contr 63(5):1457\u20131464. https:\/\/doi.org\/10.1109\/TAC.2017.2747408","journal-title":"IEEE Trans Automat Contr"},{"key":"408_CR326","doi-asserted-by":"publisher","unstructured":"Takai S (2021) Synthesis of maximally permissive supervisors for nondeterministic discrete event systems with nondeterministic specifications. IEEE Trans Autom Contr 66(7):3197\u20133204. https:\/\/doi.org\/10.1109\/TAC.2020.3015453","DOI":"10.1109\/TAC.2020.3015453"},{"key":"408_CR327","doi-asserted-by":"publisher","unstructured":"Li J, Takai S (2022) Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems. Autom 135:109978. https:\/\/doi.org\/10.1016\/j.automatica.2021.109978","DOI":"10.1016\/j.automatica.2021.109978"},{"key":"408_CR328","doi-asserted-by":"publisher","unstructured":"Li J, Takai S (2022) Modular similarity control of nondeterministic discrete event systems with modular specifications. IEEE Control Syst Lett 6:1358\u20131363. https:\/\/doi.org\/10.1109\/LCSYS.2021.3093834","DOI":"10.1109\/LCSYS.2021.3093834"},{"key":"408_CR329","doi-asserted-by":"publisher","unstructured":"Li J, Takai S (2022) Maximally permissive modular similarity control of composite nondeterministic discrete event systems. IEEE Control Syst Lett 6:2305\u20132310. https:\/\/doi.org\/10.1109\/LCSYS.2022.3149132","DOI":"10.1109\/LCSYS.2022.3149132"},{"issue":"1","key":"408_CR330","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s10626-016-0231-8","volume":"27","author":"AC van Hulst","year":"2017","unstructured":"van Hulst AC, Reniers MA, Fokkink WJ (2017) Maximally permissive controlled system synthesis for non-determinism and modal logic. Discret Event Dyn Syst 27(1):109\u2013142. https:\/\/doi.org\/10.1007\/s10626-016-0231-8","journal-title":"Discret Event Dyn Syst"},{"issue":"1","key":"408_CR331","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/2680540","volume":"14","author":"AC van Hulst","year":"2015","unstructured":"van Hulst AC, Reniers MA, Fokkink WJ (2015) Maximal synthesis for Hennessy-Milner logic. ACM Trans Embed Comput Syst 14(1):10\u201311021. https:\/\/doi.org\/10.1145\/2680540","journal-title":"ACM Trans Embed Comput Syst"},{"issue":"2","key":"408_CR332","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1109\/TCST.2018.2877621","volume":"28","author":"BC Rawlings","year":"2020","unstructured":"Rawlings BC, Lafortune S, Ydstie BE (2020) Supervisory control of labeled transition systems subject to multiple reachability requirements via symbolic model checking. IEEE Trans Control Syst Technol 28(2):644\u2013652. https:\/\/doi.org\/10.1109\/TCST.2018.2877621","journal-title":"IEEE Trans Control Syst Technol"},{"key":"408_CR333","doi-asserted-by":"publisher","unstructured":"Mohajerani S, Malik R, Wintenberg A, Lafortune S, Ozay N (2021) Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Autom 130:109723. https:\/\/doi.org\/10.1016\/j.automatica.2021.109723","DOI":"10.1016\/j.automatica.2021.109723"},{"issue":"11","key":"408_CR334","doi-asserted-by":"publisher","first-page":"5269","DOI":"10.1109\/TAC.2020.3037156","volume":"66","author":"KT Seow","year":"2021","unstructured":"Seow KT (2021) Supervisory control of fair discrete-event systems: A canonical temporal logic foundation. IEEE Trans Autom Contr 66(11):5269\u20135282. https:\/\/doi.org\/10.1109\/TAC.2020.3037156","journal-title":"IEEE Trans Autom Contr"},{"issue":"2","key":"408_CR335","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin D (1987) Learning regular sets from queries and counterexamples. Inf Comput 75(2):87\u2013106. https:\/\/doi.org\/10.1016\/0890-5401(87)90052-6","journal-title":"Inf Comput"},{"key":"408_CR336","doi-asserted-by":"publisher","unstructured":"Yang X, Lemmon M, Antsaklis P (1995) Inductive inference of logical DES controllers using the $$L^\\ast $$ algorithm. In: Proc. 14th American Control Conference (ACC), pp 3163\u20133167. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/ACC.1995.532099","DOI":"10.1109\/ACC.1995.532099"},{"issue":"10","key":"408_CR337","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 Contr 63(10):3345\u20133360. https:\/\/doi.org\/10.1109\/TAC.2018.2793662","journal-title":"IEEE Trans Autom Contr"},{"issue":"1","key":"408_CR338","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1109\/TASE.2019.2929563","volume":"17","author":"H Zhang","year":"2020","unstructured":"Zhang H, Feng L, Li Z (2020) Control of black-box embedded systems by integrating automaton learning and supervisory control theory of discrete-event systems. IEEE Trans Autom Sci Eng 17(1):361\u2013374. https:\/\/doi.org\/10.1109\/TASE.2019.2929563","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"408_CR339","doi-asserted-by":"publisher","unstructured":"Farooqui A, Fabian M (2019) Synthesis of supervisors for unknown plant models using active learning. In: Proc. 15th Conference on Automation Science and Engineering (CASE), pp 502\u2013508. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/COASE.2019.8843177","DOI":"10.1109\/COASE.2019.8843177"},{"key":"408_CR340","doi-asserted-by":"publisher","unstructured":"Farooqui A, Hagebring F, Fabian M (2020) Active learning of modular plant models. In: Proc. 15th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnline, vol 53, pp 296\u2013302. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.028","DOI":"10.1016\/j.ifacol.2021.04.028"},{"key":"408_CR341","doi-asserted-by":"publisher","unstructured":"Hagebring F, Farooqui A, Fabian M (2020) Modular supervisory synthesis for unknown plant models using active learning. In: Proc. 15th Workshop on Discrete Event Systems (WODES). IFAC-PapersOnline, vol 53, pp 324\u2013330. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.032","DOI":"10.1016\/j.ifacol.2021.04.032"},{"key":"408_CR342","doi-asserted-by":"publisher","unstructured":"Farooqui A, Hagebring F, Fabian M (2021) MIDES: A tool for supervisor synthesis via active learning. In: Proc. 17th Conference on Automation Science and Engineering (CASE), pp 792\u2013797. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.1109\/CASE49439.2021.9551435","DOI":"10.1109\/CASE49439.2021.9551435"},{"key":"408_CR343","doi-asserted-by":"publisher","unstructured":"Wu B, Zhang X, Lin H (2021) Supervisor synthesis of POMDP via automata learning. Autom 129:109654. https:\/\/doi.org\/10.1016\/j.automatica.2021.109654","DOI":"10.1016\/j.automatica.2021.109654"},{"issue":"2","key":"408_CR344","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10626-015-0223-0","volume":"27","author":"R Ehlers","year":"2017","unstructured":"Ehlers R, Lafortune S, Tripakis S, Vardi MY (2017) Supervisory control and reactive synthesis: A comparative introduction. Discret Event Dyn Syst 27(2):209\u2013260. https:\/\/doi.org\/10.1007\/s10626-015-0223-0","journal-title":"Discret Event Dyn Syst"},{"issue":"1","key":"408_CR345","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/s10626-019-00299-5","volume":"30","author":"A-K Schmuck","year":"2020","unstructured":"Schmuck A-K, Moor T, Majumdar R (2020) On the relation between reactive synthesis and supervisory control of non-terminating processes. Discret Event Dyn Syst 30(1):81\u2013124. https:\/\/doi.org\/10.1007\/s10626-019-00299-5","journal-title":"Discret Event Dyn Syst"},{"key":"408_CR346","doi-asserted-by":"publisher","unstructured":"Ramezani Z, Krook J, Fei Z, Fabian M, \u00c5kesson K (2019) Comparative case studies of reactive synthesis and supervisory control. In: Proc. 17th European Control Conference (ECC), pp 1752\u20131759. IEEE, Piscataway, NJ. https:\/\/doi.org\/10.23919\/ECC.2019.8795696","DOI":"10.23919\/ECC.2019.8795696"},{"key":"408_CR347","doi-asserted-by":"publisher","unstructured":"Schmuck A-K, Moor T, Schmidt KW (2020) A reactive synthesis approach to supervisory control of terminating processes. In: Proc. 21st IFAC World Congress. IFAC-PapersOnLine, vol 53, pp 2149\u20132156. Elsevier, Amsterdam. https:\/\/doi.org\/10.1016\/j.ifacol.2020.12.2541","DOI":"10.1016\/j.ifacol.2020.12.2541"},{"issue":"8","key":"408_CR348","doi-asserted-by":"publisher","first-page":"3502","DOI":"10.1109\/TAC.2019.2948270","volume":"65","author":"DA Ciolek","year":"2020","unstructured":"Ciolek DA, Braberman VA, D\u2019Ippolito N, Sardi\u00f1a S, Uchitel S (2020) Compositional supervisory control via reactive synthesis and automated planning. IEEE Trans Autom Contr 65(8):3502\u20133516. https:\/\/doi.org\/10.1109\/TAC.2019.2948270","journal-title":"IEEE Trans Autom Contr"},{"key":"408_CR349","doi-asserted-by":"publisher","unstructured":"Haslum P, Lipovetzky N, Magazzeni D, Muise C (2019) An Introduction to the Planning Domain Definition Language. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-031-01584-7","DOI":"10.1007\/978-3-031-01584-7"},{"key":"408_CR350","doi-asserted-by":"publisher","unstructured":"Fokkink WJ, Goorden MA, Hendriks D, van Beek DA, Hofkamp AT, Reijnen FFH, Etman LFP, Moormann L, van de Mortel-Fronczak JM, Reniers MA, Rooda JE, van der Sanden LJ, Schiffelers RRH, Thuijsman SB, Verbakel JJ, Vogel JA (2023) Eclipse ESCET\u2122: The Eclipse Supervisory Control Engineering Toolkit. In: Proc. 29th Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science, vol 13994, pp 44\u201352. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-031-30820-8_6","DOI":"10.1007\/978-3-031-30820-8"},{"issue":"10","key":"408_CR351","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/MC.2021.3134934","volume":"55","author":"WJ Fokkink","year":"2022","unstructured":"Fokkink WJ, Goorden MA, van de Mortel-Fronczak JM, Reijnen FFH, Rooda JE (2022) Supervisor synthesis: Bridging theory and practice. Computer 55(10):48\u201354. https:\/\/doi.org\/10.1109\/MC.2021.3134934","journal-title":"Computer"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00408-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-024-00408-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00408-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,9]],"date-time":"2024-12-09T05:06:15Z","timestamp":1733720775000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-024-00408-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,15]]},"references-count":351,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["408"],"URL":"https:\/\/doi.org\/10.1007\/s10626-024-00408-z","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11,15]]},"assertion":[{"value":"26 June 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 November 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 November 2024","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"}},{"value":"This paper does not contain research involving human participants or animals. No ethical committee was involved in approving the research.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical Approval"}}]}}