Reliable decentralized supervisory control for marked language specifications

Asian Journal of Control

Volumn 5, Issue 1, 2003, Pages 160-167

  Takai, Shigemasa ^a   Ushio, Toshimitsu ^b  

^a WAKAYAMA UNIVERSITY   (Japan)

^b OSAKA UNIVERSITY   (Japan)

Author keywords

Blocking; Controllability; Decentralized supervisory control; Discrete event system; Reliable control

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; ITERATIVE METHODS; RELIABILITY; SPECIFICATIONS; SUPERVISORY AND EXECUTIVE PROGRAMS; THEOREM PROVING;

DECENTRALIZED SUPERVISORY CONTROL; DISCRETE EVENT SYSTEMS; MARKED LANGUAGES; RELIABLE CONTROL;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0038779660     PISSN: 15618625     EISSN: None     Source Type: Journal    
DOI: 10.1111/j.1934-6093.2003.tb00107.x     Document Type: Article

References (17)

1. Barrett, G. and S. Lafortune, Decentralized Supervisory Control with Communicating Controllers, IEEE Trans. Automat. Contr., Vol. 45, No. 9, pp. 1620-1638 (2000).
2. Cassandras, C.G. and S. Lafortune, Introduction to Discrete Event Systems, Kluwer Academic Publishers, Boston, USA (1999).
3. Chen, E. and S. Lafortune, Dealing with Blocking in Supervisory Control of Discrete-event Systems, IEEE Trans. Automat. Contr., Vol. 36, No. 6, pp. 724-735 (1991).
4. Cieslak, R.C. Desclaux, A.S. Fawaz and P. Varaiya, Supervisory Control of Discrete-event Processes with Partial Observations, IEEE Trans. Automat. Contr., Vol. 33, No. 3, pp. 249-260 (1988).
5. Kozak, P. and W.M. Wonham, Fully Decentralized Solutions of Supervisory Control Problems, IEEE Trans. Automat. Contr., Vol. 40, No. 12, pp. 2094-2097 (1995).
6. Kumar, R. and M.A. Shayman, Formulae Relating Controllability, Observability, and Co-observability, Automatica, Vol. 34, No. 2, pp. 211-215 (1998).
7. Lafortune, S. and E. Chen. The Infimal Closed Controllable Superlanguage and Its Application in Supervisory Control, IEEE Trans. Automat. Contr., Vol. 35, No. 4, pp. 398-405 (1990).
8. Lin, F. and W.M. Wonham, On Observability of Discrete-event Systems, Inf. Sci., Vol. 44, No. 3, pp. 173-198(1988).
9. Lin, F. and W.M. Wonham, Decentralized Supervisory Control of Discrete-event Systems, Inf. Sci., Vol. 44, No. 3, pp. 199-224 (1988).
10. Ramadge, P.J. and W.M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM J. Contr. Optim., Vol. 25, No. 1, pp. 206-230 (1987).
11. Rudie, K., S. Lafortune and F. Lin, Minimal Communication in a Distributed Discrete-event Control System, Proc. Amer. Contr. Conf., San Diego, USA., pp. 1965-1970 (1999).
12. Rudie, K. and W.M. Wonham, Think Globally, Act Locally: Decentralized Supervisory Control, IEEE Trans. Automat. Contr., Vol. 37, No. 11, pp. 1692-1708(1992).
13. Takai, S. and T. Ushio, Reliable Decentralized Supervisory Control of Discrete Event Systems, IEEE Trans. Syst. Man Cybern.-Part B: Cybern., Vol. 30, No. 5, pp. 661-667 (2000).
14. Veillette, R.J., J.V. Medanic and W.R. Perkins, Design of Reliable Control Systems, IEEE Trans. Automat. Contr., Vol. 37, No. 3, pp. 290-304 (1992).
15. Willner, Y. and M. Heymann, Supervisory Control of Concurrent Discrete-event Systems, Int. J. Contr., Vol. 54, No. 5, pp. 1143-1169 (1991).
16. Wong, K.C. and J.H. van Schuppen, Decentralized Supervisory Control of Discrete-event Systems with Communication, Proc. Int. Workshop on Discrete Event Syst., Edinburgh, UK, pp. 284-289 (1996).
17. Wonham, W.M. and R.J. Ramadge, On the Supremal Controllable Sublanguage of a Given Language, SIAM J. Contr. Optim., Vol. 25, No. 3, pp. 637-659 (1987).