{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,19]],"date-time":"2026-09-19T11:14:58Z","timestamp":1789816498139,"version":"4.0.1"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,12,5]],"date-time":"2015-12-05T00:00:00Z","timestamp":1449273600000},"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":[[2016,12]]},"DOI":"10.1007\/s10626-015-0222-1","type":"journal-article","created":{"date-parts":[[2015,12,5]],"date-time":"2015-12-05T07:10:34Z","timestamp":1449299434000},"page":"583-610","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["On-line compositional controller synthesis for AGV"],"prefix":"10.1007","volume":"26","author":[{"given":"Johan","family":"Girault","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Jacques","family":"Loiseau","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier H.","family":"Roux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,12,5]]},"reference":[{"key":"222_CR1","volume-title":"JD-JN-MACS 2009","author":"Y Arnaud","year":"2009","unstructured":"Arnaud Y, Cury JER, Loiseau JJ, Martinez C (2009) Pilotage s\u00fbr et optimal d\u2019une flotte de v\u00e9hicules autoguid\u00e9s. In: JD-JN-MACS 2009. Angers, France"},{"key":"222_CR2","doi-asserted-by":"crossref","unstructured":"Breton L, Maza S, Castagna P (2006) A multi-agent based conflict-free routing approach of bi-directional automated guided vehicles. In: American Control Conference, 2006","DOI":"10.1109\/ACC.2006.1656652"},{"issue":"3","key":"222_CR3","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1109\/TAC.2009.2039237","volume":"55","author":"K Cai","year":"2010","unstructured":"Cai K, Wonham WM (2010) Supervisor localization: A top-down approach to distributed control of discrete-event systems. IEEE Trans Autom Control 55(3):605\u2013618. doi: 10.1109\/TAC.2009.2039237","journal-title":"IEEE Trans Autom Control"},{"key":"222_CR4","volume-title":"Introduction to Discrete Event Systems","author":"CG Cassandras","year":"2006","unstructured":"Cassandras CG, Lafortune S (2006) Introduction to Discrete Event Systems. Springer-Verlag New York, Inc., Secaucus"},{"issue":"2","key":"222_CR5","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke EM, Emerson EA, Sistla AP (1986) Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans Program Lang Syst 8(2):244\u2013263. doi: 10.1145\/5397.5399","journal-title":"ACM Trans Program Lang Syst"},{"issue":"4","key":"222_CR6","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/s10626-007-0018-z","volume":"17","author":"H Flordal","year":"2007","unstructured":"Flordal H, Malik R, Fabian M, \u00c5kesson K (2007) Compositional synthesis of maximally permissive supervisors using supervision equivalence. Discrete Event Dynamic Systems 17(4):475\u2013504. doi: 10.1007\/s10626-007-0018-z","journal-title":"Discrete Event Dynamic Systems"},{"key":"222_CR7","doi-asserted-by":"crossref","unstructured":"Girault J, Loiseau JJ, Roux OH (2013) Synth\u00e8se en ligne de superviseur compositionnel pour flotte de robots mobiles. In: European Journal of Automation, MSR\u201913, vol 47\/1-3, pp 195\u2013210","DOI":"10.3166\/jesa.47.195-210"},{"key":"222_CR8","doi-asserted-by":"publisher","unstructured":"Hill RC, Tilbury DM (2006) Modular supervisory control of discrete-event systems with abstraction and incremental hierarchical construction. In: 2006 8th International Workshop on Discrete Event Systems, pp 399\u2013406. doi: 10.1109\/WODES.2006.382507 , (to appear in print)","DOI":"10.1109\/WODES.2006.382507"},{"key":"222_CR9","doi-asserted-by":"publisher","first-page":"1127","DOI":"10.1016\/j.automatica.2007.09.004","volume":"44","author":"J Komenda","year":"2008","unstructured":"Komenda J, Van Schuppen J, Gaudin B, Marchand H (2008) Supervisory control of modular systems with global specification languages. Automatica 44:1127\u20131134. doi: 10.1016\/j.automatica.2007.09.004","journal-title":"Automatica"},{"issue":"4","key":"222_CR10","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1016\/0005-1098(91)90055-7","volume":"27","author":"BH Krogh","year":"1991","unstructured":"Krogh BH, Holloway LE (1991) Synthesis of feedback control logic for discrete manufacturing systems. Automatica 27(4):641\u2013651","journal-title":"Automatica"},{"key":"222_CR11","doi-asserted-by":"publisher","unstructured":"Malik R, Flordal H (2008) Yet another approach to compositional synthesis of discrete event systems. In: 9th International Workshop on Discrete Event Systems, 2008. WODES 2008. pp 16\u201321. doi: 10.1109\/WODES.2008.4605916 , (to appear in print)","DOI":"10.1109\/WODES.2008.4605916"},{"key":"222_CR12","unstructured":"Maza S (2003) Analyse du comportement d\u2019un syst\u00e8me de transport par chariot bidirectionnels en vue de sa commande. PhD thesis, Universit\u00e9 de Nantes"},{"key":"222_CR13","doi-asserted-by":"publisher","unstructured":"Mohajerani S, Malik R, Ware S, Fabian M (2011) Compositional synthesis of discrete event systems using synthesis abstraction. In: 2011 Chinese Control and Decision Conference (CCDC), pp 1549\u20131554. doi: 10.1109\/CCDC.2011.5968439 , (to appear in print)","DOI":"10.1109\/CCDC.2011.5968439"},{"key":"222_CR14","doi-asserted-by":"crossref","unstructured":"Queiroz MHD, Cury JER (2000) Modular supervisory control of large scale discrete event systems. In: Proceedings of the WODES\u201900 International Workshop on Discrete Event Systems: Analysis and Control. Kluwer Academic, pp 103\u2013110","DOI":"10.1007\/978-1-4615-4493-7_10"},{"issue":"1","key":"222_CR15","doi-asserted-by":"crossref","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"},{"issue":"1","key":"222_CR16","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81\u201398","journal-title":"Proc IEEE"},{"key":"222_CR17","first-page":"200","volume":"32","author":"SA Reveliotis","year":"2000","unstructured":"Reveliotis SA (2000) Conflict resolution in agv systems. IIE Trans 32:200\u20130","journal-title":"IIE Trans"},{"key":"222_CR18","doi-asserted-by":"crossref","unstructured":"Wonham WM, Ramadge PJ (1984) On the supremal controllable sublanguage of a given language. In: The 23rd IEEE Conference on Decision and Control, 1984, vol 23, pp 1073\u20131080","DOI":"10.1109\/CDC.1984.272178"},{"issue":"1","key":"222_CR19","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF02551233","volume":"1","author":"WM Wonham","year":"1988","unstructured":"Wonham WM, Ramadge PJ (1988) Modular supervisory control of discrete-event systems. Mathematics of Control, Signals and Systems 1(1):13\u201330","journal-title":"Mathematics of Control, Signals and Systems"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-015-0222-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-015-0222-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-015-0222-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-015-0222-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:58:55Z","timestamp":1559246335000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-015-0222-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,5]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["222"],"URL":"https:\/\/doi.org\/10.1007\/s10626-015-0222-1","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,5]]}}}