Login / Signup
Verification of the Observer Property in Discrete Event Systems.
Patrícia N. Pena
Hugo J. Bravo
Antonio Eduardo Carrilho da Cunha
Robi Malik
Stéphane Lafortune
José E. R. Cury
Published in:
IEEE Trans. Autom. Control. (2014)
Keyphrases
</>
discrete event systems
petri net
model based diagnosis
telecommunication networks
complex systems
timed petri nets
discrete event
failure diagnosis
model checking
temporal constraints
multi agent systems
object oriented
power consumption
verification method