DocumentCode
2408981
Title
Computationally Efficient Supervisor Design: Control Flow Decomposition
Author
Feng, Lei ; Wonham, W.M.
Author_Institution
Dept. of Electr. & Comput. Eng., Toronto Univ., Ont.
fYear
2006
fDate
10-12 July 2006
Firstpage
9
Lastpage
14
Abstract
This paper presents structural criteria for qualitative reasoning and reduction in discrete event systems. On this basis, the computation of a control synthesis may be considerably simplified. Interconnections among plant components and specifications are captured by a new modeling tool, control-flow net. Special net structures that guarantee nonblocking control are identified
Keywords
common-sense reasoning; control system synthesis; discrete event systems; control flow decomposition; control synthesis; control-flow net; discrete event systems; modeling tool; net structures; nonblocking control; qualitative reasoning; qualitative reduction; supervisor design; Automata; Computer interfaces; Control system synthesis; Discrete event systems; Explosions; Flexible manufacturing systems; Optimal control; Power system modeling; Robot kinematics; Robotics and automation;
fLanguage
English
Publisher
ieee
Conference_Titel
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location
Ann Arbor, MI
Print_ISBN
1-4244-0053-8
Type
conf
DOI
10.1109/WODES.2006.1678400
Filename
1678400
Link To Document