Matrix approach for verification of opacity of partially observed discrete event systems
DOI10.1007/S00034-020-01462-2zbMATH Open1517.93059OpenAlexW3035268587MaRDI QIDQ6135550FDOQ6135550
Jianlong Qiu, Liujuan Mei, Rongjian Liu, Jianquan Lu
Publication date: 25 August 2023
Published in: Circuits, Systems, and Signal Processing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00034-020-01462-2
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
discrete event systemsnondeterministic finite automataopacityBoolean semi-tensor product of matrices
Observability (93B07) Discrete event control/observation systems (93C65) Boolean control/observation systems (93C29) Observers (93B53)
Cites Work
- Introduction to Discrete Event Systems
- On finite potential games
- Diagnosability of discrete-event systems
- Concurrent secrets
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Synthesis of opaque systems with static and dynamic masks
- Probabilistic system opacity in discrete event systems
- Synthesis of Optimal Insertion Functions for Opacity Enforcement
- Synthesis of insertion functions for enforcement of opacity security properties
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- Verification of Infinite-Step Opacity and Complexity Considerations
- Enforcement and validation (at runtime) of various notions of opacity
- Verification of initial-state opacity in security applications of discrete event systems
- Controllability and observability of singular Boolean control networks
- The transformation between the Galois NLFSRs and the Fibonacci NLFSRs via semi-tensor product of matrices
- Stabilization of Boolean Control Networks Under Aperiodic Sampled-Data Control
- Trajectory detectability of discrete-event systems
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic 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
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
- Model and control for a class of networked evolutionary games with finite memories and time-varying networks
- Enforcing opacity of regular predicates on modal transition systems
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Sharp bounds for the ratio of two zeta functions
- Synthesis of Dynamic Masks for Infinite-Step Opacity
- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
- Title not available (Why is that?)
- Enforcing opacity by insertion functions under multiple energy constraints
Cited In (3)
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)
