Title :
Computationally Efficient Supervisor Design: Control Flow Decomposition
Author :
Feng, Lei ; Wonham, W.M.
Author_Institution :
Dept. of Electr. & Comput. Eng., Toronto Univ., Ont.
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;
Conference_Titel :
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location :
Ann Arbor, MI
Print_ISBN :
1-4244-0053-8
DOI :
10.1109/WODES.2006.1678400
