Verifying weak and strong k-step opacity in discrete-event systems.

Jirí Balun Tomás Masopust

Published in: Autom. (2023)

Keyphrases

discrete event systems
petri net
telecommunication networks
complex systems
model based diagnosis
failure diagnosis
discrete event
timed petri nets
post processing
high level
particle filter
cost effective
model checking
dynamic systems
temporal constraints
foreground and background