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.
Decentralized Controller Design for Forbidden States Avoidance in Timed Discrete Event Systems
2010-01-01
457
Article (Journal)
Electronic Resource
English
DDC: | 629 |
Timed Stability of Timed Discrete-Event Systems
British Library Online Contents | 2001
|Supervisory control of timed discrete-event systems under partial observation
Tema Archive | 1995
|Decentralized Diagnosis of Fuzzy Discrete-Event Systems
British Library Online Contents | 2012
|Decentralized Supervisory Control of Fuzzy Discrete Event Systems
British Library Online Contents | 2008
|