Pages that link to "Item:Q2665343"
From MaRDI portal
The following pages link to Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications (Q2665343):
Displaying 4 items.
- Symbolic control design of nonlinear systems with outputs (Q2280917) (← links)
- Backstepping controller synthesis and characterizations of incremental stability (Q2439154) (← links)
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← links)
- Data-driven controller synthesis for abstract systems with regular language specifications (Q2665709) (← links)