Supervisor State Size Reduction for Timed Discrete-Event Systems
Ali Saadatpoor, Walter Murray Wonham · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference · 2007
In supervisory control of Timed Discrete-Event Systems (TDES) the supremal controller (representing the supremal controllable sublanguage) typically has a (large) state size of order the product of state size of the plant and specification automata. In this paper we propose an algorithm which can significantly reduce the state size of the supervisor while preserving its control action.