Login / Signup
Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations.
Qian Chu
Jiahui Zhang
Xiaoguang Han
Zhiwu Li
Zengqiang Chen
Published in:
J. Syst. Sci. Complex. (2023)
Keyphrases
</>
discrete event systems
petri net
model based diagnosis
telecommunication networks
complex systems
timed petri nets
discrete event
model checking
failure diagnosis
post processing
management system
cost effective
temporal constraints
finite automata