Synthesis of Dynamic Masks for Infinite-Step Opacity
From MaRDI portal
Publication:5125562
DOI10.1109/TAC.2019.2916940OpenAlexW2945445283WikidataQ127879239 ScholiaQ127879239MaRDI QIDQ5125562
Publication date: 7 October 2020
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2019.2916940
Related Items (9)
Enforcement for infinite-step opacity and K-step opacity via insertion mechanism ⋮ A framework for current-state opacity under dynamic information release mechanism ⋮ Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder ⋮ Strong current-state and initial-state opacity of discrete-event systems ⋮ Distributed encryption fusion estimation against full eavesdropping ⋮ Matrix approach for verification of opacity of partially observed discrete event systems ⋮ 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
This page was built for publication: Synthesis of Dynamic Masks for Infinite-Step Opacity
