Detectability in stochastic discrete event systems
From MaRDI portal
Recommendations
- Generalized detectability for discrete event systems
- On verification of D-detectability for discrete event systems
- State estimation and detectability of probabilistic discrete event systems
- Detectability of discrete event systems with dynamic event observation
- Detectability of networked discrete event systems
Cites work
- scientific article; zbMATH DE number 1383199 (Why is no real title available?)
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Detectability of Discrete Event Systems
- Diagnosability of discrete-event systems
- Diagnosability of stochastic discrete-event systems
- Markov Chains
- Observability of discrete event dynamic systems
- On NFAs where all states are final, initial, or both
- On observability of discrete-event systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- State estimation and detectability of probabilistic discrete event systems
- Verification of Infinite-Step Opacity and Complexity Considerations
Cited in
(24)- Detectability of discrete event systems with dynamic event observation
- On verification of D-detectability for discrete event systems
- Trajectory detectability of discrete-event systems
- Generalized detectability for discrete event systems
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices
- An improved approach for verifying delayed detectability of discrete-event systems
- Information control in networked discrete event systems
- I-S detectability of partially-observed discrete event systems: a novel matrix-based method
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets
- On the verification of detectability for timed discrete event systems
- On detectability of labeled Petri nets and finite automata
- \(k\)-memory-embedded insertion mechanism for opacity enforcement
- Matrix approach to I-detectability of partially observed discrete event systems
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
- Probabilistic verification of diagnosability for a certain class of timed stochastic systems
- On detectability of Boolean control networks
- State observation and diagnosis of discrete-event systems described by stochastic automata
- State estimation and detectability of probabilistic discrete event systems
- Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds
- scientific article; zbMATH DE number 166937 (Why is no real title available?)
- Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
- Verification of detectability in probabilistic finite automata
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
- Detectability of networked discrete event systems
This page was built for publication: Detectability in stochastic discrete event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897674)
