{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T09:12:03Z","timestamp":1754557923328,"version":"3.37.3"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,1,7]],"date-time":"2021-01-07T00:00:00Z","timestamp":1609977600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,7]],"date-time":"2021-01-07T00:00:00Z","timestamp":1609977600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100019210","name":"Rijkswaterstaat","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100019210","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100004359","name":"Vetenskapsr\u00e5det","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004359","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":[[2021,9]]},"DOI":"10.1007\/s10626-020-00334-w","type":"journal-article","created":{"date-parts":[[2021,1,7]],"date-time":"2021-01-07T00:44:22Z","timestamp":1609980262000},"page":"317-348","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Compositional coordinator synthesis of extended finite automata"],"prefix":"10.1007","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0641-7240","authenticated-orcid":false,"given":"Martijn A.","family":"Goorden","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1287-9748","authenticated-orcid":false,"given":"Martin","family":"Fabian","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1381-5132","authenticated-orcid":false,"given":"Joanna M.","family":"van de Mortel-Fronczak","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9283-4074","authenticated-orcid":false,"given":"Michel A.","family":"Reniers","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7443-8978","authenticated-orcid":false,"given":"Wan J.","family":"Fokkink","sequence":"additional","affiliation":[]},{"given":"Jacobus E.","family":"Rooda","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,1,7]]},"reference":[{"key":"334_CR1","doi-asserted-by":"publisher","unstructured":"Abdelwahed S, Wonham WM (2003) Interacting DES: modelling and analysis. In: IEEE International conference on systems, man and cybernetics, vol 5, pp 4222\u20134229, DOI https:\/\/doi.org\/10.1109\/ICSMC.2003.1245648","DOI":"10.1109\/ICSMC.2003.1245648"},{"issue":"1","key":"334_CR2","doi-asserted-by":"publisher","first-page":"175","DOI":"10.3182\/20020721-6-ES-1901.00517","volume":"35","author":"K \u00c5kesson","year":"2002","unstructured":"\u00c5kesson K, Flordal H, Fabian M (2002) Exploiting modularity for synthesis and verification of supervisors. IFAC Proc 35(1):175\u2013180. https:\/\/doi.org\/10.3182\/20020721-6-ES-1901.00517","journal-title":"IFAC Proc"},{"issue":"3","key":"334_CR3","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 Autom Control 55(3):605\u2013618","journal-title":"IEEE Trans Autom Control"},{"key":"334_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer, Boston","edition":"2nd edn."},{"key":"334_CR5","doi-asserted-by":"publisher","unstructured":"Chen YL, Lin F (2000) Modeling of discrete event systems using finite state machines with parameters. In: IEEE International conference on control applications. https:\/\/doi.org\/10.1109\/CCA.2000.897591, pp 941\u2013946","DOI":"10.1109\/CCA.2000.897591"},{"key":"334_CR6","doi-asserted-by":"publisher","unstructured":"Chen YL, Lin F (2001) Safety control of discrete event systems using finite state machines with parameters. In: American control conference. https:\/\/doi.org\/10.1109\/ACC.2001.945847, p conference=\u2009975\u2013980,","DOI":"10.1109\/ACC.2001.945847"},{"issue":"1","key":"334_CR7","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/225871.225880","volume":"1","author":"KT Cheng","year":"1996","unstructured":"Cheng KT, Krishnakumar AS (1996) Automatic generation of functional vectors using the extended finite state machine model. ACM Trans Des Autom Electron Syst 1(1):57\u201379. https:\/\/doi.org\/10.1145\/225871.225880","journal-title":"ACM Trans Des Autom Electron Syst"},{"key":"334_CR8","doi-asserted-by":"crossref","unstructured":"de Queiroz MH, Cury JER (2000) Modular supervisory control of large scale discrete event systems. In: Discrete event systems. Springer US, pp 103\u2013110","DOI":"10.1007\/978-1-4615-4493-7_10"},{"key":"334_CR9","doi-asserted-by":"crossref","unstructured":"Fabian M, Fei Z, Miremadi S, Lennartson B, \u00c5kesson K (2014) Supervisory control of manufacturing systems using extended finite automata. In: Campos J, Seatzo C, Xie X (eds) Formal methods in manufacturing, Industrial information technology. Taylor & Francis Inc., pp 295\u2013314","DOI":"10.1201\/b16529-13"},{"issue":"6","key":"334_CR10","doi-asserted-by":"publisher","first-page":"2368","DOI":"10.1109\/TCST.2014.2303134","volume":"22","author":"Z Fei","year":"2014","unstructured":"Fei Z, Miremadi S, \u00c5Kesson K, Lennartson B (2014) Efficient symbolic supervisor synthesis for extended finite automata. IEEE Trans Control Syst Technol 22(6):2368\u20132375. https:\/\/doi.org\/10.1109\/TCST.2014.2303134","journal-title":"IEEE Trans Control Syst Technol"},{"issue":"6","key":"334_CR11","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 Control 53(6):1449\u20131461. https:\/\/doi.org\/10.1109\/TAC.2008.927679","journal-title":"IEEE Trans Autom Control"},{"key":"334_CR12","doi-asserted-by":"publisher","unstructured":"Flordal H, Malik R (2006) Modular nonblocking verification using conflict equivalence. In: 8th International workshop on discrete event systems. https:\/\/doi.org\/10.1109\/WODES.2006.1678415, pp 100\u2013106","DOI":"10.1109\/WODES.2006.1678415"},{"key":"334_CR13","unstructured":"Gommans RPA (2016) Modular supervisory control synthesis for automata with data. Master thesis, Eindhoven University of Technology, report number CST 2016.119"},{"key":"334_CR14","unstructured":"Hill R, Tilbury D (2006) Modular supervisory control of discrete-event sytems with abstraction and incremental hierarchical construction. In: 8th International workshop on discrete event systems, pp 399\u2013406"},{"key":"334_CR15","doi-asserted-by":"publisher","unstructured":"Komenda J, Masopust T, van Schuppen JH (2016) Control of an engineering-structured multilevel discrete-event system. In: 13th International workshop on discrete event systems. https:\/\/doi.org\/10.1109\/WODES.2016.7497833, pp 103\u2013108","DOI":"10.1109\/WODES.2016.7497833"},{"key":"334_CR16","doi-asserted-by":"publisher","unstructured":"Korssen T, Dolk V, Van de mortel-fronczak JM, Reniers MA, Heemels M (2017) Systematic model-based design and implementation of supervisors for advanced driver assistance systems. IEEE Trans Intell Transp Syst 19(2):533\u2013544. https:\/\/doi.org\/10.1109\/TITS.2017.2776354","DOI":"10.1109\/TITS.2017.2776354"},{"key":"334_CR17","volume-title":"Nonblocking supervisory control of state tree structures. No. 317 in Lecture Notes in Control and Information Sciences","author":"C Ma","year":"2005","unstructured":"Ma C, Wonham WM (2005) Nonblocking supervisory control of state tree structures. No. 317 in Lecture Notes in Control and Information Sciences. Springer, Berlin"},{"key":"334_CR18","doi-asserted-by":"publisher","unstructured":"Malik R, Flordal H (2008) Yet another approach to compositional synthesis of discrete event systems. In: 2008 9th International workshop on discrete event systems. https:\/\/doi.org\/10.1109\/WODES.2008.4605916, pp 16\u201321","DOI":"10.1109\/WODES.2008.4605916"},{"key":"334_CR19","doi-asserted-by":"crossref","unstructured":"Malik R, Teixeira M (2016) Modular supervisor synthesis for extended finite-state machines subject to controllability. In: 13th International workshop on discrete event systems. IEEE, pp 91\u201396","DOI":"10.1109\/WODES.2016.7497831"},{"key":"334_CR20","doi-asserted-by":"publisher","unstructured":"Malik R, Teixeira M (2020) Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction. Discrete Event Dynamic Systems. https:\/\/doi.org\/10.1007\/s10626-019-00302-z","DOI":"10.1007\/s10626-019-00302-z"},{"key":"334_CR21","doi-asserted-by":"crossref","unstructured":"Markovski J, Jacobs KGM, van Beek DA, Somers LJ, Rooda JE (2010) Coordination of resources using generalized state-based requirements. In: 10th International workshop on discrete event systems, pp 300\u2013305","DOI":"10.3182\/20100830-3-DE-4013.00048"},{"key":"334_CR22","unstructured":"Miremadi S, \u00c5kesson K, Lennartson B, Fabian M (2010) Supervisor computation and representation: a case study. In: 10th International Workshop on discrete event systems, pp 275\u2013280"},{"key":"334_CR23","doi-asserted-by":"publisher","unstructured":"Mohajerani S, Malik R, Fabian M (2011) Nondeterminism avoidance in compositional synthesis of discrete event systems. In: 2011 IEEE international conference on automation science and engineering. https:\/\/doi.org\/10.1109\/CASE.2011.6042432, pp 19\u201324","DOI":"10.1109\/CASE.2011.6042432"},{"issue":"1","key":"334_CR24","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 Control 59(1):150\u2013162. https:\/\/doi.org\/10.1109\/TAC.2013.2283109","journal-title":"IEEE Trans Autom Control"},{"issue":"1","key":"334_CR25","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. Discrete Event Dyn Syst 26(1):33\u201384. https:\/\/doi.org\/10.1007\/s10626-015-0217-y","journal-title":"Discrete Event Dyn Syst"},{"key":"334_CR26","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.automatica.2016.10.012","volume":"76","author":"S Mohajerani","year":"2017","unstructured":"Mohajerani S, Malik R, Fabian M (2017) Compositional synthesis of supervisors in the form of state machines and state maps. Automatica 76:277\u2013281. https:\/\/doi.org\/10.1016\/j.automatica.2016.10.012","journal-title":"Automatica"},{"key":"334_CR27","unstructured":"Moormann L, Maessen P, Goorden MA, van de Mortel-Fronczak JM, Rooda E (2020) Design of a tunnel supervisory controller using synthesis-based engineering. In: ITA-AITES World tunnel congress, pp.573\u2013578"},{"issue":"3","key":"334_CR28","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 on Automat Sci and Eng 8(3):560\u2013569. https:\/\/doi.org\/10.1109\/TASE.2011.2124457","journal-title":"IEEE Trans on Automat Sci and Eng"},{"key":"334_CR29","doi-asserted-by":"publisher","unstructured":"Pena PN, da Cunha AEC, Cury JER, Lafortune S (2008) New results on the nonconflict test of modular supervisors. In: 9th International workshop on discrete event systems. https:\/\/doi.org\/10.1109\/WODES.2008.4605991, pp 468\u2013473","DOI":"10.1109\/WODES.2008.4605991"},{"issue":"1","key":"334_CR30","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJG Ramadge","year":"1987","unstructured":"Ramadge PJG, 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"},{"issue":"1","key":"334_CR31","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJG Ramadge","year":"1989","unstructured":"Ramadge PJG, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81\u201398","journal-title":"Proc IEEE"},{"key":"334_CR32","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: IEEE Conference on control technology and applications. https:\/\/doi.org\/10.1109\/CCTA.2017.8062679, pp 1562\u20131568","DOI":"10.1109\/CCTA.2017.8062679"},{"key":"334_CR33","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. Discrete Event Dyn Syst 30(3):499\u2013532. https:\/\/doi.org\/10.1007\/s10626-020-00314-0","DOI":"10.1007\/s10626-020-00314-0"},{"issue":"7","key":"334_CR34","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/j.ifacol.2018.06.310","volume":"51","author":"MA Reniers","year":"2018","unstructured":"Reniers MA (2018) An engineering perspective on model-based design of supervisors. FAC-PapersOnLine 51(7):257\u2013264. https:\/\/doi.org\/10.1016\/j.ifacol.2018.06.310","journal-title":"FAC-PapersOnLine"},{"issue":"11","key":"334_CR35","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 Autom Control 37(11):1692\u20131708","journal-title":"IEEE Trans Autom Control"},{"key":"334_CR36","doi-asserted-by":"publisher","unstructured":"Skoldstam M, \u00c5kesson K, Fabian M (2007) Modeling of discrete event systems using finite automata with variables. In: 46th IEEE Conference on decision and control. https:\/\/doi.org\/10.1109\/CDC.2007.4434894, pp 3387\u20133392","DOI":"10.1109\/CDC.2007.4434894"},{"issue":"1","key":"334_CR37","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. Discrete Event Dyn Syst 14(1):31\u201353. https:\/\/doi.org\/10.1023\/B:DISC.0000005009.40749.b6","journal-title":"Discrete Event Dyn Syst"},{"key":"334_CR38","doi-asserted-by":"publisher","unstructured":"Su R, van Schuppen JH, Rooda JE (2009) Synthesize nonblocking distributed supervisors with coordinators. In: 17th Mediterranean conference on control and automation. https:\/\/doi.org\/10.1109\/MED.2009.5164694, pp 1108\u20131113","DOI":"10.1109\/MED.2009.5164694"},{"issue":"6","key":"334_CR39","doi-asserted-by":"publisher","first-page":"968","DOI":"10.1016\/j.automatica.2010.02.025","volume":"46","author":"R Su","year":"2010","unstructured":"Su R, van Schuppen JH, Rooda JE, Hofkamp AT (2010) Nonconflict check by using sequential automaton abstractions based on weak observation equivalence. Automatica 46(6):968\u2013978. https:\/\/doi.org\/10.1016\/j.automatica.2010.02.025","journal-title":"Automatica"},{"key":"334_CR40","doi-asserted-by":"publisher","unstructured":"Teixeira M, Cury JER, de Queiroz MH (2011) Local modular supervisory control of DES with distinguishers. In: 16th Conference on emerging technologies factory automation. https:\/\/doi.org\/10.1109\/ETFA.2011.6059038, pp 1\u20138","DOI":"10.1109\/ETFA.2011.6059038"},{"key":"334_CR41","doi-asserted-by":"publisher","unstructured":"van Beek DA, Fokkink WJ, Hendriks D, Hofkamp A, Markovski J, van de Mortel-Fronczak JM, Reniers MA (2014) CIf 3: Model-based engineering of supervisory controllers. In: Tools and algorithms for the construction and analysis of systems. Lecture Notes in Computer Science. Springer, Berlin, pp 575\u2013580. https:\/\/doi.org\/10.1007\/978-3-642-54862-848","DOI":"10.1007\/978-3-642-54862-848"},{"issue":"1","key":"334_CR42","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1023\/B:DISC.0000005010.55515.27","volume":"14","author":"K Wong","year":"2004","unstructured":"Wong K, Wonham W (2004) On the computation of observers in discrete-event systems. Discrete Event Dyn Syst 14(1):55\u2013107. https:\/\/doi.org\/10.1023\/B:DISC.0000005010.55515.27","journal-title":"Discrete Event Dyn Syst"},{"issue":"3","key":"334_CR43","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1023\/A:1008210519960","volume":"8","author":"KC Wong","year":"1998","unstructured":"Wong KC, Wonham WM (1998) Modular control and coordination of discrete-event systems. Discrete Event Dyn Syst 8(3):247\u2013297. https:\/\/doi.org\/10.1023\/A:1008210519960","journal-title":"Discrete Event Dyn Syst"},{"key":"334_CR44","doi-asserted-by":"crossref","unstructured":"Wonham W, Cai K, Rudie K (2017) Supervisory control of discrete-event systems: a brief history \u2013 1980-2015. In: 20th IFAC World Congress, pp 1791\u20131797","DOI":"10.1016\/j.ifacol.2017.08.164"},{"key":"334_CR45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77452-7","volume-title":"Supervisory control of discrete-event systems","author":"WM Wonham","year":"2019","unstructured":"Wonham WM, Cai K (2019) Supervisory control of discrete-event systems, 1st edn. Springer, Berlin","edition":"1st edn."},{"issue":"1","key":"334_CR46","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BF02551233","volume":"1","author":"WM Wonham","year":"1988","unstructured":"Wonham WM, Ramadge PJG (1988) Modular supervisory control of discrete-event systems. Math Control Signals Syst 1(1):13\u201330","journal-title":"Math Control Signals Syst"},{"issue":"10","key":"334_CR47","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 Autom Control 35(10):1125\u20131134","journal-title":"IEEE Trans Autom Control"},{"key":"334_CR48","doi-asserted-by":"crossref","unstructured":"Zita A, Mohajerani S, Fabian M (2017) Application of formal verification to the lane change module of an autonomous vehicle. In: 13th IEEE Conference on automation science and engineering","DOI":"10.1109\/COASE.2017.8256223"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-020-00334-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-020-00334-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-020-00334-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,6]],"date-time":"2021-09-06T16:12:01Z","timestamp":1630944721000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-020-00334-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,7]]},"references-count":48,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["334"],"URL":"https:\/\/doi.org\/10.1007\/s10626-020-00334-w","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2021,1,7]]},"assertion":[{"value":"9 May 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 December 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 January 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}