Current-state opacity and initial-state opacity of modular discrete event systems.

Jingkai Yang Weilin Deng Daowen Qiu

Published in: Int. J. Control (2022)

Keyphrases

initial state
discrete event systems
state space
petri net
optimal policy
goal state
action theories
situation calculus
model based diagnosis
cooperative
complex systems
discrete event
telecommunication networks
conformant planning
probability distribution
supply chain