Title :
Modular Supervisory Control of Discrete-Event Systems with Abstraction and Incremental Hierarchical Construction
Author :
Hill, R.C. ; Tilbury, Dawn M.
Author_Institution :
Dept. of Mech. Eng., Michigan Univ., Ann Arbor, MI
Abstract :
This paper addresses the problem of state explosion by outlining a procedure for incrementally building modular supervisors that are nonconflicting by construction. Abstractions are employed to make the procedure more computationally feasible. Proof is given showing the set of modular supervisors generated in this manner meet given specifications without blocking. Furthermore, an example is provided that demonstrates the reduction in complexity that this approach provides
Keywords :
discrete event systems; discrete-event systems; incremental hierarchical construction; modular supervisory control; Buildings; Collision mitigation; Computational complexity; Control systems; Discrete event systems; Electrical equipment industry; Explosions; Mechanical engineering; Modular construction; Supervisory control;
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.382507
