Pages that link to "Item:Q897674"
From MaRDI portal
The following pages link to Detectability in stochastic discrete event systems (Q897674):
Displayed 11 items.
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices (Q776109) (← links)
- \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
- Verification of detectability in probabilistic finite automata (Q1678629) (← links)
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Trajectory detectability of discrete-event systems (Q1729041) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection (Q2128087) (← links)
- On detectability of Boolean control networks (Q2178208) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures (Q2407177) (← links)
- Probabilistic verification of diagnosability for a certain class of timed stochastic systems (Q6174049) (← links)