Control of Discrete Event Systems Modeled with Deterministic Buchi Automata

Ramadge and Wonham have established a control theory of DES modeled by state machines. Previous work by Ramadge extended the concept of controllable languages to infinite languages and presented conditions for the existence of a supervisor for systems modeled by Buchi automata. This paper derives requirements for the existence of a supervisor under less restrictive conditions on the constraint language for plants which satisfy certain conditions. This supervisor approaches the prescribed closed loop behavior and retains all behaviors within a specified error bound of the desired behavior. Both deterministic and non-deterministic supervisors are considered. The construction for such a supervisor is given in an example.