On the language generated under fully decentralized supervision

This paper studies the language generated under fully decentralized supervision proposed by Kozak and Wonham (1995). The author assumes that desirable behavior is specified as a closed language. A closed-form expression for the language generated under fully decentralized supervision is presented. It is shown that the generated language is larger than the supremal closed, controllable, and strongly decomposable sublanguage. Moreover, a necessary and sufficient condition is derived for the generated language to be the supremal closed and controllable sublanguage.

[1]  W. M. Wonham,et al.  Design of transaction management protocols , 1996 .

[2]  Michael Heymann,et al.  Supervisory control of concurrent discrete-event systems , 1991 .

[3]  W. Wonham,et al.  The infimal prefix-closed and observable superlanguage of given language , 1991 .

[4]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[5]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[6]  W. M. Wonham,et al.  Fully decentralized solutions of supervisory control problems , 1995 .

[7]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[8]  Walter Murray Wonham,et al.  Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..

[9]  Feng Lin,et al.  On-line control of partially observed discrete event systems , 1994, Discret. Event Dyn. Syst..

[10]  W. M. Wonham,et al.  Think globally, act locally: decentralized supervisory control , 1992 .

[11]  R. D. Brandt,et al.  Formulas for calculating supremal controllable and normal sublanguages , 1990 .

[12]  W. M. Wonham,et al.  Decentralized control and coordination of discrete-event systems with partial observation , 1990 .

[13]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[14]  Vijay K. Garg,et al.  Modeling and Control of Logical Discrete Event Systems , 1994 .

[15]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..