N-diagnosability for active on-line diagnosis in discrete event systems.

Feng Lin Le Yi Wang Wen Chen Leitao Han Bin Shen

Published in: Autom. (2017)

Keyphrases

discrete event systems
model based diagnosis
petri net
failure diagnosis
complex systems
telecommunication networks
discrete event
timed petri nets
database
optimal solution
fault diagnosis
dynamic systems
temporal constraints
search algorithm
np complete
model checking