Enforcing opacity by insertion functions under multiple energy constraints
From MaRDI portal
Publication:6198145
DOI10.1016/J.AUTOMATICA.2019.06.028OpenAlexW2957340013MaRDI QIDQ6198145
Xiang Yin, Yiding Ji, Stéphane Lafortune
Publication date: 20 February 2024
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2019.06.028
Related Items (2)
Active opacity of discrete-event systems ⋮ Matrix approach for verification of opacity of partially observed discrete event systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete
- Synthesis of opaque systems with static and dynamic masks
- Verification of initial-state opacity in security applications of discrete event systems
- Faster algorithms for mean-payoff games
- Opacity of discrete event systems and its applications
- Enforcement and validation (at runtime) of various notions of opacity
- Positional strategies for mean payoff games
- The covering and boundedness problems for vector addition systems
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Probabilistic system opacity in discrete event systems
- Enforcement of opacity by public and private insertion functions
- A general approach for optimizing dynamic sensor activation for discrete event systems
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
- Hyperplane separation technique for multidimensional mean-payoff games
- Decidability of opacity verification problems in labeled Petri net 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
- Introduction to Discrete Event Systems
- Energy and Mean-Payoff Games with Imperfect Information
- Supervisory Control for Opacity
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
- Quantifying opacity
This page was built for publication: Enforcing opacity by insertion functions under multiple energy constraints
