{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:29:21Z","timestamp":1762522161050,"version":"3.37.3"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,3,27]],"date-time":"2018-03-27T00:00:00Z","timestamp":1522108800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1007\/s10626-018-0267-z","type":"journal-article","created":{"date-parts":[[2018,3,27]],"date-time":"2018-03-27T09:41:09Z","timestamp":1522143669000},"page":"375-426","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A hierarchical consistency framework for real-time supervisory control"],"prefix":"10.1007","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3303-4798","authenticated-orcid":false,"given":"Quang Ha","family":"Ngo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kiam Tian","family":"Seow","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,27]]},"reference":[{"issue":"2","key":"267_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235","journal-title":"Theor Comput Sci"},{"issue":"2","key":"267_CR2","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/9.272327","volume":"39","author":"BA Brandin","year":"1994","unstructured":"Brandin B A, Wonham WM (1994) Supervisory control of timed discrete-event systems. IEEE Trans Autom Control 39(2):329\u2013341","journal-title":"IEEE Trans Autom Control"},{"key":"267_CR3","doi-asserted-by":"crossref","unstructured":"Brave Y, Heymann M (1988) Formulation and control of real time discrete event processes. In: Proceedings of the 27th IEEE International Conference on Decision and Control, Austin, Texas, U.S.A, pp 1131\u20131132","DOI":"10.1109\/CDC.1988.194493"},{"key":"267_CR4","doi-asserted-by":"crossref","unstructured":"Cai K, Zhang R, Wonham WM (2014) On relative observability of timed discrete-event systems. In: Proceedings of the 12th International Workshop on Discrete-Event Systems, Cachan, France, pp 208\u2013213","DOI":"10.3182\/20140514-3-FR-4046.00005"},{"key":"267_CR5","unstructured":"Cassandras CG (1993) Discrete Event Systems: Modeling and Performance Analysis. Richard D. Irwin, Inc., and Aksen Associates, Inc"},{"key":"267_CR6","unstructured":"Cassandras CG, Lafortune S (2008a) Ch 2: Languages and automata. In: Introduction to Discrete Event Systems. 2nd edn. Springer-Verlag, New York, pp 53\u2013132"},{"key":"267_CR7","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 (2008b) Introduction to discrete event systems. Springer, Berlin"},{"issue":"2","key":"267_CR8","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1109\/9.481519","volume":"41","author":"DD Cofer","year":"1996","unstructured":"Cofer DD, Garg VK (1996) Supervisory control of real-time discrete-event systems using lattice theory. IEEE Trans Autom Control 41(2):199\u2013209","journal-title":"IEEE Trans Autom Control"},{"issue":"9","key":"267_CR9","doi-asserted-by":"publisher","first-page":"1204","DOI":"10.1109\/TSMC.2014.2303051","volume":"44","author":"A Dhananjayan","year":"2014","unstructured":"Dhananjayan A, Seow KT (2014) A metric temporal logic specification interface for real-time discrete-event control. IEEE Trans Syst Man Cybern Syst 44(9):1204\u20131215","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"issue":"3","key":"267_CR10","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1109\/THMS.2014.2386972","volume":"45","author":"A Dhananjayan","year":"2015","unstructured":"Dhananjayan A, Seow KT (2015) A formal transparency framework for validation of real-time discrete-event control requirements modeled by timed transition graphs. IEEE Trans Hum-Mach Syst 45(3):350\u2013361","journal-title":"IEEE Trans Hum-Mach Syst"},{"key":"267_CR11","volume-title":"Automata, languages and machines: Volume A","author":"S Eilenberg","year":"1974","unstructured":"Eilenberg S (1974) Automata, languages and machines: Volume A. Academic Press, New York"},{"issue":"7","key":"267_CR12","doi-asserted-by":"publisher","first-page":"1187","DOI":"10.1109\/TAC.2003.814101","volume":"48","author":"P Gohari","year":"2003","unstructured":"Gohari P, Wonham WM (2003) Reduced supervisors for timed discrete-event systems. IEEE Trans Autom Control 48(7):1187\u20131198","journal-title":"IEEE Trans Autom Control"},{"issue":"5","key":"267_CR13","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1080\/0020717031000088210","volume":"76","author":"TJ Ho","year":"2003","unstructured":"Ho TJ (2003) A method for the modular synthesis of controllers for timed discrete-event systems. Int J Control 76(5):520\u2013535","journal-title":"Int J Control"},{"key":"267_CR14","volume-title":"Introduction to automata theory, Languages and computation. Reading, MA","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft JE, Ullman JD (1979) Introduction to automata theory, Languages and computation. Reading, MA. Addison-Wesley, Boston"},{"key":"267_CR15","volume-title":"Modelling and control of timed discrete-event systems and its applications to scheduling. Doctor of Philosophy (Ph.D) Thesis, Department of Electrical and Computer Engineering","author":"SL Knap","year":"2001","unstructured":"Knap SL (2001) Modelling and control of timed discrete-event systems and its applications to scheduling. Doctor of Philosophy (Ph.D) Thesis, Department of Electrical and Computer Engineering. Queen\u2019s University at Kingston, Kingston"},{"issue":"5","key":"267_CR16","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/1506409.1506426","volume":"52","author":"EA Lee","year":"2009","unstructured":"Lee EA (2009) Computing needs time. Commun ACM 52(5):70\u201379","journal-title":"Commun ACM"},{"key":"267_CR17","doi-asserted-by":"crossref","unstructured":"Lee EA (2010) CPS foundations. In: Proceedings of the 47th Design Automation Conference (DAC 2010), ACM, pp 737\u2013742","DOI":"10.1145\/1837274.1837462"},{"issue":"3","key":"267_CR18","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 Control 40(3):558\u2013562","journal-title":"IEEE Trans Autom Control"},{"key":"267_CR19","volume-title":"Nonblocking supervisory control of state tree structures. Lecture notes in control and information sciences, Vol 317","author":"C Ma","year":"2005","unstructured":"Ma C, Wonham WM (2005) Nonblocking supervisory control of state tree structures. Lecture notes in control and information sciences, Vol 317. Springer-Verlag, New York"},{"key":"267_CR20","volume-title":"Discrete-event system abstractions for on-line logical and real-time hierarchical control. Doctor of Philosophy (Ph.D) Thesis, School of Computer Science and Engineering","author":"QH Ngo","year":"2016","unstructured":"Ngo QH (2016) Discrete-event system abstractions for on-line logical and real-time hierarchical control. Doctor of Philosophy (Ph.D) Thesis, School of Computer Science and Engineering. Nanyang Technological University, Singapore"},{"issue":"4","key":"267_CR21","doi-asserted-by":"publisher","first-page":"1218","DOI":"10.1109\/TASE.2013.2278975","volume":"11","author":"QH Ngo","year":"2014","unstructured":"Ngo QH, Seow KT (2014a) Command and control of discrete-event systems: Towards on-line hierarchical control based on feasible system decomposition. IEEE Trans Autom Sci Eng 11(4):1218\u20131228","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"267_CR22","doi-asserted-by":"crossref","unstructured":"Ngo QH, Seow KT (2014b) A time fidelity control foundation for hierarchical discrete-event systems. In: Proceedings of the IEEE International Conference on Automation Science and Engineering (CASE\u201914), Taipei, Taiwan, pp 443\u2013448","DOI":"10.1109\/CoASE.2014.6899363"},{"issue":"12","key":"267_CR23","doi-asserted-by":"publisher","first-page":"2802","DOI":"10.1587\/transfun.E94.A.2802","volume":"94","author":"M Nomura","year":"2011","unstructured":"Nomura M, Takai S (2011) Decentralized supervisory control of timed discrete-event systems. IEICE Trans Fundam Electron Commun Comput Sci 94(12):2802\u20132809","journal-title":"IEICE Trans Fundam Electron Commun Comput Sci"},{"issue":"4","key":"267_CR24","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1587\/transfun.E96.A.835","volume":"96","author":"M Nomura","year":"2013","unstructured":"Nomura M, Takai S (2013) A synthesis method for decentralized supervisors for timed discrete-event systems. IEICE Trans Fundam Electron Commun Comput Sci 96(4):835\u2013839","journal-title":"IEICE Trans Fundam Electron Commun Comput Sci"},{"issue":"4","key":"267_CR25","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1109\/9.52290","volume":"35","author":"JS Ostroff","year":"1990","unstructured":"Ostroff JS, Wonham WM (1990) A framework for real-time discrete event control. IEEE Trans Autom Control 35(4):386\u2013397","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"267_CR26","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.1016\/j.automatica.2007.08.007","volume":"44","author":"SJ Park","year":"2008","unstructured":"Park SJ, Cho KH (2008) Nonblocking supervisory control of timed discrete event systems under communication delays: The existence conditions. Automatica 44(4):1011\u20131019","journal-title":"Automatica"},{"issue":"1","key":"267_CR27","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","journal-title":"SIAM J Control Optim"},{"key":"267_CR28","volume-title":"Timed state tree structures: Supervisory control and fault diagnosis. Doctor of philosophy (ph.d) thesis, Graduate Department of Electrical and Computer Engineering","author":"A Saadatpoor","year":"2009","unstructured":"Saadatpoor A (2009) Timed state tree structures: Supervisory control and fault diagnosis. Doctor of philosophy (ph.d) thesis, Graduate Department of Electrical and Computer Engineering. University of Toronto, Canada"},{"issue":"1","key":"267_CR29","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.sysconle.2006.07.012","volume":"56","author":"A Saadatpoor","year":"2007","unstructured":"Saadatpoor A, Wonham WM (2007) State based control of timed discrete event systems using binary decision diagrams. Syst Control Lett 56(1):62\u201374","journal-title":"Syst Control Lett"},{"key":"267_CR30","doi-asserted-by":"crossref","unstructured":"Saadatpoor A, Ma C, Wonham WM (2008) Supervisory control of timed state tree structures. In: Proceedings of the American Control Conference, Seattle, Washington, U.S.A, pp 477\u2013482","DOI":"10.1109\/ACC.2008.4586537"},{"key":"267_CR31","doi-asserted-by":"crossref","unstructured":"Sadid WH, Hashtrudi-Zad S, Ricker SL (2014) Decentralized control of timed discrete-event systems under bounded delay communication. In: Proceedings of the IEEE Conference on Control Applications, Juan Les Antibes, France, pp 1795\u20131800","DOI":"10.1109\/CCA.2014.6981573"},{"issue":"2","key":"267_CR32","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 Control 62(2):934\u2013940","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"267_CR33","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BF01797155","volume":"6","author":"KC Wong","year":"1996","unstructured":"Wong KC, Wonham WM (1996) Hierarchical control of timed discrete-event systems. Dis Event Dyn Syst Theory Appl 6(3):275\u2013306","journal-title":"Dis Event Dyn Syst Theory Appl"},{"key":"267_CR34","unstructured":"Wong-Toi H, Hoffman G (1988) The control of dense real-time discrete event systems. In: Proceedings of the 30th IEEE International Conference on Decision and Control, Brighton, England, pp 1527\u20131528"},{"key":"267_CR35","doi-asserted-by":"crossref","unstructured":"Wonham WM (2016) Supervisory control of discrete-event systems. Systems Control Group, University of Toronto, Canada. http:\/\/www.control.toronto.edu\/cgi-bin\/dldes.cgi (Updated annually)","DOI":"10.1007\/978-1-4471-5058-9_54"},{"issue":"9","key":"267_CR36","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. Automatica 49(9):2786\u20132794","journal-title":"Automatica"},{"key":"267_CR37","doi-asserted-by":"crossref","unstructured":"Zhang R, Cai K, Wonham WM (2014) Delay-robustness in distributed control of timed discrete-event systems based on supervisor localization. In: Proceedings of the 53rd IEEE international conference on decision and control, Los Angeles, CA, USA, pp 6719\u20136724","DOI":"10.1109\/CDC.2014.7040444"},{"key":"267_CR38","unstructured":"Zhong H, Wonham WM (1989) Hierarchical control of discrete-event systems: Computation and examples. In: Proceedings of the 27th Annual Allerton Conference on Communication, Control, and Computing. University of Illinois, Champaign-Urbana, pp 511\u2013519"},{"issue":"10","key":"267_CR39","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"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-018-0267-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-018-0267-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-018-0267-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,13]],"date-time":"2019-10-13T10:14:48Z","timestamp":1570961688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-018-0267-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,27]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,9]]}},"alternative-id":["267"],"URL":"https:\/\/doi.org\/10.1007\/s10626-018-0267-z","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2018,3,27]]},"assertion":[{"value":"22 August 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 March 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 March 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}