C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An improved approach for verifying delayed detectability of discrete-event systems.
Yang Liu
Zhaocong Liu
Xiang Yin
Shaoyuan Li
Published in:
Autom. (2021)
Keyphrases
</>
discrete event systems
petri net
complex systems
telecommunication networks
model based diagnosis
discrete event
failure diagnosis
timed petri nets
noise level
temporal constraints
image quality
constraint satisfaction
model checking
search algorithm
dynamic systems
signal detection
computational intelligence