scholarly journals First Steps Towards Incremental Diagnosis of Discrete-Event Systems

2005 ◽  
pp. 170-181 ◽  
Author(s):  
Alban Grastien ◽  
Marie-Odile Cordier ◽  
Christine Largouët
Keyword(s):  
Discrete Event Systems ◽  
Discrete Event ◽  
Event Systems

Linear Discrete-Event Systems: An Architecture and Simulator

1990 ◽  
Author(s):  
Martin E. Kaliski ◽  
Sylvia Ritz
Keyword(s):  
Discrete Event Systems ◽  
Discrete Event ◽  
Event Systems

Specification of Intelligent Controllers for Discrete Event Systems in a Temporal Logic Framework

1992 ◽  
Vol 25 (20) ◽  
pp. 237-242
Author(s):  
Dan Ionescu ◽  
Jing-Yue Lin ◽  
Hyung Soo Hwang
Keyword(s):  
Temporal Logic ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Event Systems ◽  
Intelligent Controllers

Fuzzy Infinite-step Opacity Measure of Discrete Event Systems and Its Applications

2020 ◽  
pp. 1-1
Author(s):  
Weilin Deng ◽  
Daowen Qiu ◽  
Jingkai Yang
Keyword(s):  
Discrete Event Systems ◽  
Discrete Event ◽  
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

scholarly journals On Opacity Verification for Discrete-Event Systems

2020 ◽  
Vol 53 (2) ◽  
pp. 2075-2080
Author(s):  
Jiří Balun ◽  
Tomáš Masopust
Keyword(s):  
Discrete Event Systems ◽  
Discrete Event ◽  
Event Systems
Sign in / Sign up

Export Citation Format

Share Document