Safe diagnosability of discrete event systems.

Andrea Paoli Stéphane Lafortune

Published in: CDC (2003)

Keyphrases

discrete event systems
petri net
model based diagnosis
complex systems
telecommunication networks
failure diagnosis
timed petri nets
discrete event
temporal constraints
dynamic systems
special case
reinforcement learning
expert systems
intelligent systems