Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement

DOI10.1109/TAC.2019.2946165OpenAlexW2979734265MaRDI QIDQ5125761

Stéphane Lafortune, Yiding Ji, Sahar Mohajerani

Publication date: 7 October 2020

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1910.00417

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (6)

Enforcement for infinite-step opacity and K-step opacity via insertion mechanism ⋮ A framework for current-state opacity under dynamic information release mechanism ⋮ \(k\)-memory-embedded insertion mechanism for opacity enforcement ⋮ Current-state opacity and initial-state opacity of modular discrete event systems ⋮ Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder ⋮ Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers

This page was built for publication: Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement