Incremental verification of Co-observability in discrete-event systems.

Huailiang Liu Ryan J. Leduc Robi Malik S. Laurie Ricker

Published in: ACC (2014)

Keyphrases

discrete event systems
petri net
complex systems
failure diagnosis
model based diagnosis
discrete event
telecommunication networks
timed petri nets
temporal constraints
model checking
incremental learning
dynamic systems
signature verification
cooperative
verification method
dynamic programming
search algorithm