Synthesis of Optimal Insertion Functions for Opacity Enforcement
From MaRDI portal
Publication:2980627
DOI10.1109/TAC.2015.2440632zbMath1359.68180MaRDI QIDQ2980627
Yi-Chin Wu, Stéphane Lafortune
Publication date: 3 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Related Items (7)
\(k\)-memory-embedded insertion mechanism for opacity enforcement ⋮ Optimal supervisory control with mean payoff objectives and under partial observation ⋮ Matrix approach for verification of opacity of partially observed discrete event systems ⋮ Enforcement of opacity by public and private insertion functions ⋮ Relative predictability of failure event occurrences and its opacity-based test algorithm ⋮ Opacity of networked discrete event systems ⋮ Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures
This page was built for publication: Synthesis of Optimal Insertion Functions for Opacity Enforcement
