DocumentCode
3163409
Title
Supervisor State Size Reduction for Timed Discrete-Event Systems
Author
Saadatpoor, Ali ; Wonham, W.M.
Author_Institution
Univ. of Toronto, Toronto
fYear
2007
fDate
9-13 July 2007
Firstpage
4280
Lastpage
4284
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;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 2007. ACC '07
Conference_Location
New York, NY
ISSN
0743-1619
Print_ISBN
1-4244-0988-8
Electronic_ISBN
0743-1619
Type
conf
DOI
10.1109/ACC.2007.4282434
Filename
4282434
Link To Document