On Verification of Strong Periodic D-Detectability for Discrete Event Systems.

Jirí Balun Tomás Masopust

Published in: CoRR (2019)

Keyphrases

discrete event systems
petri net
complex systems
telecommunication networks
model based diagnosis
failure diagnosis
timed petri nets
discrete event
model checking
image quality
high level
contextual information
signal detection