{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,25]],"date-time":"2025-04-25T03:40:02Z","timestamp":1745552402657,"version":"3.40.4"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1007\/s10626-025-00411-y","type":"journal-article","created":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T04:28:01Z","timestamp":1744259281000},"page":"51-67","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Hierarchical supervisory control of discrete event systems based on reliable events"],"prefix":"10.1007","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-1262-6190","authenticated-orcid":false,"given":"Rafael Garlet","family":"de Oliveira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2199-3465","authenticated-orcid":false,"given":"Max Hering","family":"de Queiroz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7740-8539","authenticated-orcid":false,"given":"Jos\u00e9 Eduardo","family":"Ribeiro Cury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,4,10]]},"reference":[{"key":"411_CR1","doi-asserted-by":"publisher","unstructured":"Boutin O, Komenda J, Masopust T, Schmidt K, van Schuppen JH (2011) Hierarchical control with partial observations: Sufficient conditions. In: 2011 50th IEEE Conference on decision and control and european control conference, pp 1817\u20131822. https:\/\/doi.org\/10.1109\/CDC.2011.6160686","DOI":"10.1109\/CDC.2011.6160686"},{"issue":"12","key":"411_CR2","doi-asserted-by":"publisher","first-page":"2242","DOI":"10.1109\/TAC.2007.910653","volume":"52","author":"AEC da Cunha","year":"2007","unstructured":"da Cunha AEC, Cury JER (2007) Hierarchical supervisory control based on discrete event systems with flexible marking. IEEE Trans Autom Control 52(12):2242\u20132253. https:\/\/doi.org\/10.1109\/TAC.2007.910653","journal-title":"IEEE Trans Autom Control"},{"key":"411_CR3","doi-asserted-by":"publisher","unstructured":"Feng L, Wonham W (2006) Computationally efficient supervisor design: abstraction and modularity. In: 2006 8th International workshop on discrete event systems, pp 3\u20138. https:\/\/doi.org\/10.1109\/WODES.2006.1678399","DOI":"10.1109\/WODES.2006.1678399"},{"issue":"7","key":"411_CR4","doi-asserted-by":"publisher","first-page":"1152","DOI":"10.1016\/j.automatica.2010.04.002","volume":"46","author":"RC Hill","year":"2010","unstructured":"Hill RC, Cury JER, Queiroz MH, Tilbury DM, Lafortune S (2010) Multi-level hierarchical interface-based supervisory control. Automatica 46(7):1152\u20131164. https:\/\/doi.org\/10.1016\/j.automatica.2010.04.002","journal-title":"Automatica"},{"key":"411_CR5","doi-asserted-by":"publisher","unstructured":"Komenda J, Masopust T, van Schuppen JH (2015) Multilevel coordination control of partially observed modular DES. In: 2015 American control conference (ACC), pp 384\u2013389. https:\/\/doi.org\/10.1109\/ACC.2015.7170766","DOI":"10.1109\/ACC.2015.7170766"},{"key":"411_CR6","doi-asserted-by":"publisher","unstructured":"Leduc RJ, Brandin BA, Lawford M, Wonham W (2005a) Hierarchical interface-based supervisory control - part I: Serial case. IEEE Trans Autom Control 50(9):1322\u20131335. https:\/\/doi.org\/10.1109\/TAC.2005.854586","DOI":"10.1109\/TAC.2005.854586"},{"key":"411_CR7","doi-asserted-by":"publisher","unstructured":"Leduc RJ, Lawford M, Wonham W (2005b) 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","DOI":"10.1109\/TAC.2005.854612"},{"key":"411_CR8","doi-asserted-by":"publisher","unstructured":"Mohajerani S, Malik R, Ware S, Fabian M (2011) On the use of observation equivalence in synthesis abstraction. In: 2011 3rd International workshop on dependable control of discrete systems, pp 84\u201389. https:\/\/doi.org\/10.1109\/DCDS.2011.5970323","DOI":"10.1109\/DCDS.2011.5970323"},{"key":"411_CR9","doi-asserted-by":"publisher","unstructured":"Mohajerani S, Malik R, Fabian M (2012) An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis. IFAC Proceed Volumes 45(29):239\u2013244. https:\/\/doi.org\/10.3182\/20121003-3-MX-4033.00040, 11th IFAC Workshop on Discrete Event Systems","DOI":"10.3182\/20121003-3-MX-4033.00040"},{"key":"411_CR10","doi-asserted-by":"publisher","unstructured":"Moor T (2014) Natural projections for the synthesis of non-conflicting supervisory controllers. IFAC Proceed Volumes 47(2):300\u2013305. https:\/\/doi.org\/10.3182\/20140514-3-FR-4046.00098, 12th IFAC International Workshop on Discrete Event Systems (2014)","DOI":"10.3182\/20140514-3-FR-4046.00098"},{"key":"411_CR11","doi-asserted-by":"publisher","unstructured":"Moor T, Baier C, Wittmann T (2013) Consistent abstractions for the purpose of supervisory control. In: 52nd IEEE conference on decision and control, pp 7291\u20137296. https:\/\/doi.org\/10.1109\/CDC.2013.6761046","DOI":"10.1109\/CDC.2013.6761046"},{"key":"411_CR12","doi-asserted-by":"publisher","unstructured":"Oliveira RG, Queiroz MH, Cury JER (2020) Synthesis of supervisors for a PID-controlled industrial process and implementation on Foundation Fieldbus. In: Workshop of discrete event systems 2020, Rio de Janeiro. https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.070","DOI":"10.1016\/j.ifacol.2021.04.070"},{"key":"411_CR13","doi-asserted-by":"publisher","unstructured":"Oliveira RG, Queiroz MH, Cury JER (2021) Controle supervis\u00f3rio hier\u00e1rquico de processos industriais comandados por circuitos de v\u00e1lvulas. In: Simp\u00f3sio Brasileiro de Automa\u00e7\u00e3o Inteligente 2021, Rio Grande - RS. https:\/\/doi.org\/10.20906\/sbai.v1i1.2739","DOI":"10.20906\/sbai.v1i1.2739"},{"key":"411_CR14","unstructured":"Pu KG (2000) Modeling and control of discrete-event systems with hierarchical abstraction. Master\u2019s thesis, Systems Control Group, Department of Electrical & Computer Engineering, University of Toronto, Canad\u00e1"},{"key":"411_CR15","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. Proceedings of IEEE: Special Issue on Discrete Event Dynamic Systems 77:81\u201398. https:\/\/doi.org\/10.1109\/5.21072","journal-title":"Proceedings of IEEE: Special Issue on Discrete Event Dynamic Systems"},{"issue":"4","key":"411_CR16","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 Control 56(4):723\u2013737. https:\/\/doi.org\/10.1109\/TAC.2010.2067250","journal-title":"IEEE Trans Autom Control"},{"key":"411_CR17","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s11768-014-4097-8","volume":"12","author":"S Ware","year":"2014","unstructured":"Ware S, Malik R (2014) Progressive events in supervisory control and compositional verification. Control Theory Technol 12:317\u2013329","journal-title":"Control Theory Technol"},{"issue":"3","key":"411_CR18","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/BF01797154","volume":"6","author":"KC Wong","year":"1996","unstructured":"Wong KC, Wonham WM (1996) Hierarchical control of discrete-event systems. Discrete Event Dyn Syst 6(3):241\u2013273. https:\/\/doi.org\/10.1007\/BF01797154","journal-title":"Discrete Event Dyn Syst"},{"issue":"3","key":"411_CR19","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":"411_CR20","doi-asserted-by":"publisher","unstructured":"Zamani\u00a0Fekri M, Hashtrudi-Zad S (2009) Hierarchical supervisory control of discrete-event systems under partial observation. In: Proceedings of the 48h IEEE Conference on decision and control (CDC) held jointly with 2009 28th chinese control conference, pp 181\u2013186. https:\/\/doi.org\/10.1109\/CDC.2009.5400358","DOI":"10.1109\/CDC.2009.5400358"},{"issue":"10","key":"411_CR21","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. https:\/\/doi.org\/10.1109\/9.58555","journal-title":"IEEE Trans Autom Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-025-00411-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-025-00411-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-025-00411-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,25]],"date-time":"2025-04-25T03:07:49Z","timestamp":1745550469000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-025-00411-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,3]]}},"alternative-id":["411"],"URL":"https:\/\/doi.org\/10.1007\/s10626-025-00411-y","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2025,3]]},"assertion":[{"value":"2 April 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 April 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 April 2025","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":"Not Applicable","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical Approval"}}]}}