Current-state opacity and initial-state opacity of modular discrete event systems
From MaRDI portal
Publication:5056544
DOI10.1080/00207179.2021.1951357zbMath1505.93157OpenAlexW3185710401MaRDI QIDQ5056544
Jingkai Yang, Weilin Deng, Dao Wen Qiu
Publication date: 8 December 2022
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207179.2021.1951357
Uses Software
Cites Work
- Unnamed Item
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Verification of initial-state opacity in security applications of discrete event systems
- Diagnosability of discrete event systems with modular structure
- Verification complexity of a class of observational properties for modular discrete events systems
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- On-line verification of current-state opacity by Petri nets and integer linear programming
- Current-state opacity modelling and verification in partially observed Petri nets
- Opacity of networked discrete event systems
- Decidability of opacity verification problems in labeled Petri net systems
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Introduction to Discrete Event Systems
- Decentralised adaptive architectures for control of large-scale active–passive modular systems with stability and performance guarantees
- Relative predictability of failure event occurrences and its opacity-based test algorithm
- Transforming Opacity Verification to Nonblocking Verification in Modular Systems
- Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
- Composite supervisory control for symmetric discrete-event systems
- Verification of State-Based Opacity Using Petri Nets
- Verification of Infinite-Step Opacity and Complexity Considerations
This page was built for publication: Current-state opacity and initial-state opacity of modular discrete event systems
