Strong current-state and initial-state opacity of discrete-event systems.

Xiaoguang Han Kuize Zhang Jiahui Zhang Zhiwu Li Zengqiang Chen

Published in: Autom. (2023)

Keyphrases

initial state
discrete event systems
state space
situation calculus
petri net
action theories
goal state
complex systems
optimal policy
stationary distribution
failure diagnosis
conformant planning
telecommunication networks
discrete event
model based diagnosis
cooperative
video sequences
machine learning