Opacity of discrete-event systems under nondeterministic observation mechanism
From MaRDI portal
Publication:6580966
DOI10.1002/ASJC.2956MaRDI QIDQ6580966FDOQ6580966
Authors: Jia-Hui Zhang, Qian Chu, Xiaoguang Han, Zhiwu Li, Zengqiang Chen 
Publication date: 30 July 2024
Published in: Asian Journal of Control (Search for Journal in Brave)
Recommendations
- Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations
- Matrix approach for verification of opacity of partially observed discrete event systems
- Opacity of networked discrete event systems
- Verification of initial-state opacity in security applications of discrete event systems
- Opacity of discrete event systems and its applications
Cites Work
- An introduction to semi-tensor product of matrices and its applications
- Introduction to Discrete Event Systems
- Modelling opacity using Petri nets
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Opacity of discrete event systems and its applications
- Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
- 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
- Control of networked discrete event systems: dealing with communication delays and losses
- Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
- Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
- Verification of State-Based Opacity Using Petri Nets
- 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
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
- Strong current-state and initial-state opacity of discrete-event systems
- Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
- Synthesis of Dynamic Masks for Infinite-Step Opacity
- State Estimation for Stochastic Time-Varying Boolean Networks
- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers
- A framework for current-state opacity under dynamic information release mechanism
- Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- Matrix approach for verification of opacity of partially observed discrete event systems
- Enforcing opacity by insertion functions under multiple energy constraints
- Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices
Cited In (2)
This page was built for publication: Opacity of discrete-event systems under nondeterministic observation mechanism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6580966)
