{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T14:31:00Z","timestamp":1648823460084},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,5,6]],"date-time":"2011-05-06T00:00:00Z","timestamp":1304640000000},"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":[[2011,9]]},"DOI":"10.1007\/s10626-011-0106-y","type":"journal-article","created":{"date-parts":[[2011,5,5]],"date-time":"2011-05-05T10:18:00Z","timestamp":1304590680000},"page":"359-393","source":"Crossref","is-referenced-by-count":0,"title":["Decentralized Control of Infinite Systems"],"prefix":"10.1007","volume":"21","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,5,6]]},"reference":[{"key":"106_CR1","doi-asserted-by":"crossref","unstructured":"Akesson K, Flordal H, Fabian M (2002) Exploiting modularity for synthesis and verification of supervisors. In: Proc. of the IFAC. Barcelona, Spain","DOI":"10.3182\/20020721-6-ES-1901.00517"},{"key":"106_CR2","unstructured":"APRON (2009) The APRON library. http:\/\/apron.cri.ensmp.fr\/"},{"key":"106_CR3","doi-asserted-by":"crossref","unstructured":"Brandin B, Malik R, Dietrich P (2000) Incremental system verification and synthesis of minimally restrictive behaviours. In: Proceedings of the American control conference. Chicago, Illinois, pp\u00a04056\u20134061","DOI":"10.1109\/ACC.2000.876984"},{"key":"106_CR4","doi-asserted-by":"crossref","unstructured":"Cassandras C, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer","DOI":"10.1007\/978-0-387-68612-7"},{"key":"106_CR5","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\u00a0238\u2013252","DOI":"10.1145\/512950.512973"},{"key":"106_CR6","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","DOI":"10.1145\/512760.512770"},{"key":"106_CR7","unstructured":"FixPoint (2009) Fixpoint: an OCaml library implementing a generic fix-point engine. http:\/\/pop-art.inrialpes.fr\/people\/bjeannet\/bjeannet-forge\/fixpoint\/"},{"key":"106_CR8","doi-asserted-by":"crossref","unstructured":"Gaudin, B, Deussen P (2007) Supervisory control on concurrent discrete event systems with variables. In: 26th American control conference, ACC\u201907","DOI":"10.1109\/ACC.2007.4282808"},{"key":"106_CR9","doi-asserted-by":"crossref","unstructured":"Gaudin B, Marchand H (2005) Efficient computation of supervisors for loosely synchronous discrete event systems: a state-based approach. In: 6th IFAC World congress. Prague, Czech Republic","DOI":"10.3182\/20050703-6-CZ-1902.00309"},{"issue":"2","key":"106_CR10","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/s10626-006-0007-7","volume":"17","author":"B Gaudin","year":"2007","unstructured":"Gaudin B, Marchand H (2007) An efficient modular method for the control of concurrent discrete event systems: a language-based approach. Discrete Event Dyn Syst 17(2):179\u2013209","journal-title":"Discrete Event Dyn Syst"},{"issue":"2","key":"106_CR11","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":"106_CR12","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":"106_CR13","doi-asserted-by":"crossref","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, pp\u00a0349\u2013364","DOI":"10.1007\/978-3-540-31980-1_23"},{"key":"106_CR14","doi-asserted-by":"crossref","unstructured":"Kalyon G, Le\u00a0Gall T, Marchand H, Massart T (2009) Control of infinite symbolic transition systems under partial observation. In: European control conference. Hungary, pp\u00a01456\u20131462","DOI":"10.23919\/ECC.2009.7074611"},{"issue":"2","key":"106_CR15","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 Automat Sci Eng 2(2):87\u201391","journal-title":"IEEE Trans Automat Sci Eng"},{"issue":"2","key":"106_CR16","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","journal-title":"IEEE Trans Automat Contr"},{"key":"106_CR17","doi-asserted-by":"crossref","unstructured":"Le\u00a0Gall T, Jeannet B, Marchand H (2005) Supervisory control of infinite symbolic systems using abstract interpretation. In: CDC\/ECC\u201905, pp\u00a031\u201335","DOI":"10.1109\/CDC.2005.1582126"},{"key":"106_CR18","first-page":"310","volume-title":"Proc. of the workshop on analysis, slicing, and transformation (AST\u201901). IEEE","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. IEEE CS Press, Stuttgart, Germany, pp\u00a0310\u2013319"},{"key":"106_CR19","unstructured":"OCaml (2009) The programming language Objective CAML. http:\/\/caml.inria.fr\/"},{"issue":"1","key":"106_CR20","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P Ramadge","year":"1989","unstructured":"Ramadge P, Wonham W (1989) The control of discrete event systems. Proc IEEE 77(1):81\u201398 (Special issue on Dynamics of Discrete Event Systems)","journal-title":"Proc IEEE"},{"issue":"11","key":"106_CR21","doi-asserted-by":"crossref","first-page":"1692","DOI":"10.1109\/9.173140","volume":"31","author":"K Rudie","year":"1992","unstructured":"Rudie K, Wonham W (1992a) Think globally, act locally: decentralized supervisory control. IEEE Trans Automat Contr 31(11):1692\u20131708","journal-title":"IEEE Trans Automat Contr"},{"key":"106_CR22","unstructured":"Rudie K, Wonham WM (1992b) An automata-theoretic approach to automatic program verification. In: Proceedings of the IEEE Conference on Decision and Control (CDC). Tucson, Arizona, pp\u00a03770\u20133777"},{"key":"106_CR23","unstructured":"SMACS (2010) The SMACS tool. http:\/\/www.smacs.be\/"},{"issue":"9","key":"106_CR24","doi-asserted-by":"crossref","first-page":"1253","DOI":"10.1109\/9.718609","volume":"43","author":"S Takai","year":"1998","unstructured":"Takai S (1998) On the languages generated under fully decentralized supervision. IEEE Trans Automat Contr 43(9):1253\u20131256","journal-title":"IEEE Trans Automat Contr"},{"issue":"4","key":"106_CR25","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":"9","key":"106_CR26","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":"5","key":"106_CR27","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1016\/0167-6911(94)90034-5","volume":"22","author":"S Takai","year":"1994","unstructured":"Takai S, Kodama S, Ushio T (1994) Decentralized state feedback control of discrete event systems. Syst Control Lett 22(5):369\u2013375","journal-title":"Syst Control Lett"},{"key":"106_CR28","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":"5","key":"106_CR29","doi-asserted-by":"crossref","first-page":"1143","DOI":"10.1080\/00207179108934202","volume":"54","author":"Y Willner","year":"1991","unstructured":"Willner Y, Heymann M (1991) Supervisory control of concurrent discrete-event systems. Int J Control 54(5):1143\u20131169","journal-title":"Int J Control"},{"issue":"1","key":"106_CR30","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 discrete-event systems. Math Control Signals Syst 1(1):13\u201330","journal-title":"Math Control Signals Syst"},{"key":"106_CR31","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1023\/A:1015625600613","volume":"12","author":"T-S Yoo","year":"2002","unstructured":"Yoo T-S, Lafortune S (2002) A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dyn Syst 12:335\u2013377","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-0106-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-011-0106-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0106-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T14:24:37Z","timestamp":1560176677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-011-0106-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,6]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["106"],"URL":"https:\/\/doi.org\/10.1007\/s10626-011-0106-y","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,5,6]]}}}