We introduce the concept of controlled discrete-event system, by adjoining to the structure of a language generator a control technology. This amounts to partitioning the set of events into controllable events and uncontrollable, the former being amenable to disablement by an external controller or supervisor. Starting from the fundamental definition of a controllable language, it is shown how to formulate and solve a basic problem of optimal supervision. The formulation is extended to treat event forcing, reconfiguration, mutual state exclusion, and forbidden state subsets. Computation is illustrated using the software package TCT.

W. Murray Wonham

Supervision of Discrete-Event Systems: Basics

ivySCI AI Smartly Parses PDF, Answers Researchers' Questions, and Helps You Understand Papers in Seconds

Journal Info