Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places

2014 ◽  
Vol 17 (3) ◽  
pp. 1006-1015 ◽  
Author(s):  
Meysam Zareiee ◽  
Abbas Dideban ◽  
Ali A. Orouji ◽  
Hadi Soltanizadeh
Keyword(s):  
Discrete Event Systems ◽  
Discrete Event ◽  
Systematic Method ◽  
Forbidden States ◽  
Event Systems

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

2010 ◽  
Vol 5 (4) ◽  
pp. 447 ◽  
Author(s):  
Aydın Aybar
Keyword(s):  
Discrete Event Systems ◽  
Controller Design ◽  
Timed Automata ◽  
Discrete Event ◽  
Design Approach ◽  
Forbidden States ◽  
Event Systems ◽  
Local Controller ◽  
The Given ◽  
Timed Automaton

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.

scholarly journals An O(n2) Algorithm for Supervisor Reduction/Localization of Discrete-Event Systems

2020 ◽  
Vol 53 (4) ◽  
pp. 211-216
Author(s):  
Lihua Wu ◽  
Kai Cai ◽  
Renyuan Zhang ◽  
Yingying Liu
Keyword(s):  
Discrete Event Systems ◽  
Discrete Event ◽  
Event Systems ◽  
Supervisor Reduction
Sign in / Sign up

Export Citation Format

Share Document