Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems.

Jirí Balun Tomás Masopust

Published in: CoRR (2022)

Keyphrases

discrete event systems
petri net
failure diagnosis
model based diagnosis
discrete event
complex systems
telecommunication networks
timed petri nets
high level
post processing
intelligent systems
dynamic systems
temporal constraints
fuzzy logic
special case
image retrieval
cooperative
multi agent