Enforcing current-state opacity through shuffle and deletions of event observations
From MaRDI portal
Publication:2065172
DOI10.1016/j.automatica.2021.109836zbMath1480.93258OpenAlexW3190127097MaRDI QIDQ2065172
João Carlos Basilio, Raphael Julio Barcelos
Publication date: 7 January 2022
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2021.109836
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
- Synthesis of insertion functions for enforcement of opacity security properties
- Opacity of discrete event systems and its applications
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
- Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
- Enforcement of opacity by public and private insertion functions
- On-line verification of current-state opacity by Petri nets and integer linear programming
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Concurrent secrets
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Introduction to Discrete Event Systems
- Supervisory Control for Opacity
- Opacity Enforcement for Confidential Robust Control in Linear Cyber-Physical Systems
- Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
- The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces
This page was built for publication: Enforcing current-state opacity through shuffle and deletions of event observations
