On Approximate Opacity of Cyber-Physical Systems

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)

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (7)

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 ⋮ Verification and enforcement of current-state opacity based on a state space approach ⋮ Strong current-state and initial-state opacity of discrete-event systems ⋮ Differential privacy for symbolic systems with application to Markov chains ⋮ Verification of approximate opacity for switched systems: a compositional approach

This page was built for publication: On Approximate Opacity of Cyber-Physical Systems