Synthesis of Dynamic Masks for Infinite-Step Opacity
From MaRDI portal
Publication:5125562
DOI10.1109/TAC.2019.2916940MaRDI QIDQ5125562
Publication date: 7 October 2020
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
93-XX: Systems theory; control
Related Items
Opacity of networked discrete event systems, Enhancement of opacity for distributed state estimation in cyber-physical systems, Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers, Enforcement for infinite-step opacity and K-step opacity via insertion mechanism, A framework for current-state opacity under dynamic information release mechanism