Opacity of discrete-event systems under nondeterministic observation mechanism

DOI10.1002/ASJC.2956MaRDI QIDQ6580966zbMATH OpenFDO

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)

zbMATH Keywords

opacitydiscrete-event systemBoolean semi-tensor product of matricesnondeterministic observation

Mathematics Subject Classification ID

Systems theory; control (93-XX)

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

• A framework for current-state opacity under dynamic information release mechanism
• A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
• An introduction to semi-tensor product of matrices and its applications
• Comments on: ``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
• Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
• Control of networked discrete event systems: dealing with communication delays and losses
• Enforcement and validation (at runtime) of various notions of opacity
• Enforcing opacity by insertion functions under multiple energy constraints
• Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
• Introduction to Discrete Event Systems
• Matrix approach for verification of opacity of partially observed discrete event systems
• Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices
• Modelling opacity using Petri nets
• Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
• Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
• Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
• Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
• Opacity of discrete event systems and its applications
• State Estimation for Stochastic Time-Varying Boolean Networks
• Strong current-state and initial-state opacity of discrete-event systems
• Synthesis of Dynamic Masks for Infinite-Step Opacity
• 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
• Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
• Verification of Infinite-Step Opacity and Complexity Considerations
• Verification of State-Based Opacity Using Petri Nets
• Verification of initial-state opacity in security applications of discrete event systems

Cited in

(2)

• Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems
• Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations

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)