Current-state opacity and initial-state opacity of modular discrete event systems
From MaRDI portal
Recommendations
- Current-state opacity of incomplete discrete-event systems
- Strong current-state and initial-state opacity of discrete-event systems
- Opacity of discrete event systems and its applications
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Comparing the notions of opacity for discrete-event systems
- Active opacity of discrete-event systems
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Opacity of networked discrete event systems
- Probabilistic system opacity in discrete event systems
- Current-state opacity modelling and verification in partially observed Petri nets
Cites work
- 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
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Composite supervisory control for symmetric discrete-event systems
- Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Current-state opacity modelling and verification in partially observed Petri nets
- Decentralised adaptive architectures for control of large-scale active-passive modular systems with stability and performance guarantees
- Decidability of opacity verification problems in labeled Petri net systems
- Diagnosability of discrete event systems with modular structure
- Infinite-step opacity and K-step opacity of stochastic discrete-event systems
- Introduction to Discrete Event Systems
- Modelling opacity using Petri nets
- On-line verification of current-state opacity by Petri nets and integer linear programming
- Opacity of networked discrete event systems
- Relative predictability of failure event occurrences and its opacity-based test algorithm
- Transforming Opacity Verification to Nonblocking Verification in Modular Systems
- Verification complexity of a class of observational properties for modular discrete events systems
- Verification of Infinite-Step Opacity and Complexity Considerations
- Verification of initial-state opacity in security applications of discrete event systems
- Verification of State-Based Opacity Using Petri Nets
Cited in
(5)- Infinite-step opacity and K-step opacity of stochastic discrete-event systems
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Probabilistic system opacity in discrete event systems
- Current-state opacity of incomplete discrete-event systems
- Monitor-based synthesis in enforcing disjunctive generalised mutual exclusion constraints
This page was built for publication: Current-state opacity and initial-state opacity of modular discrete event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5056544)
