Pages that link to "Item:Q2407177"
From MaRDI portal
The following pages link to Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures (Q2407177):
Displayed 9 items.
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices (Q776109) (← links)
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Trajectory detectability of discrete-event systems (Q1729041) (← links)
- Deciding detectability for labeled Petri nets (Q1737932) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- State estimation of max-plus automata with unobservable events (Q2280664) (← links)
- An improved approach for verifying delayed detectability of discrete-event systems (Q2663854) (← links)
- Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)