Detectability in stochastic discrete event systems

DOI10.1016/J.SYSCONLE.2015.07.005zbMath1326.93084OpenAlexW1141352453MaRDI QIDQ897674

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

zbMATH Keywords

detectabilitystochastic discrete event systemsstochastic detectability

Mathematics Subject Classification ID

Estimation and detection in stochastic control theory (93E10) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)

Related Items (11)

\(k\)-memory-embedded insertion mechanism for opacity enforcement ⋮ Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection ⋮ Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures ⋮ On detectability of Boolean control networks ⋮ Verification of detectability in probabilistic finite automata ⋮ On detectability of labeled Petri nets and finite automata ⋮ Probabilistic verification of diagnosability for a certain class of timed stochastic systems ⋮ Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems ⋮ Trajectory detectability of discrete-event systems ⋮ Analysis of strong and strong periodic detectability of bounded labeled Petri nets ⋮ Stabilization of probabilistic finite automata based on semi-tensor product of matrices

Uses Software

• UMDES

Cites Work

• Unnamed Item
• On NFAs where all states are final, initial, or both
• On observability of discrete-event systems
• State estimation and detectability of probabilistic discrete event systems
• Observability of discrete event dynamic systems
• Markov Chains
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Diagnosability of discrete-event systems
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Diagnosability of stochastic discrete-event systems
• Detectability of Discrete Event Systems
• Verification of Infinite-Step Opacity and Complexity Considerations

This page was built for publication: Detectability in stochastic discrete event systems