Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, vol.53, no.10, pp.2252-2265, 2008 (SCI-Expanded, Scopus)
- Publication Type: Article / Article
- Volume: 53 Issue: 10
- Publication Date: 2008
- Doi Number: 10.1109/tac.2008.2006817
- Journal Name: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
- Page Numbers: pp.2252-2265
- Keywords: Decentralized control, discrete event systems (DES), hierarchical control, large-scale systems, supervisory control, SUPERVISORY CONTROL
- Middle East Technical University Affiliated: No
Abstract
This contribution investigates the hierarchical control of decentralized discrete event systems (DES) that are synchronized by shared events. A 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. Our main theorem identifies sufficient conditions for this desirable property.