On Controllable Languages in Supervisory Control of Discrete Event Systems
Stéphane Lafortune, Enke Chen · Birkhäuser Boston eBooks · 1990
The concept of controllable language has been shown to be of prime importance in the theory initiated by Ramadge and Wonham for the supervisory control of discrete event systems. After reviewing the notion of supremal controllable sublanguage L ↑ of a given language L , we introduce and study the new notions of supremal closed and controllable sublanguage L cl ↑ and infimal closed and controllable superlanguage L ↓ of L. We discuss the duality between L ↓ and L ↑ and propose algorithms for the computation of L cl ↑ and L ↓ .