Abstract
A modular approach to the supervisory control of a class of discrete-event systems is formulated, and illustrated with an example. Discrete-event systems are modeled by automata together with a mechanism for enabling and disabling a subset of state transitions. The basic problem of interest is to ensure by appropriate supervision that the closed loop behavior of the system lies within a given legal behavior. Assuming this behavior can be decomposed into an intersection of component restrictions, we determine conditions under which it is possible to synthesize the appropriate control in a modular fashion.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 13-30 |
| Number of pages | 18 |
| Journal | Mathematics of Control, Signals, and Systems |
| Volume | 1 |
| Issue number | 1 |
| DOIs | |
| State | Published - Feb 1988 |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering
- Signal Processing
- Control and Optimization
- Applied Mathematics
Keywords
- Discrete-event systems
- Modular synthesis
- Supervisory control