Title :
A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems
Author :
Schmidt, Klaus ; Moor, Thomas ; Perk, S.
Author_Institution :
Lehrstuhl fur Regelungstechnik, Univ. Erlangen-Nurnberg, Erlangen
Abstract :
This contribution investigates the hierarchical control of decentralized DES which are synchronized by shared events. A multi-level hierarchical control architecture providing hierarchical consistency is introduced. Moreover, it allows for composition of decentralized subsystems on the high-level of the hierarchy, and hence reduces the computational complexity of supervisory control synthesis for language inclusion specifications. In this context, a crucial issue is the nonblocking operation of the overall system. In our main theorem, marked state acceptance and marked state controllability are identified as sufficient conditions for this desirable property
Keywords :
SCADA systems; computational complexity; control system synthesis; controllability; decentralised control; discrete event systems; hierarchical systems; multivariable systems; computational complexity; decentralized discrete event systems; decentralized subsystems; event sharing; hierarchical architecture; hierarchical consistency; language inclusion specification; marked state acceptance; marked state controllability; multilevel hierarchical control architecture; nonblocking control; supervisory control synthesis; Algorithm design and analysis; Computational complexity; Computer architecture; Control system synthesis; Control systems; Controllability; Discrete event systems; Process design; Sufficient conditions; Supervisory control;
Conference_Titel :
Intelligent Control, 2005. Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation
Conference_Location :
Limassol
Print_ISBN :
0-7803-8936-0
DOI :
10.1109/.2005.1467134