Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop

2021 ◽  
pp. 227-241
Author(s):  
Sohaib Soualah ◽  
Yousra Hafidi ◽  
Mohamed Khalgui ◽  
Allaoua Chaoui ◽  
Laid Kahloul
Keyword(s):  
Discrete Event ◽  
Discrete Event System ◽  
Theorem Prover ◽  
Event System ◽  
Hol Theorem Prover ◽  
Efficient Verification

scholarly journals Discrete Event System Control in Max-Plus Algebra: Application to Manufacturing Systems

2020 ◽  
Vol 53 (4) ◽  
pp. 143-150
Author(s):  
Gabriel Freitas Oliveira ◽  
Renato Markele Ferreira Candido ◽  
Vinicius Mariano Gonçalves ◽  
Carlos Andrey Maia ◽  
Bertrand Cottenceau ◽  
...  
Keyword(s):  
Manufacturing Systems ◽  
Discrete Event ◽  
Discrete Event System ◽  
System Control ◽  
Event System

scholarly journals Mitigation of Classes of Attacks using a Probabilistic Discrete Event System Framework

2020 ◽  
Vol 53 (4) ◽  
pp. 35-41
Author(s):  
Ze Yang Wang ◽  
Rômulo Meira-Góes ◽  
Stéphane Lafortune ◽  
Raymond H. Kwong
Keyword(s):  
Discrete Event ◽  
Discrete Event System ◽  
System Framework ◽  
Event System
Sign in / Sign up

Export Citation Format

Share Document