Removing Two Fundamental Assumptions in Verifying Strong Periodic (D-)Detectability of Discrete-Event Systems.

Published in: IEEE Control. Syst. Lett. (2023)

Keyphrases

discrete event systems
petri net
complex systems
telecommunication networks
discrete event
failure diagnosis
model based diagnosis
timed petri nets
temporal constraints
dynamic systems
model checking
image quality
low level
signal detection
database systems
database
objective function
databases