{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:24:17Z","timestamp":1761488657227,"version":"3.38.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,3,25]],"date-time":"2011-03-25T00:00:00Z","timestamp":1301011200000},"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":[[2012,6]]},"DOI":"10.1007\/s10626-011-0101-3","type":"journal-article","created":{"date-parts":[[2011,3,24]],"date-time":"2011-03-24T08:18:30Z","timestamp":1300954710000},"page":"121-161","source":"Crossref","is-referenced-by-count":5,"title":["Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation"],"prefix":"10.1007","volume":"22","author":[{"given":"Gabriel","family":"Kalyon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tristan","family":"Le Gall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herv\u00e9","family":"Marchand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Massart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,3,25]]},"reference":[{"issue":"7","key":"101_CR1","doi-asserted-by":"crossref","first-page":"1040","DOI":"10.1109\/9.231459","volume":"38","author":"S Balemi","year":"1993","unstructured":"Balemi S, Hoffmann G, Wong-Toi H, Franklin G (1993) Supervisory control of a rapid thermal multiprocessor. IEEE Trans Automat Contr 38(7):1040\u20131059","journal-title":"IEEE Trans Automat Contr"},{"key":"101_CR2","volume-title":"S\u00e9mantiques des langages imp\u00e9ratifs d\u2019ordre sup\u00e9rieur et interpr\u00e9tation abstraite","author":"F Bourdoncle","year":"1992","unstructured":"Bourdoncle F (1992) S\u00e9mantiques des langages imp\u00e9ratifs d\u2019ordre sup\u00e9rieur et interpr\u00e9tation abstraite. PhD thesis, Ecole Polytechnique"},{"issue":"8","key":"101_CR3","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0167-6911(90)90004-E","volume":"15","author":"RD Brandt","year":"1990","unstructured":"Brandt RD, Garg VK, Kumar R, Lin F, Marcus SI, Wonham WM (1990) Formulas for calculating supremal and normal sublanguages. Syst Control Lett 15(8):111\u2013117","journal-title":"Syst Control Lett"},{"issue":"8","key":"101_CR4","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-45","author":"R Bryant","year":"1986","unstructured":"Bryant R (1986) Graph-based algorithms for boolean function manipulations. IEEE Trans Comput C-45(8):677\u2013691","journal-title":"IEEE Trans Comput"},{"key":"101_CR5","doi-asserted-by":"crossref","unstructured":"Cassandras C, Lafortune S (2008) Introduction to discrete event systems, 2nd\u00a0edn. Springer","DOI":"10.1007\/978-0-387-68612-7"},{"issue":"3\u20134","key":"101_CR6","first-page":"1","volume":"3","author":"K Chatterjee","year":"2007","unstructured":"Chatterjee K, Doyen L, Henzinger TA, Raskin JF (2007) Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science 3(3\u20134):1\u201323","journal-title":"Logical Methods in Computer Science"},{"key":"101_CR7","doi-asserted-by":"crossref","unstructured":"Cousot P, Cousot R (1977) Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL\u201977, pp 238\u2013252","DOI":"10.1145\/512950.512973"},{"key":"101_CR8","doi-asserted-by":"crossref","unstructured":"Cousot P, Halbwachs N (1978) Automatic discovery of linear restraints among variables of a program. In: POPL \u201978, pp\u00a084\u201396. http:\/\/doi.acm.org\/10.1145\/512760.512770","DOI":"10.1145\/512760.512770"},{"key":"101_CR9","first-page":"153","volume-title":"Lecture notes in computer science, vol 3927","author":"M De Wulf","year":"2006","unstructured":"De Wulf M, Doyen L, Raskin JF (2006) A lattice theory for solving games of imperfect information. In: Hespanha J, Tiwari A (eds), Lecture notes in computer science, vol 3927. Springer, Santa Barbara, pp 153\u2013168"},{"key":"101_CR11","unstructured":"Fixpoint (2009) Fixpoint: an OCaml library implementing a generic fix-point engine. http:\/\/pop-art.inrialpes.fr\/people\/bjeannet\/bjeannet-forge\/fixpoint\/ . Accessed March 2011"},{"issue":"2","key":"101_CR12","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1023\/A:1008678014487","volume":"11","author":"N Halbwachs","year":"1997","unstructured":"Halbwachs N, Proy Y, Roumanoff P (1997) Verification of real-time systems using linear relation analysis. Form Methods Syst Des 11(2):157\u2013185","journal-title":"Form Methods Syst Des"},{"issue":"1","key":"101_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1042038.1042039","volume":"6","author":"T Henzinger","year":"2005","unstructured":"Henzinger T, Majumdar R, Raskin JF (2005) A classification of symbolic transition systems. ACM Trans Comput Logic 6(1):1\u201332. http:\/\/doi.acm.org\/10.1145\/1042038.1042039","journal-title":"ACM Trans Comput Logic"},{"key":"101_CR14","doi-asserted-by":"crossref","unstructured":"Hespanha J, Tiwari A (eds) (2006) Hybrid systems: computation and control. In: 9th international workshop, HSCC 2006. Proceedings, lecture notes in computer science, vol\u00a03927. Springer, Santa Barbara","DOI":"10.1007\/11730637"},{"key":"101_CR15","doi-asserted-by":"crossref","unstructured":"Hill R, Tilbury D, Lafortune S (2008) Covering-based supervisory control of partially observed discrete event systems for state avoidance. In: 9th international workshop on discrete event systems, pp 2\u20138","DOI":"10.1109\/WODES.2008.4605914"},{"issue":"1","key":"101_CR16","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1024480913162","volume":"23","author":"B Jeannet","year":"2003","unstructured":"Jeannet B (2003) Dynamic partitioning in linear relation analysis. Application to the verification of reactive systems. Form Methods Syst Des 23(1):5\u201337","journal-title":"Form Methods Syst Des"},{"key":"101_CR17","first-page":"661","volume-title":"CAV, lecture notes in computer science, vol\u00a05643","author":"B Jeannet","year":"2009","unstructured":"Jeannet B, Min\u00e9 A (2009) Apron: a library of numerical abstract domains for static analysis. In: Bouajjani A, Maler O (eds) CAV, lecture notes in computer science, vol\u00a05643. Springer, pp 661\u2013667"},{"key":"101_CR18","first-page":"349","volume-title":"TACAS\u201905, vol\u00a03440 of LNCS","author":"B Jeannet","year":"2005","unstructured":"Jeannet B, J\u00e9ron T, Rusu V, Zinovieva E (2005) Symbolic test selection based on approximate analysis. In: TACAS\u201905, vol\u00a03440 of LNCS. Edinburgh, Scottland, pp 349\u2013364"},{"key":"101_CR19","first-page":"1456","volume-title":"European control conference","author":"G Kalyon","year":"2009","unstructured":"Kalyon G, T LG, Marchand H, Massart T (2009) Control of infinite symbolic transition systems under partial observation. In: European control conference. Budapest, Hungary, pp 1456\u20131462"},{"issue":"2","key":"101_CR20","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1109\/TASE.2004.829432","volume":"2","author":"R Kumar","year":"2005","unstructured":"Kumar R, Garg V (2005) On computation of state avoidance control for infinite state systems in assignment program model. IEEE Trans Autom Sci Eng 2(2):87\u201391","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"2","key":"101_CR21","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 S (1993) Predicates and predicate transformers for supervisory control of discrete event dynamical systems. IEEE Trans Automat Contr 38(2):232\u2013247. URL: citeseer.ist.psu.edu\/kumar95predicates.html","journal-title":"IEEE Trans Automat Contr"},{"key":"101_CR22","doi-asserted-by":"crossref","unstructured":"Kupferman O, Madhusudan P, Thiagarajan P, Vardi M (2000) Open systems in reactive environments: Control and synthesis. In: Proc. 11th int. conf. on concurrency theory. Lecture notes in computer science, vol\u00a01877. Springer-Verlag, pp\u00a092\u2013107","DOI":"10.1007\/3-540-44618-4_9"},{"key":"101_CR23","doi-asserted-by":"crossref","unstructured":"Le Gall T, Jeannet B, Marchand H (2005) Supervisory control of infinite symbolic systems using abstract interpretation. In: Decision and control, 2005 and 2005 European control conference. CDC-ECC \u201905, pp 30\u201335","DOI":"10.1109\/CDC.2005.1582126"},{"issue":"3","key":"101_CR24","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F Lin","year":"1988","unstructured":"Lin F, Wonham W (1988) On observability of discrete-event systems. Inf Sci 44(3):173\u2013198","journal-title":"Inf Sci"},{"issue":"4","key":"101_CR25","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1023\/A:1008363704766","volume":"10","author":"H Marchand","year":"2000","unstructured":"Marchand H, Bournai P, Le Borgne M, Le Guernic P (2000) Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dyn Syst: Theory and Applications 10(4):347\u2013368","journal-title":"Discrete Event Dyn Syst: Theory and Applications"},{"key":"101_CR26","first-page":"310","volume-title":"Proc. of the workshop on analysis, slicing, and transformation (AST\u201901)","author":"A Min\u00e9","year":"2001","unstructured":"Min\u00e9 A (2001) The octagon abstract domain. In: Proc. of the workshop on analysis, slicing, and transformation (AST\u201901). IEEE CS Press, Stuttgart, IEEE, Gernamy, pp 310\u2013319"},{"key":"101_CR27","doi-asserted-by":"crossref","unstructured":"Miremadi S, Akesson K, Fabian M, Vahidi A, Lennartson B (2008a) Solving two supervisory control benchmark problems using supremica. In: 9th international workshop on discrete event systems, pp 131\u2013136","DOI":"10.1109\/WODES.2008.4605934"},{"key":"101_CR28","doi-asserted-by":"crossref","unstructured":"Miremadi S, Akesson K, Lennartson B (2008b) Extraction and representation of a supervisor using guards in extended finite automata. In: 9th international workshop on discrete event systems, pp\u00a0193\u2013199","DOI":"10.1109\/WODES.2008.4605944"},{"key":"101_CR29","unstructured":"OCaml (2005) The programming language Objective CAML. http:\/\/caml.inria.fr\/ . Accessed August 2010"},{"key":"101_CR30","doi-asserted-by":"crossref","unstructured":"Pnueli A, Rosner R (1989) On the synthesis of an asynchronous reactive module. In: Ausiello G, Dezani-Ciancaglini M, Rocca SD (eds) ICALP, Springer, Lecture Notes in Computer Science, vol 372, pp 652\u2013671","DOI":"10.1007\/BFb0035790"},{"issue":"5","key":"101_CR31","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1137\/0325066","volume":"25","author":"P Ramadge","year":"1987","unstructured":"Ramadge P, Wonham W (1987) Modular feedback logic for discrete event systems. SIAM J Control Optim 25(5):1202\u20131218","journal-title":"SIAM J Control Optim"},{"issue":"1","key":"101_CR32","first-page":"81","volume":"77","author":"P Ramadge","year":"1989","unstructured":"Ramadge P, Wonham W (1989) The control of discrete event systems. Proc IEEE (Special Issue on Dynamics of Discrete Event Systems) 77(1):81\u201398","journal-title":"Proc IEEE (Special Issue on Dynamics of Discrete Event Systems)"},{"issue":"2","key":"101_CR33","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1016\/0022-0000(84)90034-5","volume":"29","author":"J Reif","year":"1984","unstructured":"Reif J (1984a) The complexity of two-player games of incomplete information. J Comput Syst Sci 29(2):274\u2013301","journal-title":"J Comput Syst Sci"},{"issue":"2","key":"101_CR34","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1016\/0022-0000(84)90034-5","volume":"29","author":"J Reif","year":"1984","unstructured":"Reif J (1984b) The complexity of two-player games of incomplete information. J Comput Syst Sci 29(2):274\u2013301","journal-title":"J Comput Syst Sci"},{"key":"101_CR35","unstructured":"SMACS (2010) The SMACS tool. http:\/\/www.smacs.be\/ . Accessed March 2011"},{"issue":"9","key":"101_CR36","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(9):541\u2013549","journal-title":"Int J Control"},{"issue":"3","key":"101_CR37","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/S0167-6911(02)00322-5","volume":"49","author":"S Takai","year":"2003","unstructured":"Takai S, Ushio T (2003) Effective computation of an L m (G)-closed, controllable, and observable sublanguage arising in supervisory control. Syst Control Lett 49(3):191\u2013200","journal-title":"Syst Control Lett"},{"key":"101_CR38","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski A (1955) A lattice-theoretical fixpoint theorem and its applications. Pac J Math 5:285\u2013309","journal-title":"Pac J Math"},{"issue":"3","key":"101_CR39","doi-asserted-by":"crossref","first-page":"1858","DOI":"10.1137\/060673862","volume":"48","author":"J Thistle","year":"2009","unstructured":"Thistle J, Lamouchi H (2009) Effective control synthesis for partially observed discrete-event systems. SIAM J Control Optim 48(3):1858\u20131887","journal-title":"SIAM J Control Optim"},{"issue":"1","key":"101_CR40","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF02551233","volume":"1","author":"W Wonham","year":"1988","unstructured":"Wonham W, Ramadge P (1988) Modular supervisory control of discret-event systems. Math Control Signals Syst 1(1):13\u201330","journal-title":"Math Control Signals Syst"},{"key":"101_CR41","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/s10626-006-0023-7","volume":"16","author":"T Yoo","year":"2006","unstructured":"Yoo T, Lafortune S (2006) Solvability of centralized supervisory control under partial observation. Discrete Event Dyn Syst 16:527\u2013553","journal-title":"Discrete Event Dyn Syst"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0101-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-011-0101-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0101-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T17:23:03Z","timestamp":1741108983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-011-0101-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,25]]},"references-count":40,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["101"],"URL":"https:\/\/doi.org\/10.1007\/s10626-011-0101-3","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2011,3,25]]}}}