Pages that link to "Item:Q1633055"

The following pages link to Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition (Q1633055):

Displaying 9 items.

• Stabilization of probabilistic finite automata based on semi-tensor product of matrices (Q776109) (← links)
• Algebraic state space approach to model and control combined automata (Q1712571) (← links)
• Controllability, reachability, and stabilizability of finite automata: a controllability matrix method (Q1721288) (← links)
• An adjoint network approach to design stabilizable switching signals of switched Boolean networks (Q2009570) (← links)
• Set reachability and observability of probabilistic Boolean networks (Q2280770) (← links)
• On the stabilization of nondeterministic finite automata via static output feedback (Q2284307) (← links)
• A novel matrix approach to observability analysis of finite automata (Q4600101) (← links)
• Reachability and controllability analysis of probabilistic finite automata via a novel matrix method (Q5131093) (← links)
• A new look at the critical observability of finite state machines from an algebraic viewpoint (Q6579017) (← links)