Detectability in stochastic discrete event systems
DOI10.1016/J.SYSCONLE.2015.07.005zbMATH Open1326.93084OpenAlexW1141352453MaRDI QIDQ897674FDOQ897674
Authors: Christoforos Keroglou, Christoforos N. Hadjicostis 
Publication date: 7 December 2015
Published in: Systems \& Control Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.sysconle.2015.07.005
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
Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03) Estimation and detection in stochastic control theory (93E10)
Cites Work
- Markov Chains
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Title not available (Why is that?)
- Diagnosability of discrete-event systems
- Diagnosability of stochastic discrete-event systems
- Observability of discrete event dynamic systems
- On observability of discrete-event systems
- Verification of Infinite-Step Opacity and Complexity Considerations
- Detectability of Discrete Event Systems
- On NFAs where all states are final, initial, or both
- State estimation and detectability of probabilistic discrete event systems
Cited In (23)
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
- State observation and diagnosis of discrete-event systems described by stochastic automata
- 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
- On detectability of Boolean control networks
- Title not available (Why is that?)
- Detectability of networked discrete event systems
- On verification of D-detectability for discrete event systems
- Probabilistic verification of diagnosability for a certain class of timed stochastic systems
- An improved approach for verifying delayed detectability of discrete-event systems
- \(k\)-memory-embedded insertion mechanism for opacity enforcement
- State estimation and detectability of probabilistic discrete event systems
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices
- I-S detectability of partially-observed discrete event systems: a novel matrix-based method
- Generalized detectability for discrete event systems
- Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
- Verification of detectability in probabilistic finite automata
- Detectability of discrete event systems with dynamic event observation
- Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds
- Information control in networked discrete event systems
- On the verification of detectability for timed discrete event systems
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
Uses Software
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)
