Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, cilt.53, sa.10, ss.2252-2265, 2008 (SCI-Expanded, Scopus)
- Yayın Türü: Makale / Tam Makale
- Cilt numarası: 53 Sayı: 10
- Basım Tarihi: 2008
- Doi Numarası: 10.1109/tac.2008.2006817
- Dergi Adı: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
- Sayfa Sayıları: ss.2252-2265
- Anahtar Kelimeler: Decentralized control, discrete event systems (DES), hierarchical control, large-scale systems, supervisory control, SUPERVISORY CONTROL
- Orta Doğu Teknik Üniversitesi Adresli: Hayır
Özet
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.