论文信息 - On the existence of finite state supervisors in discrete-event systems

On the existence of finite state supervisors in discrete-event systems

A supervisor realized by a finite automaton is called a finite state supervisor. First, the paper shows the equivalence of deterministic and nondeterministic finite state supervisors. Next, it proves a necessary and sufficient condition for the existence of a finite state supervisor. Finally, it shows an example of a supervisor for a nonregular control specification.<<ETX>>

Toshimitsu Ushio

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

[2] W. M. Wonham,et al. On Supervisory Control of Real-Time Discrete-Event Systems , 1987 .

[3] P. Ramadge. Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata , 1989 .

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

[5] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .

[6] W. M. Wonham,et al. Supervisor specification and synthesis for discrete event systems , 1988 .

[7] C. Golaszewski,et al. Control of discrete event processes with forced events , 1987, 26th IEEE Conference on Decision and Control.

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

[9] P. Ramadge,et al. Modular Supervisory Control of Discrete Event Systems , 1988 .