Matrix approach for verification of opacity of partially observed discrete event systems
From MaRDI portal
Publication:6135550
Recommendations
- Verifying weak and strong \(k\)-step opacity in discrete-event systems
- Verification and enforcement of current-state opacity based on a state space approach
- Comparing the notions of opacity for discrete-event systems
- Opacity of discrete event systems and its applications
- On-line verification of current-state opacity by Petri nets and integer linear programming
Cites work
- scientific article; zbMATH DE number 1516801 (Why is no real title available?)
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Concurrent secrets
- Controllability and observability of singular Boolean control networks
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Diagnosability of discrete-event systems
- Enforcement and validation (at runtime) of various notions of opacity
- Enforcing opacity by insertion functions under multiple energy constraints
- Enforcing opacity of regular predicates on modal transition systems
- Infinite-step opacity and K-step opacity of stochastic discrete-event systems
- Introduction to Discrete Event Systems
- Model and control for a class of networked evolutionary games with finite memories and time-varying networks
- On finite potential games
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
- Probabilistic system opacity in discrete event systems
- Sharp bounds for the ratio of two zeta functions
- Stabilization of Boolean control networks under aperiodic sampled-data control
- Synthesis of Dynamic Masks for Infinite-Step Opacity
- Synthesis of Optimal Insertion Functions for Opacity Enforcement
- Synthesis of insertion functions for enforcement of opacity security properties
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- Synthesis of opaque systems with static and dynamic masks
- The transformation between the Galois NLFSRs and the Fibonacci NLFSRs via semi-tensor product of matrices
- Trajectory detectability of discrete-event systems
- Verification of Infinite-Step Opacity and Complexity Considerations
- Verification of initial-state opacity in security applications of discrete event systems
Cited in
(8)- STP-based verification and synthesis of state opacity for logical finite state machines
- Opacity of networked 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
- Verification and enforcement of current-state opacity based on a state space approach
- A novel approach for supervisor synthesis to enforce opacity of discrete event systems
- Verification of initial-state opacity in security applications of discrete event systems
- scientific article; zbMATH DE number 7155812 (Why is no real title available?)
This page was built for publication: Matrix approach for verification of opacity of partially observed discrete event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6135550)
