On the verification of detectability for timed discrete event systems.

Weijie Dong Kuize Zhang Shaoyuan Li Xiang Yin

Published in: Autom. (2024)

Keyphrases

discrete event systems
petri net
colored petri nets
discrete event
timed petri nets
failure diagnosis
complex systems
model checking
image quality
telecommunication networks
model based diagnosis
noise level
dynamic systems
verification method
simulation model
temporal constraints
visual features
high level