On Approximate Opacity of Cyber-Physical Systems
From MaRDI portal
Publication:4990273
DOI10.1109/TAC.2020.2998733MaRDI QIDQ4990273
Majid Zamani, Si-Yuan Liu, Xiang Yin
Publication date: 28 May 2021
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
93-XX: Systems theory; control
Related Items
Verification and enforcement of current-state opacity based on a state space approach, Differential privacy for symbolic systems with application to Markov chains, Verification of approximate opacity for switched systems: a compositional approach, A framework for current-state opacity under dynamic information release mechanism, Compositional synthesis of opacity-preserving finite abstractions for interconnected systems, A general language-based framework for specifying and verifying notions of opacity, Strong current-state and initial-state opacity of discrete-event systems