Supervisory control of interacting discrete event systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 2, Issue , 2002, Pages 1175-1180

  Abdelwahed, Sherif ^a   Wonham, W M ^b  

^a VANDERBILT UNIVERSITY   (United States)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; CONTROLLABILITY; DECENTRALIZED CONTROL; DISCRETE TIME CONTROL SYSTEMS; THEOREM PROVING;

INTERACTING DISCRETE EVENT SYSTEM; INTERACTION SPECIFICATION; MULTIPROCESS DISCRETE EVENT SYSTEM;

SCADA SYSTEMS;

EID: 0036996154     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. S. Abdelwahed. Interacting Discrete Event Systems: Modelling, Verification, and Supervisory Control. PhD thesis, University of Toronto, 2002.
2. S. Abdelwahed and W.M. Wonham. Interacting discrete event systems. In Proc. of 37th Allerton Conf. on Communication, Control and Computing, Champaign, IL, USA, September 1999.
3. R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya. Supervisory control of discrete-event processes with partial observations. IEEE Trans. Autom. Control, 33(3):249-260, March 1988.
4. F. Lin and W.M. Wonham. Decentralized control and coordination of discrete event systems with partial observation. IEEE Trans. Autom. Control, 35(12):1330-1337, 1990.
5. P.J. Ramadge and W.M. Wonham. Supervisory control of a class of discrete-event systems. SIAM Journal on Control and Optimization, 25:206-230, 1987.
6. K. Rudie. Software for the control of discrete-event systems: A complexity study. Master's thesis, Dept. of Elec. Eng., University of Toronto, 1988.
7. Y. Willner and M. Heymann. Supervisory control of concurrent discrete event systems. Int. Journal of Control, 54(5):1143-1169, 1991.
8. W.M. Wonham. Notes on Control of Discrete-Event Systems. ECE Department, University of Toronto, revised 2002.07-01. www.control.utoronto.ca/people/profs/wonham.