Synthesis of reliable decentralized supervisors for discrete event systems

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

Volumn E83-A, Issue 11, 2000, Pages 2212-2218

  Takai, Shigemasa ^a,b   Ushio, Toshimitsu ^a  

^a WAKAYAMA UNIVERSITY   (Japan)

^b OSAKA UNIVERSITY   (Japan)

Author keywords

Decentralized supervisory control; Discrete event system; Fully decentralized supervisor; Normality; Reliable control

Indexed keywords

DECENTRALIZED SUPERVISORS; DECENTRALIZED SUPERVISORY CONTROL; NORMAL SUBLANGUAGE;

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DECENTRALIZED CONTROL; DISCRETE TIME CONTROL SYSTEMS; RELIABILITY; SUPERVISORY AND EXECUTIVE PROGRAMS; SYSTEMS ANALYSIS;

CONCURRENT ENGINEERING;

EID: 0034317424     PISSN: 09168508     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (15)

1. P.J. Ramadge and W.M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Contr. Optim., vol.25, no.l, pp.206-230, 1987.
2. F. Lin and W.M. Wonham, "Decentralized supervisory control of discrete-event systems," Inf. Sei., vol.44, no.3, pp.199-224, 1988.
3. R. Cieslak, C. Desclaux, 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, 1988.
4. Y. Willner and M. Heymann, "Supervisory control of concurrent discrete-event systems," Int. J. Contr., vol.54, no.5, pp.1143-1169, 1991.
5. K. Rudie and W.M. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE TVans. Autom. Control, vol.37, no.ll, pp.1692-1708, 1992.
6. P. Kozâk and W.M. Wonham, "Fully decentralized solutions of supervisory control problems," IEEE TVans. Autom. Control, vol.40, no.12, pp.2094-2097, 1995.
7. K.C. Wong and J.H. van Schuppen, "Decentralized supervisory control of discrete-event systems with communication," Proc. Int. Workshop on Discrete Event Systems, pp.284-289, 1996.
8. G. Barrett and S. Lafortune, "On the synthesis of communicating controllers with decentralized information structures for discrete-event systems," Proc. 37th IEEE CDC, pp.3281-3286, 1998.
9. K. Rudie, S. Lafortune, and F. Lin, "Minimal communication in a distributed discrete-event control system," Proc. 1999 ACC, pp.1965-1970, 1999.
10. S. Takai and T. Ushio, "Reliable decentralized supervisory control of discrete event systems," Proc. 38th IEEE CDC, pp.2224-2229, 1999.
11. W.M. Wonham and P.J. Ramadge, "On the supremal controllable sublanguage of a given language," SIAM J. Contr. Optim., vol.25, no.3, pp.637-G59, 1987.
12. S. Lafortune and E. Chen, "The infimal closed controllable superlanguage and its application in supervisory control," IEEE Trans. Autom. Control, vol.35, no.4, pp.398405, 1990.
13. G.G. Cassandras and S. Lafortune, Introduction to Discrete vent Systems, Kluwer Academic Publishers, 1999.
14. S. Takai, "On the language generated under fully decentralized supervision," IEEE Trans. Autom. Control, vol.43, no.9, pp.1253-1256, 1998.
15. K. Rudie and W.M. Wonham, "The infimal prefix closed and observable superlanguage of a given language," Syst. Contr. Lett., vol.15, no.5, pp.361-371, 1990.