Opacity of discrete-event systems under nondeterministic observation mechanism
From MaRDI portal
Publication:6580966
DOI10.1002/ASJC.2956MaRDI QIDQ6580966
Zengqiang Chen, Xiaoguang Han, Zhiwu Li, Qian Chu, Jia-Hui Zhang
Publication date: 30 July 2024
Published in: Asian Journal of Control (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Verification of initial-state opacity in security applications of discrete event systems
- Opacity of discrete event systems and its applications
- Enforcement and validation (at runtime) of various notions of opacity
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- 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
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- Strong current-state and initial-state opacity of discrete-event systems
- Modelling opacity using Petri nets
- Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
- Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
- Introduction to Discrete Event Systems
- Synthesis of Dynamic Masks for Infinite-Step Opacity
- Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
- Verification of State-Based Opacity Using Petri Nets
- Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
- Verification of Infinite-Step Opacity and Complexity Considerations
- Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses
- State Estimation for Stochastic Time-Varying Boolean Networks
- 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
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)