Distributed supervisory control of discrete-event systems with communication delay

Barrett G, Lafortune S (2000) Decentralized supervisory control with communicating controllers. IEEE Trans Autom Control 45(9):1620–1638

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’12), Guadalajara, pp 337–342

Cai K, Wonham WM (2010a) Supervisor localization for large discrete-event systems: case study production cell. Int J Adv Manuf Technol 50(9–12):1189–1202

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–618

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’05, Seville, pp 2107–2112

Darondeau P, Ricker L (2012) Distributed control of discrete-event systems: A first step. Trans Petri Nets Other Models Concurr 6:24–45

Feng L, Wonham WM (2010) On the computation of natural observers in discrete-event systems. Discret Event Dyn Syst 20(1):63–102

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–1167

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’06), Ann Arbor, pp 399–406

Hiraishi K (2009) On solvability of a decentralized supervisory control problem with communication. IEEE Trans Autom Control 54(3):468–480

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–1810

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

Lin F (2014) Control of networked discrete event systems: dealing with communication delays and losses. SIAM J Control Optim 52(2):1276–1298

Ma C, Wonham WM (2005) Nonblocking supervisory control of state tree structures. Springer-Verlag

Mannani A, Gohari P (2008) Decentralized supervisory control of discrete-event systems over communication networks. IEEE Trans Autom Control 53(2):547–559

Milner R (1989) Communication and concurrency. Prentice Hall, Englewood Cliffs

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–743

Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206–230

Ricker L, Caillaud B (2011) Mind the gap: expanding communication options in decentralized discrete-event control. Automatica 47(11):2364–2372

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’08), Goteborg, pp 419–424

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–6

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–415

Su R, Thistle J (2006) A distributed supervisor synthesis approach based on weak bisimulation. In: Proceedings 8th International Workshop on Discrete-Event Systems (WODES’06), Ann Arbor, pp 64–69

Su R, van Schuppen JH, Rooda JE (2010) Aggregative synthesis of distributed supervisors based on automaton abstraction. IEEE Trans Autom Control 55(7):1627–1640

Tripakis S (2004) Decentralized control of discrete-event systems with bounded or unbounded delay communication. IEEE Trans Autom Control 49(9):1489–1501

Udding J (1986) A formal model for defining and classifying delay-insensitive circuits and systems. Distrib Comput 1:197–204

Wong K, Wonham WM (2004) On the computation of observers in discrete-event systems. Discret Event Dyn Syst 14(1):55–107

Wong K, Wonham WM (1998) Modular control and coordination of discrete-event systems. Discret Event Dyn Syst 8(3):247–297

Wonham WM (2014a) Design software: XPTCT. Systems Control Group, ECE Dept, Univ. Toronto, Toronto, available at http://www.control.utoronto.ca/DES

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

Wonham WM, Ramadge PJ (1987) On the supremal controllable sublanguage of a given language. SIAM J Control Optim 25(3):637–659

Xu S, Kumar R (2008) Asynchronous implementation of synchronous discrete event control. In: Proceedings 9th International Workshop on Discrete Event Systems (WODES’08), pp 181–186

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–6

Zhang H (1997) Delay Insensitive Networks. Master of math. thesis, Computer Science Dept., University of Waterloo, Waterloo

Zhang R, Cai K, Gan Y, Wonham WM (2014) Distributed supervisory control of discrete-event systems with communication delay. Available at arXiv: 1207.5072

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–355