Abstract
The concept of controllable language has been shown to play a basic role in the existence theory of supervisory controls for discrete event processes. In this paper the supremal controllable sublanguage S of a given language L is characterized as the largest fixpoint of a monotone operator OMEGA . In the case where the languages involved are regular it is shown that the fixpoint S can be computed as the limit of the (finite) sequence left brace K//j right brace given by K//j// plus //1 equals OMEGA (K//j), K//0 equals L. An effective computational algorithm is developed, and three examples are provided for illustration.
Original language | English (US) |
---|---|
Pages (from-to) | 637-659 |
Number of pages | 23 |
Journal | SIAM Journal on Control and Optimization |
Volume | 25 |
Issue number | 3 |
DOIs | |
State | Published - 1987 |
Externally published | Yes |
All Science Journal Classification (ASJC) codes
- Control and Optimization
- Applied Mathematics