Verification complexity of a class of observational properties for modular discrete events systems
From MaRDI portal
(Redirected from Publication:1679097)
Recommendations
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Diagnosability of discrete event systems with modular structure
- Verification of robust diagnosability for partially observed discrete event systems
- Complexity of deciding detectability in discrete event systems
- On verification of D-detectability for discrete event systems
Cites work
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 3311755 (Why is no real title available?)
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Codiagnosability and coobservability under dynamic observations: transformation and verification
- Deciding co-observability is pspace-complete
- Detectability of Discrete Event Systems
- Diagnosability Analysis of Discrete Event Systems with Autonomous Components
- Diagnosability of discrete event systems with modular structure
- Diagnosability of discrete-event systems
- Distributed monitoring of concurrent and asynchronous systems
- Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems
- Fault diagnosis with static and dynamic observers
- Hierarchical interface-based supervisory control-part II: parallel case
- Introduction to Discrete Event Systems
- Multi-level hierarchical interface-based supervisory control
- On Codiagnosability and Coobservability With Dynamic Observations
- On Tractable Instances of Modular Supervisory Control
- On observability of discrete-event systems
- On the complexity of synthesizing a minimum-weighted supervisor under partial observation
- On the control of discrete-event dynamical systems
- PSPACE-completeness of modular supervisory control problems
- Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Predictability of event occurrences in partially-observed discrete-event systems
- Relationships between nondeterministic and deterministic tape complexities
- Supervisory Control Architecture for Discrete-Event Systems
- Supervisory control of modular systems with global specification languages
- The Complexity of Codiagnosability for Discrete Event and Timed Systems
- Verification of Infinite-Step Opacity and Complexity Considerations
Cited in
(13)- Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Deciding detectability for labeled Petri nets
- Trajectory detectability of discrete-event systems
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets
- On detectability of labeled Petri nets and finite automata
- Complexity of deciding detectability in discrete event systems
- On verification of D-detectability for discrete event systems
- An improved approach for verifying delayed detectability of discrete-event systems
- Current-state opacity and initial-state opacity of modular discrete event systems
- Diagnosability of discrete event systems with modular structure
- Computation of minimal diagnosis bases of discrete-event systems using verifiers
- scientific article; zbMATH DE number 7155812 (Why is no real title available?)
This page was built for publication: Verification complexity of a class of observational properties for modular discrete events systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1679097)
