Online supervision of discrete event systems
Rajinderjeet Singh Minhas, Walter Murray Wonham · 2004
This paper considers complex systems whose complexity is the result of the interactions of a number of subsystems. For such systems, a modular approach is presented to check the controllability of a specification with respect to a plant. This reduces the space complexity of checking the controllability from O(IXG'IIXSI) to O(nIXG')IXSI). The paper also presents an online modular approach to suprema1 supervisor synthesis.