scholarly journals Overview of discrete event systems opacity: Models, validation, and quantification

2016 ◽  
Vol 41 ◽  
pp. 135-146 ◽  
Author(s):  
Romain Jacob ◽  
Jean-Jacques Lesage ◽  
Jean-Marc Faure
Keyword(s):  
Discrete Event Systems ◽  
Discrete Event ◽  
Validation And Quantification ◽  
Event Systems ◽  
Models Validation

scholarly journals Opacity of Discrete Event Systems: models, validation and quantification

2015 ◽  
Vol 48 (7) ◽  
pp. 174-181 ◽  
Author(s):  
Romain Jacob ◽  
Jean-Jacques Lesage ◽  
Jean-Marc Faure
Keyword(s):  
Discrete Event Systems ◽  
Discrete Event ◽  
Validation And Quantification ◽  
Event Systems ◽  
Systems Models ◽  
Models Validation

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