Enforcement of opacity by public and private insertion functions
From MaRDI portal
Publication:1797032
DOI10.1016/j.automatica.2018.03.041zbMath1400.93187OpenAlexW2796125030MaRDI QIDQ1797032
Yiding Ji, Yi-Chin Wu, Stéphane Lafortune
Publication date: 17 October 2018
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2018.03.041
Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Observability (93B07) Software, source code, etc. for problems pertaining to systems and control theory (93-04)
Related Items (11)
Enforcement for infinite-step opacity and K-step opacity via insertion mechanism ⋮ \(k\)-memory-embedded insertion mechanism for opacity enforcement ⋮ Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder ⋮ Strong current-state and initial-state opacity of discrete-event systems ⋮ Active opacity of discrete-event systems ⋮ Enforcing opacity by insertion functions under multiple energy constraints ⋮ Opacity of networked discrete event systems ⋮ On privacy preserving data release of linear dynamic networks ⋮ Enhancement of opacity for distributed state estimation in cyber-physical systems ⋮ Enforcing current-state opacity through shuffle and deletions of event observations ⋮ Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers
Uses Software
Cites Work
- Unnamed Item
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Synthesis of opaque systems with static and dynamic masks
- Probabilistic opacity for Markov decision processes
- Synthesis of insertion functions for enforcement of opacity security properties
- Verification of initial-state opacity in security applications of discrete event systems
- Synthesis of obfuscation policies to ensure privacy and utility
- Opacity of discrete event systems and its applications
- Enforcement and validation (at runtime) of various notions of opacity
- Learning regular sets from queries and counterexamples
- Enforcing opacity of regular predicates on modal transition systems
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Synthesis of Optimal Insertion Functions for Opacity Enforcement
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Introduction to Discrete Event Systems
- Supervisory Control for Opacity
- Verification of State-Based Opacity Using Petri Nets
- Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
- Verification of Infinite-Step Opacity and Complexity Considerations
- Quantifying opacity
This page was built for publication: Enforcement of opacity by public and private insertion functions
