{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T17:18:02Z","timestamp":1775150282927,"version":"3.50.1"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,1,11]],"date-time":"2015-01-11T00:00:00Z","timestamp":1420934400000},"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,6]]},"DOI":"10.1007\/s10626-014-0208-4","type":"journal-article","created":{"date-parts":[[2015,1,10]],"date-time":"2015-01-10T06:46:17Z","timestamp":1420872377000},"page":"263-293","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":34,"title":["Distributed supervisory control of discrete-event systems with communication delay"],"prefix":"10.1007","volume":"26","author":[{"given":"Renyuan","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Cai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongmei","family":"Gan","sequence":"additional","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":[[2015,1,11]]},"reference":[{"issue":"9","key":"208_CR1","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1109\/9.880613","volume":"45","author":"G Barrett","year":"2000","unstructured":"Barrett G, Lafortune S (2000) Decentralized supervisory control with communicating controllers. IEEE Trans Autom Control 45(9):1620\u20131638","journal-title":"IEEE Trans Autom Control"},{"key":"208_CR2","doi-asserted-by":"crossref","unstructured":"Bravo H, da Cunha A, Pena P, Malik R, Cury J (2012) Generalised verification of observer property in discrete event systems. In: Proceeding 11th International Workshop on Discrete Event Systems(WODES\u201912), Guadalajara, pp 337\u2013342","DOI":"10.3182\/20121003-3-MX-4033.00054"},{"issue":"9\u201312","key":"208_CR3","doi-asserted-by":"crossref","first-page":"1189","DOI":"10.1007\/s00170-010-2561-2","volume":"50","author":"K Cai","year":"2010","unstructured":"Cai K, Wonham WM (2010a) Supervisor localization for large discrete-event systems: case study production cell. Int J Adv Manuf Technol 50(9\u201312):1189\u20131202","journal-title":"Int J Adv Manuf Technol"},{"issue":"3","key":"208_CR4","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1109\/TAC.2009.2039237","volume":"55","author":"K Cai","year":"2010","unstructured":"Cai K, Wonham WM (2010b) 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"},{"key":"208_CR5","doi-asserted-by":"crossref","unstructured":"Darondeau P (2005) Distributed implementation of Ramadge-Wonham supervisory control with Petri nets. In: Proceedings 44th IEEE Conference on Decision and Control and 2005 European Control Conference. CDC-ECC\u201905, Seville, pp 2107\u20132112","DOI":"10.1109\/CDC.2005.1582472"},{"key":"208_CR6","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/978-3-642-35179-2_2","volume":"6","author":"P Darondeau","year":"2012","unstructured":"Darondeau P, Ricker L (2012) Distributed control of discrete-event systems: A first step. Trans Petri Nets Other Models Concurr 6:24\u201345","journal-title":"Trans Petri Nets Other Models Concurr"},{"issue":"1","key":"208_CR7","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s10626-008-0054-3","volume":"20","author":"L Feng","year":"2010","unstructured":"Feng L, Wonham WM (2010) On the computation of natural observers in discrete-event systems. Discret Event Dyn Syst 20(1):63\u2013102","journal-title":"Discret Event Dyn Syst"},{"issue":"11","key":"208_CR8","doi-asserted-by":"crossref","first-page":"1152","DOI":"10.1007\/s00170-008-1555-9","volume":"41","author":"L Feng","year":"2009","unstructured":"Feng L, Cai K, Wonham WM (2009) A structural approach to the nonblocking supervisory control of discrete-event systems. Int J Adv Manuf Technol 41(11):1152\u20131167","journal-title":"Int J Adv Manuf Technol"},{"key":"208_CR9","unstructured":"Hill R, Tilbury D (2006) Modular supervisory control of discrete-event systems with abstraction and incremental hierarchical construction. In: Proceedings 8th International Workshop on Discrete-Event Systems (WODES\u201906), Ann Arbor, pp 399\u2013406"},{"issue":"3","key":"208_CR10","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1109\/TAC.2009.2012974","volume":"54","author":"K Hiraishi","year":"2009","unstructured":"Hiraishi K (2009) On solvability of a decentralized supervisory control problem with communication. IEEE Trans Autom Control 54(3):468\u2013480","journal-title":"IEEE Trans Autom Control"},{"key":"208_CR11","doi-asserted-by":"crossref","unstructured":"Kalyon G, Gall TL, Marchand H, Massart T (2011) Synthesis of communicating controllers for distributed systems. In: Proceedings 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), Orlando, pp 1803\u20131810","DOI":"10.1109\/CDC.2011.6160584"},{"key":"208_CR12","unstructured":"Kishinevsky M, Cortadella J (2008) Synchronous elastic systems. Tutorial presented at the ASYNC08\/NOCS08 in Newcsstle, UK., available at http:\/\/async.org.uk\/async2008\/async-nocs-slides\/Tutorial-Monday\/Mike_tutorial.pdf"},{"issue":"2","key":"208_CR13","doi-asserted-by":"crossref","first-page":"1276","DOI":"10.1137\/130914942","volume":"52","author":"F Lin","year":"2014","unstructured":"Lin F (2014) Control of networked discrete event systems: dealing with communication delays and losses. SIAM J Control Optim 52(2):1276\u20131298","journal-title":"SIAM J Control Optim"},{"key":"208_CR14","doi-asserted-by":"crossref","unstructured":"Ma C, Wonham WM (2005) Nonblocking supervisory control of state tree structures. Springer-Verlag","DOI":"10.1109\/TAC.2006.875030"},{"issue":"2","key":"208_CR15","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1109\/TAC.2007.915173","volume":"53","author":"A Mannani","year":"2008","unstructured":"Mannani A, Gohari P (2008) Decentralized supervisory control of discrete-event systems over communication networks. IEEE Trans Autom Control 53(2):547\u2013559","journal-title":"IEEE Trans Autom Control"},{"key":"208_CR16","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Prentice Hall, Englewood Cliffs"},{"issue":"4","key":"208_CR17","doi-asserted-by":"crossref","first-page":"738","DOI":"10.1016\/j.automatica.2006.10.016","volume":"43","author":"SJ Park","year":"2007","unstructured":"Park SJ, Cho KH (2007) Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures. Automatica 43(4):738\u2013743","journal-title":"Automatica"},{"issue":"1","key":"208_CR18","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P 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"},{"key":"208_CR19","doi-asserted-by":"crossref","unstructured":"Ricker L, Caillaud B (2011) Mind the gap: expanding communication options in decentralized discrete-event control. Automatica 47(11):2364\u20132372","DOI":"10.1016\/j.automatica.2011.08.040"},{"key":"208_CR20","doi-asserted-by":"crossref","unstructured":"Schmidt K, Schmidt E (2008) Communication of distributed discrete-event supervisors on a switched network. In: Proceedings 9th International Workshop on Discrete Event Systems (WODES\u201908), Goteborg, pp 419\u2013424","DOI":"10.1109\/WODES.2008.4605982"},{"key":"208_CR21","doi-asserted-by":"crossref","unstructured":"Schmidt K, Schmidt E, Zaddach J (2007) A shared-medium communication architecture for distributed discrete event systems. In: Proceedings Mediterranean Conference on Control and Automation, Athens, pp 1\u20136","DOI":"10.1109\/MED.2007.4433727"},{"issue":"2","key":"208_CR22","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"},{"key":"208_CR23","unstructured":"Su R, Thistle J (2006) A distributed supervisor synthesis approach based on weak bisimulation. In: Proceedings 8th International Workshop on Discrete-Event Systems (WODES\u201906), Ann Arbor, pp 64\u201369"},{"issue":"7","key":"208_CR24","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":"9","key":"208_CR25","doi-asserted-by":"crossref","first-page":"1489","DOI":"10.1109\/TAC.2004.834116","volume":"49","author":"S Tripakis","year":"2004","unstructured":"Tripakis S (2004) Decentralized control of discrete-event systems with bounded or unbounded delay communication. IEEE Trans Autom Control 49(9):1489\u20131501","journal-title":"IEEE Trans Autom Control"},{"key":"208_CR26","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01660032","volume":"1","author":"J Udding","year":"1986","unstructured":"Udding J (1986) A formal model for defining and classifying delay-insensitive circuits and systems. Distrib Comput 1:197\u2013204","journal-title":"Distrib Comput"},{"issue":"1","key":"208_CR27","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1023\/B:DISC.0000005010.55515.27","volume":"14","author":"K Wong","year":"2004","unstructured":"Wong K, Wonham WM (2004) On the computation of observers in discrete-event systems. Discret Event Dyn Syst 14(1):55\u2013107","journal-title":"Discret Event Dyn Syst"},{"issue":"3","key":"208_CR28","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1023\/A:1008210519960","volume":"8","author":"K Wong","year":"1998","unstructured":"Wong K, Wonham WM (1998) Modular control and coordination of discrete-event systems. Discret Event Dyn Syst 8(3):247\u2013297","journal-title":"Discret Event Dyn Syst"},{"key":"208_CR29","unstructured":"Wonham WM (2014a) Design software: XPTCT. Systems Control Group, ECE Dept, Univ. Toronto, Toronto, available at http:\/\/www.control.utoronto.ca\/DES"},{"key":"208_CR30","doi-asserted-by":"crossref","unstructured":"Wonham WM (2014b) Supervisory Control of Discrete-Event Systems. Systems Control Group, ECE Dept, Univ. Toronto, Toronto, available at http:\/\/www.control.utoronto.ca\/DES","DOI":"10.1007\/978-1-4471-5058-9_54"},{"issue":"3","key":"208_CR31","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"WM Wonham","year":"1987","unstructured":"Wonham WM, Ramadge PJ (1987) On the supremal controllable sublanguage of a given language. SIAM J Control Optim 25(3):637\u2013659","journal-title":"SIAM J Control Optim"},{"key":"208_CR32","doi-asserted-by":"crossref","unstructured":"Xu S, Kumar R (2008) Asynchronous implementation of synchronous discrete event control. In: Proceedings 9th International Workshop on Discrete Event Systems (WODES\u201908), pp 181\u2013186","DOI":"10.1109\/WODES.2008.4605942"},{"key":"208_CR33","doi-asserted-by":"crossref","unstructured":"Yeddes M, Alla H, David R (1999) On the supervisory synthesis for distributed control of discrete event dynamic systems with communication delays. In: Proceedings 1999 IEEE International Symposium on Intelligent Control\/Intelligent Systems and Semiotics, Cambridge, pp 1\u20136","DOI":"10.1109\/ISIC.1999.796620"},{"key":"208_CR34","unstructured":"Zhang H (1997) Delay Insensitive Networks. Master of math. thesis, Computer Science Dept., University of Waterloo, Waterloo"},{"key":"208_CR35","unstructured":"Zhang R, Cai K, Gan Y, Wonham WM (2014) Distributed supervisory control of discrete-event systems with communication delay. Available at arXiv: 1207.5072"},{"key":"208_CR36","doi-asserted-by":"crossref","unstructured":"Zhang R, Cai K, Gan Y, Wang Z, Wonham WM (2012) Checking delay-robustness of distributed supervisors of discrete-event systems. In: Proceedings International Conference on Information Science and Control Engineering, Shenzhen, pp 350\u2013355","DOI":"10.1049\/cp.2012.2289"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0208-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-014-0208-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0208-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T14:16:32Z","timestamp":1566224192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-014-0208-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,11]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["208"],"URL":"https:\/\/doi.org\/10.1007\/s10626-014-0208-4","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1,11]]}}}