Verification of robust diagnosability for partially observed discrete event systems.

Shigemasa Takai

Published in: Autom. (2012)

Keyphrases

discrete event systems
partially observed
petri net
complex systems
model based diagnosis
telecommunication networks
discrete event
timed petri nets
failure diagnosis
model checking
dynamic systems
expert systems
temporal constraints