Verification of Delay Co-Observability for Discrete Event Systems.

Pan Xu Shaolong Shu Feng Lin

Published in: IEEE Trans. Control. Netw. Syst. (2020)

Keyphrases

discrete event systems
petri net
complex systems
telecommunication networks
failure diagnosis
discrete event
model based diagnosis
timed petri nets
model checking
dynamic systems
temporal constraints
search algorithm
dynamical systems
global exponential stability