Pages that link to "Item:Q2960118"
From MaRDI portal
The following pages link to STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS (Q2960118):
Displaying 9 items.
- Algebraic state space approach to model and control combined automata (Q1712571) (← links)
- On the stabilization of nondeterministic finite automata via static output feedback (Q2284307) (← links)
- On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices (Q5026918) (← links)
- Algebraic method of simplifying Boolean networks using semi‐tensor product of Matrices (Q5131092) (← links)
- Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices (Q6563357) (← links)
- Matrix approach to simplification of finite state machines using semi-tensor product of matrices (Q6570397) (← links)
- Matrix approach to I-detectability of partially observed discrete event systems (Q6578823) (← links)
- Approximate synchronization of multi-agent systems over finite fields (Q6595047) (← links)
- Input-output dynamical stability analysis for cyber-physical systems via logical networks (Q6609015) (← links)