{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,11]],"date-time":"2023-09-11T11:54:24Z","timestamp":1694433264742},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,6,4]],"date-time":"2009-06-04T00:00:00Z","timestamp":1244073600000},"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":[[2010,3]]},"DOI":"10.1007\/s10626-009-0070-y","type":"journal-article","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T01:04:54Z","timestamp":1244250294000},"page":"139-185","source":"Crossref","is-referenced-by-count":11,"title":["Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution"],"prefix":"10.1007","volume":"20","author":[{"given":"Richard C.","family":"Hill","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dawn M.","family":"Tilbury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,6,4]]},"reference":[{"issue":"3","key":"70_CR1","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1109\/TCST.2004.824795","volume":"12","author":"BA Brandin","year":"2004","unstructured":"Brandin BA, Malik R, Malik P (2004) Incremental verification and synthesis of discrete-event systems guided by counter examples. IEEE Trans Control Syst Technol 12(3):387\u2013401","journal-title":"IEEE Trans Control Syst Technol"},{"key":"70_CR2","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2007","unstructured":"Cassandras CG, Lafortune S (2007) Introduction to discrete event systems, 2nd\u00a0edn. Springer, New York","edition":"2"},{"key":"70_CR3","unstructured":"de\u00a0Queiroz MH, Cury JER (2000) Modular supervisory control of composed systems. In: Proceedings American control conf., Chicago, pp 4051\u20134055"},{"key":"70_CR4","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/s10626-005-4058-y","volume":"15","author":"MH Queiroz de","year":"2005","unstructured":"de\u00a0Queiroz MH, Cury JER, Wonham WM (2005) Multitasking supervisory control of discrete-event systems. Discret Event Dyn Syst Theory Appl 15:375\u2013395","journal-title":"Discret Event Dyn Syst Theory Appl"},{"key":"70_CR5","doi-asserted-by":"crossref","unstructured":"Fabian M, Lennartson B (1996) On non-deterministic supervisory control. In: Proceedings 35th IEEE Conf. decision & control, pp 2213\u20132218","DOI":"10.1109\/CDC.1996.572970"},{"key":"70_CR6","unstructured":"Feng L (2007) Computationally efficient supervisor design in discrete-event systems. Ph.D. dissertation, University of Toronto, Toronto"},{"key":"70_CR7","unstructured":"Feng L, Wonham WM (2006) Computationally efficient supervisor design: abstraction and modularity. In: Proceedings int. workshop on discrete event systems (WODES), Ann Arbor, pp 3\u20138"},{"key":"70_CR8","unstructured":"Flordal H (2006) Compositional approaches in supervisory control. Ph.D. dissertation, Chalmers University of Technology, Gothenburg"},{"key":"70_CR9","doi-asserted-by":"crossref","unstructured":"Flordal H, Malik R (2006) Modular nonblocking verification using conflict equivalence. In: Proceedings int. workshop on discrete event systems (WODES), Ann Arbor, pp 100\u2013106","DOI":"10.1109\/WODES.2006.1678415"},{"key":"70_CR10","unstructured":"Heymann M, Lin F (1996) Nonblocking supervisory control of nondeterministic systems. Technion, Israel Institute of Technology, Haifa, Tech. Rep. CIS-9620"},{"key":"70_CR11","doi-asserted-by":"crossref","unstructured":"Hill RC, Cury JER, de Queiroz MH, Tilbury DM (2008) Modular requirements for hierarchical interface-based supervisory control with multiple levels. In: Proceedings American control conf., Seattle, pp 483\u2013490","DOI":"10.1109\/ACC.2008.4586538"},{"issue":"9","key":"70_CR12","doi-asserted-by":"crossref","first-page":"1364","DOI":"10.1080\/00207170701799365","volume":"81","author":"RC Hill","year":"2008","unstructured":"Hill RC, Tilbury DM (2008) Incremental hierarchical construction of modular supervisors for discrete-event systems. Int J Control 81(9):1364\u20131381","journal-title":"Int J Control"},{"key":"70_CR13","doi-asserted-by":"crossref","unstructured":"Hill RC, Tilbury DM, Lafortune S (2008a) Covering-based supervisory control of partially observed discrete-event systems for state avoidance. In: Proceedings int. workshop on discrete event systems (WODES), Gothenburg, pp 2\u20138","DOI":"10.1109\/WODES.2008.4605914"},{"key":"70_CR14","doi-asserted-by":"crossref","unstructured":"Hill RC, Tilbury DM, Lafortune S (2008b) Modular supervisory control with equivalence-based conflict resolution. In: Proceedings American control conf., Seattle, pp 491\u2013498","DOI":"10.1109\/ACC.2008.4586539"},{"key":"70_CR15","unstructured":"Hubbard P, Caines PE (1998) A state aggregation approach to hierarchical supervisory control with applications to a transfer line example. In: Proceedings int. workshop on discrete event systems (WODES), Cagliari"},{"key":"70_CR16","unstructured":"Inan K (1993) Supervisory control: theory and application to the gateway synthesis problem. In: Belgian-French-Netherlands summer school on discrete event systems, Spa"},{"issue":"8","key":"70_CR17","doi-asserted-by":"crossref","first-page":"1160","DOI":"10.1109\/9.533677","volume":"41","author":"R Kumar","year":"1996","unstructured":"Kumar R, Shayman MA (1996) Non-blocking supervisory control of nondeterministic discrete-event systems via prioritized synchronoziation. IEEE Trans Automat Contr 41(8):1160\u20131175","journal-title":"IEEE Trans Automat Contr"},{"issue":"4","key":"70_CR18","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1109\/TAC.2005.844725","volume":"50","author":"R Kumar","year":"2005","unstructured":"Kumar R, Jiang S, Zhou C, Qiu W (2005) Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control. IEEE Trans Automat Contr 50(4):463\u2013475","journal-title":"IEEE Trans Automat Contr"},{"key":"70_CR19","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1109\/9.250512","volume":"38","author":"R Kumar","year":"1993","unstructured":"Kumar R, Garg VK, Marcus SI (1993) Predicates and predicate transformers for supervisory control of discrete event dynamical systems. IEEE Trans Automat Contr 38:232\u2013247","journal-title":"IEEE Trans Automat Contr"},{"issue":"9","key":"70_CR20","doi-asserted-by":"crossref","first-page":"1322","DOI":"10.1109\/TAC.2005.854586","volume":"50","author":"RJ Leduc","year":"2005","unstructured":"Leduc RJ, Brandin BA, Lawford M, Wonham WM (2005a) Hierarchical interface-based supervisory control\u2014part I: serial case. IEEE Trans Automat Contr 50(9):1322\u20131335","journal-title":"IEEE Trans Automat Contr"},{"issue":"9","key":"70_CR21","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 (2005b) Hierarchical interface-based supervisory control\u2014part II: parallel case. IEEE Trans Automat Contr 50(9):1336\u20131348","journal-title":"IEEE Trans Automat Contr"},{"key":"70_CR22","unstructured":"Li Y (1991) Control of vector discrete-event systems. Ph.D. dissertation, University of Toronto, Toronto"},{"issue":"8","key":"70_CR23","first-page":"1215","volume":"38","author":"Y Li","year":"1993","unstructured":"Li Y, Wonham WM (1993) Control of vector discrete event systems\u2014part I: the base model. IEEE Trans Automat Contr 38(8):1215\u20131227","journal-title":"IEEE Trans Automat Contr"},{"key":"70_CR24","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0020-0255(88)90002-3","volume":"44","author":"F Lin","year":"1988","unstructured":"Lin F, Wonham WM (1988) Decentralized supervisory control of discrete-event systems. Inf Sci 44:199\u2013224","journal-title":"Inf Sci"},{"key":"70_CR25","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0304-3975(00)00307-8","volume":"274","author":"P Madhusudan","year":"2002","unstructured":"Madhusudan P, Thiagarajan PS (2002) Branching time controlers for discrete event systems. Theor Comp Sci 274:117\u2013149","journal-title":"Theor Comp Sci"},{"issue":"4","key":"70_CR26","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1142\/S012905410600411X","volume":"17","author":"R Malik","year":"2006","unstructured":"Malik R, Streader D, Reeves S (2006) Conflicts and fair testing. Int J Found Comput Sci 17(4):797\u2013813","journal-title":"Int J Found Comput Sci"},{"key":"70_CR27","doi-asserted-by":"crossref","unstructured":"Malik R, Flordal H, Pena P (2007) Conflicts and projections. In: Proceedings 1st IFAC workshop on dependable control of discrete systems (DCDS\u201907), pp 63\u201368","DOI":"10.3182\/20070613-3-FR-4909.00037"},{"key":"70_CR28","doi-asserted-by":"crossref","unstructured":"Malik P, Malik R, Streader D, Reeves S (2007) Modular synthesis of discrete controllers. In: Proceedings 12th IEEE international conference on engineering complex computer systems (ICECCS\u201907), pp 21\u201330","DOI":"10.1109\/ICECCS.2007.31"},{"key":"70_CR29","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Prentice-Hall, London"},{"key":"70_CR30","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1109\/9.566659","volume":"42","author":"A Overkamp","year":"1997","unstructured":"Overkamp A (1997) Supervisory control using failure semantics and partial specification. IEEE Trans Automat Contr 42:498\u2013510","journal-title":"IEEE Trans Automat Contr"},{"issue":"5","key":"70_CR31","first-page":"1177","volume":"E83-D","author":"SJ Park","year":"2000","unstructured":"Park SJ, Lim JT (2000) Nonblocking supervisory control of nondeterministic systems based on multiple deterministic model approach. IEICE Trans Inf Syst E83-D(5):1177\u20131180","journal-title":"IEICE Trans Inf Syst"},{"key":"70_CR32","doi-asserted-by":"crossref","unstructured":"Pena P, Cury JER, Lafortune S (2006) Testing modularity of local supervisors: an approach based on abstractions. In: Proceedings int. workshop on discrete event systems (WODES), Ann Arbor, pp 107\u2013112","DOI":"10.1109\/WODES.2006.1678416"},{"key":"70_CR33","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1007\/BF01245634","volume":"3","author":"H Qin","year":"1991","unstructured":"Qin H, Lewis P (1991) Factorization of finite state machines under strong and observational equivalences. Form Asp Comput 3:284\u2013307","journal-title":"Form Asp Comput"},{"issue":"5","key":"70_CR34","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1137\/0325066","volume":"25","author":"PJG Ramadge","year":"1987","unstructured":"Ramadge PJG, Wonham WM (1987) Modular feedback logic for discrete event systems. SIAM J Control Optim 25(5):1202\u20131218","journal-title":"SIAM J Control Optim"},{"key":"70_CR35","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF02551233","volume":"1","author":"PJ Ramadge","year":"1988","unstructured":"Ramadge PJ, Wonham WM (1988) Modular supervisory control of discrete event systems. Math Control Signals Syst 1:13\u201330","journal-title":"Math Control Signals Syst"},{"key":"70_CR36","doi-asserted-by":"crossref","unstructured":"Ramadge PJ, Wonham WM (1989) The control of discrete event systems. In: Proceedings of IEEE, vol 77, no. 1, pp 81\u201398","DOI":"10.1109\/5.21072"},{"key":"70_CR37","doi-asserted-by":"crossref","unstructured":"Schmidt K, Moor T, Perk S (2005) A hierarchical architecture for nonblocking control of discrete event systems. In: Mediterranean conf. control and automation, Limassol, pp 902\u2013907","DOI":"10.1109\/.2005.1467134"},{"key":"70_CR38","unstructured":"Su R, Thistle J (2006) A distributed supervisor synthesis approach based on weak bisimulation. In: Proceedings int. workshop on discrete Event systems (WODES), Ann Arbor, pp 64\u201369"},{"key":"70_CR39","doi-asserted-by":"crossref","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 Theory Appl 14:31\u201353","journal-title":"Discret Event Dyn Syst Theory Appl"},{"key":"70_CR40","unstructured":"Supremica (2009) Supremica homepage. http:\/\/www.supremica.org"},{"key":"70_CR41","doi-asserted-by":"crossref","unstructured":"Tabuada P (2004) Open maps, alternating simulations and control synthesis. In: International conference on concurrency theory, pp 466\u2013480","DOI":"10.1007\/978-3-540-28644-8_30"},{"issue":"4","key":"70_CR42","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1080\/002071797224072","volume":"67","author":"S Takai","year":"1997","unstructured":"Takai S, Kodama S (1997) M-controllable subpredicates arising in state feedback control of discrete event systems. Int J Control 67(4):553\u2013566","journal-title":"Int J Control"},{"issue":"4","key":"70_CR43","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1080\/002071798222190","volume":"70","author":"S Takai","year":"1998","unstructured":"Takai S, Kodama S (1998) Characterization of all M-controllable subpredicates of a given predicate. Int J Control 70(4):541\u2013549","journal-title":"Int J Control"},{"issue":"11","key":"70_CR44","doi-asserted-by":"crossref","first-page":"1950","DOI":"10.1109\/9.471222","volume":"40","author":"S Takai","year":"1995","unstructured":"Takai S, Ushio T, Kodama S (1995) Static-state feedback control of discrete-event systems under partial observation. IEEE Trans Automat Contr 40(11):1950\u20131954","journal-title":"IEEE Trans Automat Contr"},{"key":"70_CR45","doi-asserted-by":"crossref","first-page":"656","DOI":"10.1016\/j.sysconle.2007.03.006","volume":"56","author":"W Wang","year":"2007","unstructured":"Wang W, Lafortune S, Lin F (2007) An algorithm for calculating indistinguishible states and clusters in finite state automata with partially observable transitions. Syst Control Lett 56:656\u2013661","journal-title":"Syst Control Lett"},{"key":"70_CR46","doi-asserted-by":"crossref","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. Discret Event Dyn Syst Theory Appl 6:241\u2013273","journal-title":"Discret Event Dyn Syst Theory Appl"},{"key":"70_CR47","doi-asserted-by":"crossref","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. Discret Event Dyn Syst Theory Appl 8:247\u2013297","journal-title":"Discret Event Dyn Syst Theory Appl"},{"issue":"10","key":"70_CR48","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 Automat Contr 35(10):1125\u20131134","journal-title":"IEEE Trans Automat Contr"},{"issue":"5","key":"70_CR49","doi-asserted-by":"crossref","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","journal-title":"IEEE Trans Automat Contr"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0070-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-009-0070-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0070-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:58:52Z","timestamp":1559246332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-009-0070-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,4]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["70"],"URL":"https:\/\/doi.org\/10.1007\/s10626-009-0070-y","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,6,4]]}}}