Pages that link to "Item:Q5026918"
From MaRDI portal
The following pages link to On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices (Q5026918):
Displaying 4 items.
- On the stabilization of nondeterministic finite automata via static output feedback (Q2284307) (← links)
- Dynamic output feedback stabilization of deterministic finite automata via the semi-tensor product of matrices approach (Q3380947) (← links)
- Verification and enforcement of current-state opacity based on a state space approach (Q6099923) (← links)
- A new look at the critical observability of finite state machines from an algebraic viewpoint (Q6579017) (← links)