WOS: 000282600700003 ; A decentralized controller design approach is developed for the timed discrete event systems which are modelled by timed automata in this work. An approach, called augmentation, is presented to obtain the new modelling method such that each unit delay of any event represents a pair of new state and event. The augmented automata model, obtained by using this approach, is considered to design a decentralized controller. This controller design approach is developed such that the local controller is designed for each subautomaton, obtained by using overlapping decompositions and expansions and these controllers are then combined to obtain a decentralized controller for the given timed automaton. The designed decentralized controller guarantees the unreachability of a forbidden state in the considered automaton.


    Access

    Download


    Export, share and cite



    Title :

    Decentralized Controller Design for Forbidden States Avoidance in Timed Discrete Event Systems



    Publication date :

    2010-01-01


    Remarks:

    457



    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    DDC:    629



    Timed Stability of Timed Discrete-Event Systems

    Mochiyama, H. / Hiraishi, K. | British Library Online Contents | 2001


    Networked Supervisory Control Synthesis of Timed Discrete-Event Systems

    Rashidinejad, Aida / Reniers, Michel A. / Fabian, Martin | BASE | 2021

    Free access


    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