Pages that link to "Item:Q5131093"
From MaRDI portal
The following pages link to Reachability and controllability analysis of probabilistic finite automata via a novel matrix method (Q5131093):
Displaying 10 items.
- An inner product space on irreducible and synchronizable probabilistic finite state automata (Q415553) (← links)
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices (Q776109) (← links)
- Verification of detectability in probabilistic finite automata (Q1678629) (← links)
- Controllability, reachability, and stabilizability of finite automata: a controllability matrix method (Q1721288) (← links)
- On the continuous dependence between a matrix product and its factors for finite systems of stochastic and substochastic matrices (Q1912455) (← links)
- On the stabilization of nondeterministic finite automata via static output feedback (Q2284307) (← links)
- Observability of periodically switched Boolean control networks (Q6131016) (← links)
- Security and privacy with opacity-based state observation for finite state machine (Q6578723) (← links)
- Group controllability of discrete-time second-order multi-agent systems with two-time-scale feature (Q6578740) (← links)
- Matrix approach to I-detectability of partially observed discrete event systems (Q6578823) (← links)
