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

1 January 1990

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 2857-2860 vol.5
https://doi.org/10.1109/cdc.1990.203302

Abstract

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.

Keywords

This publication has 8 references indexed in Scilit:

Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
IEEE Transactions on Automatic Control, 1989
On sSupervisory control of real-time discrete-event systems
Information Sciences, 1988
Supervisor specification and synthesis for discrete event systems
International Journal of Control, 1988
Decentralized supervisory control of discrete-event systems
Information Sciences, 1988
Modular supervisory control of discrete-event systems
Mathematics of Control, Signals, and Systems, 1988
Control of discrete event processes with forced events
Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
On the Supremal Controllable Sublanguage of a Given Language
SIAM Journal on Control and Optimization, 1987
Supervisory Control of a Class of Discrete Event Processes
SIAM Journal on Control and Optimization, 1987