scholarly journals An incremental model repair approach to timed discrete event systems

2017 ◽  
Vol 50 (1) ◽  
pp. 13636-13641 ◽  
Author(s):  
Basile F. ◽  
Chiacchio P. ◽  
Coppola J.
Keyword(s):  
Discrete Event Systems ◽  
Discrete Event ◽  
Model Repair ◽  
Incremental Model ◽  
Event Systems

Incremental model evolution and reusability of supervisors for discrete event systems

Automatica ◽  
2000 ◽  
Vol 36 (2) ◽  
pp. 243-259 ◽  
Author(s):  
Yi-Liang Chen ◽  
Stéphane Lafortune ◽  
Feng Lin
Keyword(s):  
Discrete Event Systems ◽  
Discrete Event ◽  
Model Evolution ◽  
Incremental Model ◽  
Event Systems

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