Decentralized supervisory control of discrete-event systems over communication networks

IEEE Transactions on Automatic Control

Volumn 53, Issue 2, 2008, Pages 547-559

  Mannani, Amin ^a   Gohari, Peyman ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

Decentralized supervisory control; Discrete event systems (DESs); Protocol design

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); DISCRETE EVENT SIMULATION; OBSERVABILITY; TELECOMMUNICATION NETWORKS;

CONTROLLABLE EVENTS; DECENTRALIZED SUPERVISORY CONTROL; PROTOCOL DESIGN;

DECENTRALIZED CONTROL;

EID: 41849145739     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2007.915173     Document Type: Article

References (25)

1. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, 1987.
2. K. Rudie and W. M. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE Trans. Automat. Contr., vol. 37, pp. 1692-1708, Nov. 1992.
3. R. L. Probert and K. Saleh, "Synthesis of communication protocols: Survey and assessment," IEEE Trans. Comput., vol. 40, no. 4, pp. 468-476, Apr. 1991.
4. G. Holzmann, "Protocol design: Redefining the state of the art," IEEE Softw., vol. 9, no. 1, pp. 17-22, Jan. 1992.
5. R. Cieslak, C. Deslaux, A. S. Fawaz, and P. Varaiya, "Supervisory control of discrete-event processes with partial observations," IEEE Trans. Autom. Control, vol. 33, no. 3, pp. 249-260, Mar. 1988.
6. K. Rudie and W. M. Wonham, "Supervisory control of communicating processes," in Protocol Specification, Testing, Verification, L. Logrippo, R. L. Probert, and H. Ural, Eds. Amsterdam, The Netherlands: North Holland/Elsevier, 1990.
7. J. H. van Schuppen, "Decentralized control with communication between controllers," in Unsolved Problems Mathematical Systems and Control Theory, V. D. Blondel and A. Megretski, Eds. Princeton, NJ: Princeton Univ. Press, 2004.
8. K. C.Wong and J.H. van Schuppen, "Decentralized supervisory control of discrete-event systems with communication," in Proc. Workshop Discrete-Event Syst. (WODES 1996), Edinburgh, U.K., pp. 284-289.
9. J. H. van Schuppen, "Decentralized supervisory control with information structures," in Proc. Workshop Discrete-Event Syst. (WODES 1998), Cagliari, Italy, Aug., pp. 36-41.
10. G. Barrett and S. Lafortune, "Decentralized supervisory control with communicating controllers," IEEE Trans. Autom. Control, vol. 45, no. 9, pp. 1620-1638, Sep. 2000.
11. S. L. Ricker and K. Rudie, "Incorporating communication and knowledge into decentralized discrete-event systems," in Proc. IEEE Conf. Decis. Control (CDC 1999), Phoenix, AZ, Dec., pp. 1326-1332.
12. K. Rudie, S. Lafortune, and F. Lin, "Minimal communication in a distributed discrete-event system," IEEE Trans. Autom. Control, vol. 48, no. 6, pp. 957-975, Jun. 2003.
13. S. Tripakis, "Decentralized control of discrete-event systems with bounded or unbounded delay communication," IEEE Trans. Autom. Control, vol. 49, no. 9, pp. 1489-1501, Sep. 2004.
14. Y. Yang and P. Gohari, "Embedded supervisory control of discrete-event systems," in Proc. IEEE Conf. Autom. Sci. Eng. (ASE), 2005, pp. 410-415.
15. A. Mannani, Y. Yang, and P. Gohari, "Distributed extended finite-state machines: Communication and control," in Proc. IEEE 8th Int. Workshop Discrete-Event Syst. (WODES 2006), Ann Arbor, MI, Jul., pp. 161-167.
16. S. Tripakis, "Decentralized observation problems," in Proc. IEEE Conf. Decision Control-Eur. Control Conf. (CDC-ECC 2005), Seville, Spain, Dec., pp. 6-11.
17. A. Mannani and P. Gohari, "A framework for modeling communication among decentralized supervisors for discrete-event systems," Control and Robotics Group, Dept. Electr. Comput. Eng., Concordia Univ., Montreal, QC, Canada, Tech. Rep. CRG-TR0407, Apr. 2007.
18. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Inf. Sci., vol. 44, no. 2, pp. 173-198, 1988.
19. W. C. Lynch, "Computer systems: Reliable full-duplex file transmission over half-duplex telephone line," Commun. ACM, vol. 11, no. 6, pp. 407-410, 1968.
20. K. A. Bartlett, R. A. Scantlebury, and P. T. Wilkinson, "A note on reliable full-duplex transmission over half-duplex links," Commun. ACM, vol. 12, no. 5, pp. 260-261, 1969.
21. S. Takai, R. Kumar, and T. Ushio, "Characterization of co-observable languages and formulas for their super/sublanguages," IEEE Trans. Autom. Control, vol. 50, no. 4, pp. 434-447, Apr. 2005.
22. J. Denes and A. D. Keedwell, Latin Squares and Their Applications, 1st ed. New York: Academic, 1974.
23. C. J. Colbourn and J. H. Dinitz, Eds., The CRC Handbook of Combinatorial Designs, 1st ed. New York: CRC Press, 1996.
24. A. Mannani and P. Gohari, "Decentralized supervisory control of discreteevent systems over communication networks," Control and Robotics Group, Dept. Electr. Comput. Eng., Concordia Univ., Montreal, QC, Canada, Tech. Rep. CRG-TR0207, Feb. 2007.
25. M. M. Mano, Digital Design, 3rd ed. Englewood Cliffs, NJ: Prentice-Hall, 2002.