Pages that link to "Item:Q1678629"
From MaRDI portal
The following pages link to Verification of detectability in probabilistic finite automata (Q1678629):
Displaying 12 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)
- Deciding detectability for labeled Petri nets (Q1737932) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection (Q2128087) (← links)
- State estimation of max-plus automata with unobservable events (Q2280664) (← links)
- Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata (Q2298809) (← 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)
- Reachability and controllability analysis of probabilistic finite automata via a novel matrix method (Q5131093) (← links)
- Probabilistic verification of diagnosability for a certain class of timed stochastic systems (Q6174049) (← links)
