{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:21:40Z","timestamp":1762521700439},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2014,5,31]],"date-time":"2014-05-31T00:00:00Z","timestamp":1401494400000},"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":[[2015,6]]},"DOI":"10.1007\/s10626-014-0194-6","type":"journal-article","created":{"date-parts":[[2014,5,30]],"date-time":"2014-05-30T04:54:19Z","timestamp":1401425659000},"page":"203-226","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["New results on supervisor localization, with case studies"],"prefix":"10.1007","volume":"25","author":[{"given":"Kai","family":"Cai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. M.","family":"Wonham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"issue":"6","key":"194_CR1","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/MCS.2008.929280","volume":"28","author":"BDO Anderson","year":"2008","unstructured":"Anderson BDO, Yu C, Fidan B, Hendrickx JM (2008) Rigid graph control architectures for autonomous formations. IEEE Control Syst Mag 28(6):48\u201363","journal-title":"IEEE Control Syst Mag"},{"issue":"5","key":"194_CR2","doi-asserted-by":"crossref","first-page":"1101","DOI":"10.1080\/00207179008934118","volume":"51","author":"Y Brave","year":"1990","unstructured":"Brave Y, Heymann M (1990) Stabilization of discrete-event processes. Int J Control 51(5):1101\u20131117","journal-title":"Int J Control"},{"issue":"3","key":"194_CR3","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0020-0255(93)90075-W","volume":"67","author":"Y Brave","year":"1993","unstructured":"Brave Y, Heymann M (1993) On optimal attraction in discrete-event processes. Inf Sci 67(3):245\u2013276","journal-title":"Inf Sci"},{"issue":"3","key":"194_CR4","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1109\/TAC.2009.2039237","volume":"55","author":"K Cai","year":"2010a","unstructured":"Cai K,WonhamWM(2010a) Supervisor localization: a top-down approach to distributed control of discrete event systems. IEEE Trans Autom Control 55(3):605\u2013618","journal-title":"IEEE Trans Autom Control"},{"issue":"9\u201312","key":"194_CR5","doi-asserted-by":"crossref","first-page":"1189","DOI":"10.1007\/s00170-010-2561-2","volume":"50","author":"K Cai","year":"2010b","unstructured":"Cai K, Wonham WM (2010b) Supervisor localization for large discrete-event systems\u2014case study production cell. Int J Adv Manuf Technol 50(9\u201312):1189\u20131202","journal-title":"Int J Adv Manuf Technol"},{"key":"194_CR6","doi-asserted-by":"crossref","unstructured":"Cai K, Wonham WM (2012a) New results on supervisor localization, with application to multiagent formations. In: Proceedings of the workshop on discrete-event systems. Guadalajara, pp 233\u2013238","DOI":"10.3182\/20121003-3-MX-4033.00039"},{"key":"194_CR7","doi-asserted-by":"crossref","unstructured":"Cai K,WonhamWM(2012b) Supervisor localization of discrete-event systems based on state tree structures. In: Proceedings of the 51st IEEE conference on decision and control. Maui, pp 5822\u20135827","DOI":"10.1109\/CDC.2012.6426607"},{"issue":"6","key":"194_CR8","doi-asserted-by":"crossref","first-page":"1449","DOI":"10.1109\/TAC.2008.927679","volume":"53","author":"L Feng","year":"2008","unstructured":"Feng L, Wonham WM (2008) Supervisory control architecture for discrete-event systems. IEEE Trans Autom Control 53(6):1449\u20131461","journal-title":"IEEE Trans Autom Control"},{"issue":"5","key":"194_CR9","doi-asserted-by":"crossref","first-page":"1294","DOI":"10.1137\/0331061","volume":"31","author":"R Kumar","year":"1993","unstructured":"Kumar R, Garg V, Marcus SI (1993) Language stability and stabilizability of discrete event dynamical systems. SIAM J Control Optim 31(5):1294\u20131320","journal-title":"SIAM J Control Optim"},{"key":"194_CR10","doi-asserted-by":"crossref","unstructured":"Ma C, Wonham WM (2005) Nonblocking supervisory control of state tree structures. Springer","DOI":"10.1109\/TAC.2006.875030"},{"key":"194_CR11","doi-asserted-by":"crossref","unstructured":"Mohajerani S, Malik R, Ware S, Fabian M (2011) On the use of observation equivalence in synthesis abstraction. In: Proceedings of the international workshop on dependable control of discrete systems. Saarbrucken, pp 84\u201389","DOI":"10.1109\/DCDS.2011.5970323"},{"issue":"1","key":"194_CR12","first-page":"70","volume":"9","author":"MT Pham","year":"2012","unstructured":"Pham MT, Seow KT (2012) Discrete-event coordination design for distributed agents. IEEE Trans Autom Sci Eng 9(1):70\u201382","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"1","key":"194_CR13","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":"4","key":"194_CR14","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1109\/TAC.2010.2067250","volume":"56","author":"K Schmidt","year":"2011","unstructured":"Schmidt K, Breindl C (2011) Maximally permissive hierarchical control of decentralized discrete event systems. IEEE Trans Autom Control 56(4):723\u2013737","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"194_CR15","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1109\/TCST.2008.924574","volume":"17","author":"KT Seow","year":"2009","unstructured":"Seow KT, Pham MT, Ma C, Yokoo M(2009) Coordination planning: applying control synthesis methods for a class of distributed agents. IEEE Trans Control Syst Technol 17(2):405\u2013415","journal-title":"IEEE Trans Control Syst Technol"},{"issue":"2","key":"194_CR16","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1109\/TRO.2011.2174493","volume":"28","author":"SL Smith","year":"2012","unstructured":"Smith SL, Schwager M, Rus D (2012) Persistent robotic tasks: monitoring and sweeping in changing environments. IEEE Trans Robot 28(2):410\u2013426","journal-title":"IEEE Trans Robot"},{"issue":"1","key":"194_CR17","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. Discrete Event Dyn Syst 14(1):31\u201353","journal-title":"Discrete Event Dyn Syst"},{"issue":"7","key":"194_CR18","doi-asserted-by":"crossref","first-page":"1627","DOI":"10.1109\/TAC.2010.2042342","volume":"55","author":"R Su","year":"2010","unstructured":"Su R, van Schuppen JH, Rooda JE (2010) Aggregative synthesis of distributed supervisors based on automaton abstraction. IEEE Trans Autom Control 55(7):1627\u20131640","journal-title":"IEEE Trans Autom Control"},{"issue":"7","key":"194_CR19","doi-asserted-by":"crossref","first-page":"1237","DOI":"10.1016\/j.automatica.2012.04.004","volume":"48","author":"R Su","year":"2012","unstructured":"Su R, van Schuppen JH, Rooda JE (2012) Maximum permissive coordinated distributed supervisory control of nondeterministic discrete-event systems. Automatica 48(7):1237\u20131247","journal-title":"Automatica"},{"key":"194_CR20","unstructured":"Wonham WM (2013a) Design software: TCT. Systems Control Group, ECE Dept, University of Toronto. Available online at http:\/\/www.control.toronto.edu\/DES Accessed July 1 2013"},{"key":"194_CR21","doi-asserted-by":"crossref","unstructured":"Wonham WM (2013b) Supervisory control of discrete-event systems. Systems Control Group, ECE Dept, University of Toronto. Available online at http:\/\/www.control.toronto.edu\/DES . Accessed July 1 2013","DOI":"10.1007\/978-1-4471-5102-9_54-1"},{"key":"194_CR22","doi-asserted-by":"crossref","unstructured":"Yi J, Ding S, ZhangMT, van der Meulen P (2007) Throughput analysis of linear cluster tools. In: Proceedings of the 3rd IEEE international conference on automation science and engineering. Scottsdale, pp 1063\u20131068","DOI":"10.1109\/COASE.2007.4341849"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0194-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-014-0194-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0194-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,11]],"date-time":"2019-08-11T04:07:07Z","timestamp":1565496427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-014-0194-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":22,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["194"],"URL":"https:\/\/doi.org\/10.1007\/s10626-014-0194-6","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,5,31]]}}}