DocumentCode
3003933
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
fYear
2006
fDate
10-12 July 2006
Firstpage
399
Lastpage
406
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;
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.382507
Filename
4267657
Link To Document