Login / Signup
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