Embedded Insertion Functions for Opacity Enforcement
From MaRDI portal
Publication:4957708
DOI10.1109/TAC.2020.3037891zbMath1471.93176OpenAlexW3105909361MaRDI QIDQ4957708
Christoforos Keroglou, Stéphane Lafortune
Publication date: 9 September 2021
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2020.3037891
Related Items (5)
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems ⋮ Enforcement for infinite-step opacity and K-step opacity via insertion mechanism ⋮ Secret inference and attacktability analysis of discrete event systems ⋮ Enhancement of opacity for distributed state estimation in cyber-physical systems ⋮ Optimization-based assessment of initial-state opacity in Petri nets
This page was built for publication: Embedded Insertion Functions for Opacity Enforcement
