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… (More)


  • Presentations referencing similar topics