Mekatronik Mühendisliği Bölümü Yayın Koleksiyonu

Permanent URI for this collectionhttps://hdl.handle.net/20.500.12416/255

Browse

Filters

20121

Settings

Author: search.filters.author.Ribeiro Cury, Jose EduardoSubject: search.filters.subject.Abstraction

Search Results

Now showing 1 - 1 of 1
  • Article
    Citation - WoS: 9
    Citation - Scopus: 9
    Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems
    (Ieee-inst Electrical Electronics Engineers inc, 2012) Schmidt, Klaus Werner; Ribeiro Cury, Jose Eduardo; Cury, José Eduardo Ribeiro
    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.