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 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