{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T06:46:10Z","timestamp":1770705970039,"version":"3.49.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2014,2,13]],"date-time":"2014-02-13T00:00:00Z","timestamp":1392249600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10626-013-0179-x","type":"journal-article","created":{"date-parts":[[2014,2,12]],"date-time":"2014-02-12T09:11:46Z","timestamp":1392196306000},"page":"65-94","source":"Crossref","is-referenced-by-count":23,"title":["Coordination control of discrete-event systems revisited"],"prefix":"10.1007","volume":"25","author":[{"given":"Jan","family":"Komenda","sequence":"first","affiliation":[]},{"given":"Tom\u00e1\u0161","family":"Masopust","sequence":"additional","affiliation":[]},{"given":"Jan H.","family":"van Schuppen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,2,13]]},"reference":[{"issue":"9","key":"179_CR1","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1109\/9.880613","volume":"45","author":"G Barrett","year":"2000","unstructured":"Barrett G, Lafortune S (2000) Decentralized supervisory control with communicating controllers. IEEE Trans Autom Control 45(9):1620\u20131638","journal-title":"IEEE Trans Autom Control"},{"key":"179_CR2","unstructured":"Boutin ODM, van Schuppen JH (2011) On the control of the paint factory scale model. CWI Technical Report MAC-1103. Available at http:\/\/oai.cwi.nl\/oai\/asset\/18598\/18598D.pdf"},{"key":"179_CR3","first-page":"337","volume-title":"Proceedings of WODES 2012","author":"HJ Bravo","year":"2012","unstructured":"Bravo HJ, Da Cunha AEC, Pena P, Malik R, Cury JER (2012) Generalised verification of the observer property in discrete event systems. In: Proceedings of WODES 2012. Guadalajara, Mexico, pp 337\u2013342"},{"key":"179_CR4","doi-asserted-by":"crossref","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn, Springer","DOI":"10.1007\/978-0-387-68612-7"},{"key":"179_CR5","unstructured":"Feng L (2007) Computationally efficient supervisor design for discrete-event systems. Ph.D. thesis, University of Toronto"},{"key":"179_CR6","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s10626-008-0054-3","volume":"20","author":"L Feng","year":"2010","unstructured":"Feng L, Wonham W (2010) On the computation of natural observers in discrete-event systems. Discret Event Dyn Syst 20:63\u2013102","journal-title":"Discret Event Dyn Syst"},{"key":"179_CR7","unstructured":"Garey MR, Johnson DS (1979) Computers and intractability: a guide to the theory of np-completeness. In: Freeman, W H"},{"issue":"2","key":"179_CR8","doi-asserted-by":"crossref","first-page":"131","DOI":"10.3166\/ejc.10.131-145","volume":"10","author":"B Gaudin","year":"2004","unstructured":"Gaudin B, Marchand H (2004) Supervisory control of product and hierarchical discrete event systems. Eur J Control 10(2):131\u2013145","journal-title":"Eur J Control"},{"key":"179_CR9","doi-asserted-by":"crossref","unstructured":"Komenda J, Masopust T, van Schuppen JH (2011a) Coordinated control of discrete event systems with non-prefix-closed languages. In: Proceedings of IFAC world congress 2011, Milan, Italy, pp 6982\u20136987","DOI":"10.3182\/20110828-6-IT-1002.00173"},{"issue":"7","key":"179_CR10","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1016\/j.sysconle.2011.04.005","volume":"60","author":"J Komenda","year":"2011","unstructured":"Komenda J, Masopust T, van Schuppen JH (2011b) Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator. Syst Control Lett 60(7):492\u2013502","journal-title":"Syst Control Lett"},{"key":"179_CR11","doi-asserted-by":"crossref","unstructured":"Komenda J, Masopust T, van Schuppen JH (2012a) On algorithms and extensions of coordination control of discrete-event systems. In: Proceedings of WODES 2012, Guadalajara, Mexico, pp 245\u2013250","DOI":"10.3182\/20121003-3-MX-4033.00041"},{"issue":"12","key":"179_CR12","doi-asserted-by":"crossref","first-page":"1260","DOI":"10.1016\/j.sysconle.2012.07.013","volume":"61","author":"J Komenda","year":"2012","unstructured":"Komenda J, Masopust T, van Schuppen JH (2012b) On conditional decomposability. Syst Control Lett 61(12):1260\u20131268","journal-title":"Syst Control Lett"},{"issue":"2","key":"179_CR13","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/j.automatica.2011.07.008","volume":"48","author":"J Komenda","year":"2012","unstructured":"Komenda J, Masopust T, van Schuppen JH (2012c) Supervisory control synthesis of discrete-event systems using a coordination scheme. Automatica 48(2):247\u2013254","journal-title":"Automatica"},{"key":"179_CR14","doi-asserted-by":"crossref","unstructured":"Komenda J, Masopust T, van Schuppen JH (2013) Multilevel coordination control of modular DES. In: Proceedings of 52nd IEEE conference on decision and control (CDC)","DOI":"10.1109\/CDC.2013.6760889"},{"key":"179_CR15","doi-asserted-by":"crossref","unstructured":"Komenda J, van Schuppen JH (2008) Coordination control of discrete event systems. In: Proceedings of WODES 2008, Gothenburg, Sweden, pp 9\u201315","DOI":"10.1109\/WODES.2008.4605915"},{"issue":"4","key":"179_CR16","doi-asserted-by":"crossref","first-page":"1127","DOI":"10.1016\/j.automatica.2007.09.004","volume":"44","author":"J Komenda","year":"2008","unstructured":"Komenda J, van Schuppen JH, Gaudin B, Marchand H (2008) Supervisory control of modular systems with global specification languages. Automatica 44(4):1127\u20131134","journal-title":"Automatica"},{"issue":"10","key":"179_CR17","doi-asserted-by":"crossref","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 Autom Control 52(10):1783\u20131794","journal-title":"IEEE Trans Autom Control"},{"issue":"9","key":"179_CR18","doi-asserted-by":"crossref","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","journal-title":"IEEE Trans Autom Control"},{"key":"179_CR19","unstructured":"Moor T et al (2012) libFAUDES \u2013 a discrete event systems library. Available at http:\/\/www.rt.eei.uni-erlangen.de\/FGdes\/faudes\/"},{"key":"179_CR20","unstructured":"Pena P, Cury J, Lafortune S (2008) Polynomial-time verication of the observer property in abstractions. In: Proceedings of ACC 2008, Seattle, pp 465\u2013470"},{"issue":"12","key":"179_CR21","doi-asserted-by":"crossref","first-page":"2803","DOI":"10.1109\/TAC.2009.2031730","volume":"54","author":"PN Pena","year":"2009","unstructured":"Pena PN, Cury JER, Lafortune S (2009) Verification of nonconflict of supervisors using abstractions. IEEE Trans Autom Control 54(12):2803\u20132815","journal-title":"IEEE Trans Autom Control"},{"issue":"1","key":"179_CR22","doi-asserted-by":"crossref","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","journal-title":"SIAM J Control Optim"},{"issue":"9","key":"179_CR23","doi-asserted-by":"crossref","first-page":"1656","DOI":"10.1109\/9.880616","volume":"45","author":"SL Ricker","year":"2000","unstructured":"Ricker SL, Rudie K (2000) Know means no: incorporating knowledge into discrete-event control systems. IEEE Trans Autom Control 45(9):1656\u20131668","journal-title":"IEEE Trans Autom Control"},{"issue":"11","key":"179_CR24","doi-asserted-by":"crossref","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":"179_CR25","doi-asserted-by":"crossref","unstructured":"Schmidt K, Breindl C (2008) On maximal permissiveness of hierarchical and modular supervisory control approaches for discrete event systems. In: Proceedings of WODES 2008, Gothenburg, pp 462\u2013467","DOI":"10.1109\/WODES.2008.4605990"},{"issue":"4","key":"179_CR26","doi-asserted-by":"crossref","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 Control 56(4):723\u2013737","journal-title":"IEEE Trans Autom Control"},{"issue":"10","key":"179_CR27","doi-asserted-by":"crossref","first-page":"2252","DOI":"10.1109\/TAC.2008.2006817","volume":"53","author":"K Schmidt","year":"2008","unstructured":"Schmidt K, Moor T, Perk S (2008) Nonblocking hierarchical control of decentralized discrete event systems. IEEE Trans Autom Control 53(10):2252\u20132265","journal-title":"IEEE Trans Autom Control"},{"issue":"11","key":"179_CR28","doi-asserted-by":"crossref","first-page":"2527","DOI":"10.1109\/TAC.2010.2046931","volume":"55","author":"R Su","year":"2010","unstructured":"Su R, van Schuppen JH, Rooda JE (2010) Model abstraction of nondeterministic finite-state automata in supervisor synthesis. IEEE Trans Autom Control 55(11):2527\u20132541","journal-title":"IEEE Trans Autom Control"},{"issue":"7","key":"179_CR29","doi-asserted-by":"crossref","first-page":"1237","DOI":"10.1016\/j.automatica.2012.04.004","volume":"48","author":"R Su","year":"2012","unstructured":"Su R, van Schuppen JH, Rooda JE (2012) Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems. Automatica 48(7):1237\u20131247","journal-title":"Automatica"},{"key":"179_CR30","unstructured":"Wong K (1998) On the complexity of projections of discrete-event systems. In: Proceedings of WODES 1998, Cagliari, pp 201\u2013206"},{"issue":"3","key":"179_CR31","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF01797154","volume":"6","author":"K Wong","year":"1996","unstructured":"Wong K, Wonham W (1996) Hierarchical control of discrete-event systems. Discret Event Dyn Syst 6(3):241\u2013273","journal-title":"Discret Event Dyn Syst"},{"key":"179_CR32","doi-asserted-by":"crossref","unstructured":"Wonham WM (2012) Supervisory control of discrete-event systems. Lecture notes, University of Toronto. Available at http:\/\/www.control.utoronto.ca\/DES\/","DOI":"10.1007\/978-1-4471-5102-9_54-1"},{"issue":"3","key":"179_CR33","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1023\/A:1015625600613","volume":"12","author":"T Yoo","year":"2002","unstructured":"Yoo T, Lafortune S (2002) A general architecture for decentralized supervisory control of discrete-event systems. Discret Event Dyn Syst 12(3):335\u2013377","journal-title":"Discret Event Dyn Syst"},{"issue":"11","key":"179_CR34","doi-asserted-by":"crossref","first-page":"1886","DOI":"10.1109\/TAC.2004.837595","volume":"49","author":"T Yoo","year":"2004","unstructured":"Yoo T, Lafortune S (2004) Decentralized supervisory control with conditional decisions: supervisor existence. IEEE Trans Autom Control 49(11):1886\u20131904","journal-title":"IEEE Trans Autom Control"},{"issue":"10","key":"179_CR35","doi-asserted-by":"crossref","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"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-013-0179-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-013-0179-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-013-0179-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,26]],"date-time":"2022-03-26T10:47:56Z","timestamp":1648291676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-013-0179-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,13]]},"references-count":35,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["179"],"URL":"https:\/\/doi.org\/10.1007\/s10626-013-0179-x","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2,13]]}}}