Trajectory detectability of discrete-event systems
From MaRDI portal
Publication:1729041
DOI10.1016/j.sysconle.2018.07.008zbMath1408.93084MaRDI QIDQ1729041
Weilin Wang, Zhaojian Li, Xiang Yin
Publication date: 27 February 2019
Published in: Systems \& Control Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.sysconle.2018.07.008
Related Items
Matrix approach for verification of opacity of partially observed discrete event systems, \(k\)-memory-embedded insertion mechanism for opacity enforcement, Analysis of strong and strong periodic detectability of bounded labeled Petri nets, An improved approach for verifying delayed detectability of discrete-event systems
Uses Software
Cites Work
- Minimal sensor activation and minimal communication in discrete-event systems
- Generalized detectability for discrete event systems
- Observable graphs
- Opacity of discrete event systems and its applications
- Detectability in stochastic discrete event systems
- Codiagnosability and coobservability under dynamic observations: transformation and verification
- Detectability of discrete event systems with dynamic event observation
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
- On observability of discrete-event systems
- Invertibility of discrete-event dynamic systems
- Verification complexity of a class of observational properties for modular discrete events systems
- Complexity of deciding detectability in discrete event systems
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
- The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
- Introduction to Discrete Event Systems
- Observability of discrete event dynamic systems
- A polynomial algorithm for testing diagnosability of discrete-event systems
- On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
- Detectability of Discrete Event Systems
- Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
- Enforcing Detectability in Controlled Discrete Event Systems