High speed simulation of discrete event systems by mixing process oriented and equational approaches

1997 ◽  
Vol 23 (1-2) ◽  
pp. 219-233 ◽  
Author(s):  
Bruno Gaujal ◽  
Alain Jean-Marie ◽  
Philippe Mussi ◽  
Günther Siegel
Keyword(s):  
High Speed ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Mixing Process ◽  
Event Systems ◽  
Process Oriented ◽  
Speed Simulation

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