Nonblocking Hierarchical Control of Decentralized Discrete Event Systems

SCHMİDT K. V., MOOR T., PERK S.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, cilt.53, sa.10, ss.2252-2265, 2008 (SCI-Expanded) identifier identifier

  • 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.