{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:13:59Z","timestamp":1761488039521},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,4,24]],"date-time":"2008-04-24T00:00:00Z","timestamp":1208995200000},"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":[[2009,6]]},"DOI":"10.1007\/s10626-008-0040-9","type":"journal-article","created":{"date-parts":[[2008,4,23]],"date-time":"2008-04-23T13:15:05Z","timestamp":1208956505000},"page":"213-265","source":"Crossref","is-referenced-by-count":16,"title":["Control of Parameterized Discrete Event Systems"],"prefix":"10.1007","volume":"19","author":[{"given":"Hans","family":"Bherer","sequence":"first","affiliation":[]},{"given":"Jules","family":"Desharnais","sequence":"additional","affiliation":[]},{"given":"Richard","family":"St-Denis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,4,24]]},"reference":[{"issue":"1","key":"40_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/271510.271519","volume":"20","author":"PC Attie","year":"1998","unstructured":"Attie PC, Emerson EA (1998) Synthesis of concurrent systems with many similar processes. ACM Trans Program Lang Syst 20(1):1\u201365","journal-title":"ACM Trans Program Lang Syst"},{"issue":"7","key":"40_CR2","doi-asserted-by":"crossref","first-page":"1040","DOI":"10.1109\/9.231459","volume":"38","author":"S Balemi","year":"1993","unstructured":"Balemi S, Hoffmann GJ, Gyugyi P, Wong-Toi H, Franklin GF (1993) Supervisory control of a rapid thermal multiprocessor. IEEE Trans Autom Contr 38(7):1040\u20131059","journal-title":"IEEE Trans Autom Contr"},{"issue":"1","key":"40_CR3","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1006\/jagm.1997.0877","volume":"25","author":"M Barbeau","year":"1997","unstructured":"Barbeau M, Kabanza F, St-Denis, R (1997) An efficient algorithm for controller synthesis under full observation. J Algorithms 25(1):144\u2013161","journal-title":"J Algorithms"},{"issue":"4","key":"40_CR4","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1023\/A:1008301317459","volume":"8","author":"G Barrett","year":"1998","unstructured":"Barrett G, Lafortune S (1998) Bisimulation, the supervisory control problem and strong model matching for finite state machines. Discret Event Dyn Syst Theory Appl 8(4):377\u2013429","journal-title":"Discret Event Dyn Syst Theory Appl"},{"issue":"12","key":"40_CR5","doi-asserted-by":"crossref","first-page":"2398","DOI":"10.1109\/9.362854","volume":"39","author":"N Ben Hadj-Alouane","year":"1994","unstructured":"Ben Hadj-Alouane N, Lafortune S, Lin F (1994) Variable lookahead supervisory control with state information. IEEE Trans Autom Contr 39(12):2398\u20132410","journal-title":"IEEE Trans Autom Contr"},{"issue":"4","key":"40_CR6","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF01797138","volume":"6","author":"N Ben Hadj-Alouane","year":"1996","unstructured":"Ben Hadj-Alouane N, Lafortune S, Lin F (1996) Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. Discret Event Dyn Syst Theory Appl 6(4): 379\u2013427","journal-title":"Discret Event Dyn Syst Theory Appl"},{"key":"40_CR7","unstructured":"Bherer H, Desharnais J, Frappier M, St-Denis R (2003) Int\u00e9gration d\u2019une technique de v\u00e9rification dans une proc\u00e9dure de synth\u00e8se de contr\u00f4leurs de syst\u00e8mes param\u00e9tr\u00e9s. In: M\u00e9ry D, Rezg N, Xie X (eds) Mod\u00e9lisation des syst\u00e8mes r\u00e9actifs (MSR 2003), pp 553\u2013566"},{"key":"40_CR8","first-page":"487","volume-title":"Automated technology for verification and analysis (ATVA\u20192004). Lecture notes in computer science, vol 3299","author":"H Bherer","year":"2004","unstructured":"Bherer H, Desharnais J, Frappier M, St-Denis R (2004) Synthesis of state feedback controllers for parameterized discrete event systems. In: Wang F (ed) Automated technology for verification and analysis (ATVA\u20192004). Lecture notes in computer science, vol 3299. Springer, Berlin Heidelberg New York, pp 487\u2013490"},{"key":"40_CR9","doi-asserted-by":"crossref","unstructured":"Bherer H, Desharnais J, St-Denis R (2005) Synthesis of state feedback controllers for parameterized discrete event systems under partial observation. In: Proceedings of the 44th IEEE conference on decision and control and European control conference 2005. IEEE, Seville, pp 3499\u20133506","DOI":"10.1109\/CDC.2005.1582704"},{"key":"40_CR10","unstructured":"Bherer H, Desharnais J, St-Denis R (2006a) Parameterized discrete event systems under partial observation revisited. In: Proceedings of the 8th IASTED international conference on control and applications. IASTED, Montr\u00e9al, pp 273\u2013280"},{"key":"40_CR11","doi-asserted-by":"crossref","unstructured":"Bherer H, Desharnais J, St-Denis R (2006b) On the reachability and nonblocking properties for parameterized discrete event systems. In: Proceedings of the 8th international workshop on discrete event systems. Ann Arbor, MI, 10\u201312 July 2006, pp 113\u2013118","DOI":"10.1109\/WODES.2006.1678417"},{"key":"40_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"1999","unstructured":"Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer, Boston"},{"issue":"12","key":"40_CR13","doi-asserted-by":"crossref","first-page":"1921","DOI":"10.1109\/9.182478","volume":"37","author":"S-L Chung","year":"1992","unstructured":"Chung S-L, Lafortune S, Lin F (1992) Limited lookahead policies in supervisory control of discrete event systems. IEEE Trans Autom Contr 37(12):1921\u20131935","journal-title":"IEEE Trans Autom Contr"},{"key":"40_CR14","volume-title":"Introduction to lattices and order","author":"BA Davey","year":"1990","unstructured":"Davey BA, Priestley HA (1990) Introduction to lattices and order. Cambridge University Press, Cambridge"},{"key":"40_CR15","series-title":"The international series in engineering and computer science","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-1-4615-4493-7_10","volume-title":"Discrete event systems: analysis and control","author":"MH Queiroz de","year":"2000","unstructured":"de Queiroz MH, Cury JER (2000) Modular supervisory control of large scale discrete event systems. In: Boel R, Stremersch G (eds) Discrete event systems: analysis and control. The international series in engineering and computer science, vol 569. Springer, Berlin Heidelberg New York, pp 103\u2013110"},{"issue":"2","key":"40_CR16","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/s100090100056","volume":"3","author":"R Dreschsler","year":"2001","unstructured":"Dreschsler R, Sieling D (2001) Binary decision diagrams in theory and practice. Int J Softw Tools Technol Transf 3(2):112\u2013136","journal-title":"Int J Softw Tools Technol Transf"},{"key":"40_CR17","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/10721959_19","volume-title":"Automated deduction (CADE\u20192000)","author":"EA Emerson","year":"2000","unstructured":"Emerson EA, Kahlon V (2000) Reducing model checking of the many to the few. In: McAllester DA (ed) Automated deduction (CADE\u20192000). Lecture notes in computer science, vol 1831. Springer, Berlin Heidleberg New York, pp 236\u2013354"},{"issue":"4","key":"40_CR18","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1145\/262004.262008","volume":"19","author":"EA Emerson","year":"1997","unstructured":"Emerson EA, Sistla AP (1997) Utilizing symmetry when model-checking under fairness assumptions: an automata-theoretic approach. ACM Trans Program Lang Syst 19(4):617\u2013638","journal-title":"ACM Trans Program Lang Syst"},{"issue":"9","key":"40_CR19","doi-asserted-by":"crossref","first-page":"1500","DOI":"10.1109\/9.948486","volume":"46","author":"JM Eyzell","year":"2001","unstructured":"Eyzell JM, Cury JER (2001) Exploiting symmetry in the synthesis of supervisors for discrete event systems. IEEE Trans Autom Contr 46(9):1500\u20131505","journal-title":"IEEE Trans Autom Contr"},{"key":"40_CR20","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/3-540-45654-6_33","volume-title":"Computer aided systems theory \u2013 EUROCAST 2001","author":"M Frappier","year":"2001","unstructured":"Frappier M, St-Denis R (2001) Towards a computer-aided design of reactive systems. In: Moreno-D\u00edaz R, Buchberger B, Freire J-L (eds) Computer aided systems theory \u2013 EUROCAST 2001. Lecture notes in computer science, vol 2178. Springer, Berlin Heidelberg New York, pp 421\u2013436"},{"issue":"11","key":"40_CR21","doi-asserted-by":"crossref","first-page":"1845","DOI":"10.1109\/TAC.2005.858658","volume":"50","author":"P Gohari","year":"2005","unstructured":"Gohari P, Wonham WM (2005) Efficient implementation of fairness in discrete-event systems using queues. IEEE Trans Autom Contr 50(11):1845\u20131849","journal-title":"IEEE Trans Autom Contr"},{"key":"40_CR22","volume-title":"A logical approach to discrete math","author":"D Gries","year":"1995","unstructured":"Gries D, Schneider FB (1995) A logical approach to discrete math. Springer, Berlin Heidelberg New York"},{"issue":"2","key":"40_CR23","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1109\/70.282543","volume":"10","author":"A Giua","year":"1994","unstructured":"Giua A, DiCesare F (1994) Petri net structural analysis for supervisory control. IEEE Trans Robot Autom 10(2):185\u2013195","journal-title":"IEEE Trans Robot Autom"},{"issue":"3","key":"40_CR24","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3):231\u2013274","journal-title":"Sci Comput Program"},{"issue":"3","key":"40_CR25","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF01438708","volume":"4","author":"M Heymann","year":"1994","unstructured":"Heymann M, Lin F (1994) On-line control of partially observed discrete event systems. Discret Event Dyn Syst 4(3):221\u2013236","journal-title":"Discret Event Dyn Syst"},{"issue":"2","key":"40_CR26","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"LE Holloway","year":"1997","unstructured":"Holloway LE, Krogh BH, Giua A (1997) A survey of Petri net methods for controlled discrete event systems. Discret Event Dyn Syst Theory Appl 7(2):151\u2013190","journal-title":"Discret Event Dyn Syst Theory Appl"},{"issue":"2","key":"40_CR27","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/j.entcs.2005.07.028","volume":"149","author":"S Kerjean","year":"2006","unstructured":"Kerjean S, Kabanza F, St-Denis R, Thi\u00e9baux S (2006) Analyzing LTL model checking techniques for plan synthesis and controller synthesis. Electron Notes Theor Comput Sci 149(2):91\u2013104","journal-title":"Electron Notes Theor Comput Sci"},{"key":"40_CR28","unstructured":"Komenda J, van Schuppen JH (2005) Supremal sublanguages of general specification languages arising in modular control of dicrete-event systems. In: Proceedings of the 44th IEEE conference on decision and control and European control conference 2005. IEEE, Seville, pp 2275\u20132780"},{"key":"40_CR29","doi-asserted-by":"crossref","unstructured":"Komenda J, van Schuppen JH, Gaudin B, Marchand H (2005) Modular supervisory control with general indecomposable specification languages. In: Proceedings of the 44th IEEE conference on decision and control and European control conference 2005. IEEE, Seville, pp 3474\u20133479","DOI":"10.1109\/CDC.2005.1582700"},{"key":"40_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2217-1","volume-title":"Modeling and control of logical discrete event systems","author":"R Kumar","year":"1995","unstructured":"Kumar R, Garg VK (1995) Modeling and control of logical discrete event systems. Kluwer, Boston"},{"issue":"2","key":"40_CR31","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1109\/9.250512","volume":"38","author":"R Kumar","year":"1993","unstructured":"Kumar R, Garg V, Marcus SI (1993) Predicates and predicate transformers for supervisory control of discrete event dynamical systems. IEEE Trans Autom Contr 38(2):232\u2013247","journal-title":"IEEE Trans Autom Contr"},{"issue":"9","key":"40_CR32","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 (2005) Hierarchical interface-based supervisory control\u2014part I: serial case. IEEE Trans Autom Contr 50(9):1322\u20131335","journal-title":"IEEE Trans Autom Contr"},{"key":"40_CR33","unstructured":"Li Y (1991) Control of vector discrete-event systems. Ph.D. thesis, University of Toronto, Toronto"},{"key":"40_CR34","unstructured":"Li Y, Wonham WM (1988) Controllability and observability in the state-feedback control of discrete-event systems. In: Proceedings of 27th IEEE conference on decision and control. IEEE, Austin, pp 203\u2013208"},{"issue":"8","key":"40_CR35","doi-asserted-by":"crossref","first-page":"1214","DOI":"10.1109\/9.233154","volume":"38","author":"Y Li","year":"1993","unstructured":"Li Y, Wonham WM (1993) Control of vector discrete-event systems I\u2014the base model. IEEE Trans Autom Contr 38(8):1214\u20131227","journal-title":"IEEE Trans Autom Contr"},{"issue":"3","key":"40_CR36","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1109\/9.280750","volume":"39","author":"Y Li","year":"1994","unstructured":"Li Y, Wonham WM (1994) Control of vector discrete-event systems II\u2014controller synthesis. IEEE Trans Autom Contr 39(3):512\u2013531","journal-title":"IEEE Trans Autom Contr"},{"key":"40_CR37","series-title":"Lecture notes in control and information sciences","volume-title":"Nonblocking supervisory control of state tree structures","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, Berlin Heidelberg New York"},{"issue":"2","key":"40_CR38","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1008371814442","volume":"9","author":"M Makungu","year":"1999","unstructured":"Makungu M, Barbeau M, St-Denis R (1999) Synthesis of controllers of processes modeled as colored Petri nets. Discret Event Dyn Syst Theor Appl 9(2):147\u2013169","journal-title":"Discret Event Dyn Syst Theor Appl"},{"key":"40_CR39","doi-asserted-by":"crossref","unstructured":"Pena PN, Cury JER, Lafortune S (2006) Testing modularity of local supervisors: an approach based on abstractions. In: Proceedings of the 8th international workshop on discrete event systems. Ann Arbor, MI, 10\u201312 July 2006, pp 107\u2013112","DOI":"10.1109\/WODES.2006.1678416"},{"key":"40_CR40","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-45319-9_7","volume-title":"Tools and algorithms for the construction and analysis of systems","author":"A Pnueli","year":"2001","unstructured":"Pnueli A, Ruah S, Zuck L (2001) Automatic deductive verification with invisible invariants. In: Margaria T, Yi W (eds) Tools and algorithms for the construction and analysis of systems. Lecture notes in computer science, vol 2031. Springer, Berlin Heidelberg New York, pp 82\u201397"},{"issue":"11","key":"40_CR41","doi-asserted-by":"crossref","first-page":"1630","DOI":"10.1109\/9.728885","volume":"43","author":"JH Prosser","year":"1998","unstructured":"Prosser JH, Kam M, Kwatny HG (1998) Online supervisor synthesis for partially observed discrete-event systems. IEEE Trans Autom Contr 43(11):1630\u20131634","journal-title":"IEEE Trans Autom Contr"},{"issue":"5","key":"40_CR42","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 Contr Optim 25(5):1202\u20131218","journal-title":"SIAM J Contr Optim"},{"key":"40_CR43","doi-asserted-by":"crossref","unstructured":"Schmidt K, Marchand H, Gaudin B (2006) Modular and decentralized supervisory control of concurrent discrete event systems using reduced system models. In: Proceedings of the 8th international workshop on discrete event systems. Ann Arbor, MI, 10\u201312 July 2006, pp 149\u2013154","DOI":"10.1109\/WODES.2006.1678423"},{"key":"40_CR44","unstructured":"Song R, Leduc RJ (2006) Symbolic synthesis and verification of hierarchical interface-based supervisory control. In: Proceedings of the 8th international workshop on discrete event systems. Ann Arbor, MI, 10\u201312 July 2006, pp 419\u2013426"},{"issue":"2","key":"40_CR45","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/S0164-1212(01)00083-8","volume":"60","author":"R St-Denis","year":"2002","unstructured":"St-Denis R (2002) Designing reactive systems: integration of abstraction techniques into a synthesis procedure. J Syst Softw 60(2):103\u2013112","journal-title":"J Syst Softw"},{"issue":"4","key":"40_CR46","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 Contr 67(4):553\u2013566","journal-title":"Int J Contr"},{"issue":"4","key":"40_CR47","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 Contr 70(4):541\u2013549","journal-title":"Int J Contr"},{"issue":"11","key":"40_CR48","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 Autom Contr 40(11):1950\u20131954","journal-title":"IEEE Trans Autom Contr"},{"key":"40_CR49","unstructured":"Thistle JG, Nazari S (2005) Analysis of arbitrarily large networks of discrete-event systems. In: Proceedings of the 44th IEEE conference on decision and control and European control conference 2005. IEEE, Seville, pp 3468\u20133473"},{"key":"40_CR50","unstructured":"Wonham WM (2006) Supervisory control of discrete-event systems. ECE 1636F\/1637S, System control group. University of Toronto, Toronto"},{"issue":"1","key":"40_CR51","doi-asserted-by":"crossref","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 Contr Signals Syst 1(1):13\u201330","journal-title":"Math Contr Signals Syst"},{"issue":"10","key":"40_CR52","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 Contr 35(10):1125\u20131134","journal-title":"IEEE Trans Autom Contr"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-008-0040-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-008-0040-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-008-0040-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T18:00:02Z","timestamp":1588615202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-008-0040-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4,24]]},"references-count":52,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["40"],"URL":"https:\/\/doi.org\/10.1007\/s10626-008-0040-9","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,4,24]]}}}