In spite of intensive study since 1980s, there are still a lot of open problems in the supervisory control theory of discrete-event systems (DES), especially partially observed and decentralized ones, due to complexity issues of supervisor’s construction and verification algorithms. An important problem is the decentralized supervisory control, implemented by a set of automata each observing its own part of the system behavior. Preservation of co-observability of specification languages for DES under state space reduction, which is applied to reduce SCT algorithms computational complexity, is studied. One popular automata abstraction is considered and conditions for its applicability are obtained using the method of logical-algebraic equations.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    On checking properties of decentralized controlled discrete-event systems


    Beteiligte:
    Nagul, Nadezhda (Autor:in) / Davydov, Artem (Autor:in) / Sivasundaram, Seenith (Herausgeber:in)

    Kongress:

    ICNPAA 2018 WORLD CONGRESS: 12th International Conference on Mathematical Problems in Engineering, Aerospace and Sciences ; 2018 ; Yerevan, Armenia


    Erschienen in:

    Erscheinungsdatum :

    04.12.2018


    Format / Umfang :

    10 pages





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Decentralized Diagnosis of Fuzzy Discrete-Event Systems

    Liu, F. / Dziong, Z. | British Library Online Contents | 2012


    Decentralized Supervisory Control of Fuzzy Discrete Event Systems

    Liu, F. / Qiu, D. | British Library Online Contents | 2008



    Decentralized State Feedback Control of Large-Scale Discrete Event Systems

    Takai, S. / Ushio, T. / Kodama, S. | British Library Online Contents | 1993