Strong current-state and initial-state opacity of discrete-event systems
From MaRDI portal
Publication:2682301
DOI10.1016/j.automatica.2022.110756OpenAlexW4311431014MaRDI QIDQ2682301
Xiao-Guang Han, Kuize Zhang, Zhiwu Li, Zeng-Qiang Chen, Jia-Hui Zhang
Publication date: 31 January 2023
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2109.05475
discrete-event systemconcurrent compositionstrong current-state opacitystrong infinite-step opacitystrong initial-state opacity
Uses Software
Cites Work
- 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
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Probabilistic system opacity in discrete event systems
- Enforcement of opacity by public and private insertion functions
- On-line verification of current-state opacity by Petri nets and integer linear programming
- Comparing the notions of opacity for discrete-event systems
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers
- Information control in networked discrete event systems and its application to battery management systems
- On detectability of labeled Petri nets and finite automata
- 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
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Introduction to Discrete Event Systems
- Diagnosability of discrete-event systems
- Supervisory Control for Opacity
- On Approximate Opacity of Cyber-Physical Systems
- Opacity Enforcement for Confidential Robust Control in Linear Cyber-Physical Systems
- Synthesis of Dynamic Masks for Infinite-Step Opacity
- Notions of Centralized and Decentralized Opacity in Linear Systems
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
- Estimation and Inference in Discrete Event Systems
- Detectability of Discrete Event Systems
- Verification of State-Based Opacity Using Petri Nets
- Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
- Verification of Infinite-Step Opacity and Complexity Considerations
This page was built for publication: Strong current-state and initial-state opacity of discrete-event systems
