Enforcing opacity by insertion functions under multiple energy constraints
From MaRDI portal
Recommendations
- Synthesis of insertion functions for enforcement of opacity security properties
- Enforcement of opacity by public and private insertion functions
- \(k\)-memory-embedded insertion mechanism for opacity enforcement
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism
- Opacity enforcement in discrete event systems using differential privacy
Cites work
- A general approach for optimizing dynamic sensor activation for discrete event 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
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Decidability of opacity verification problems in labeled Petri net systems
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
- Energy and mean-payoff games with imperfect information
- Enforcement and validation (at runtime) of various notions of opacity
- Enforcement of opacity by public and private insertion functions
- Faster algorithms for mean-payoff games
- scientific article; zbMATH DE number 5869590 (Why is no real title available?)
- scientific article; zbMATH DE number 2107836 (Why is no real title available?)
- scientific article; zbMATH DE number 3198033 (Why is no real title available?)
- Hyperplane separation technique for multidimensional mean-payoff games
- Infinite-step opacity and K-step opacity of stochastic discrete-event systems
- Introduction to Discrete Event Systems
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- Opacity of discrete event systems and its applications
- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
- Positional strategies for mean payoff games
- Probabilistic system opacity in discrete event systems
- Quantifying opacity
- Supervisory Control for Opacity
- Synthesis of opaque systems with static and dynamic masks
- The covering and boundedness problems for vector addition systems
- The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete
- Verification of initial-state opacity in security applications of discrete event systems
Cited in
(5)- Active opacity of discrete-event systems
- Matrix approach for verification of opacity of partially observed discrete event systems
- Opacity of discrete-event systems under nondeterministic observation mechanism
- Infinite- and K-step opacity verification of discrete-event systems under nondeterministic observations
- Optimal control strategy for k-level opaque systems based on the optimization method of multi-selection problems at each stage
This page was built for publication: Enforcing opacity by insertion functions under multiple energy constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6198145)
