Enforcement of opacity by public and private insertion functions

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

zbMATH Keywords

privacydiscrete event systemsopacityinsertion functionopacity enforcement

Mathematics Subject Classification ID

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

• UMDES

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