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