Title :
Supervisor State Size Reduction for Timed Discrete-Event Systems
Author :
Saadatpoor, Ali ; Wonham, W.M.
Author_Institution :
Univ. of Toronto, Toronto
Abstract :
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.
Keywords :
discrete event systems; finite automata; specification finite automata; supervisor state size reduction; supervisory control; timed discrete-event system; Automata; Automatic control; Cities and towns; Control systems; Discrete event systems; Law; Legal factors; Size control; Supervisory control; USA Councils;
Conference_Titel :
American Control Conference, 2007. ACC '07
Conference_Location :
New York, NY
Print_ISBN :
1-4244-0988-8
Electronic_ISBN :
0743-1619
DOI :
10.1109/ACC.2007.4282434
