Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems

SCHMİDT K. V., Ribeiro Cury J. E.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, cilt.57, sa.12, ss.3224-3229, 2012 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 57 Sayı: 12
  • Basım Tarihi: 2012
  • Doi Numarası: 10.1109/tac.2012.2200373
  • Dergi Adı: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.3224-3229
  • Orta Doğu Teknik Üniversitesi Adresli: Hayır

Özet

The topic of this technical note is the nonblocking and maximally permissive abstraction-based supervisory control for modular discrete event systems (DES). It is shown, that an efficient abstraction technique, that was developed for the nonconflict verification of modular DES, is also suitable for the nonblocking supervisory control. Moreover, it is proved that this abstraction technique can be extended by the condition of local control consistency, in order to achieve maximally permissive supervision. Different from existing approaches, the presented abstraction does not require to preserve the shared events among the system components in the respective abstraction alphabets, and hence leads to potentially smaller system abstractions. The obtained results are illustrated by a flexible manufacturing system example.