Pages that link to "Item:Q5352729"
From MaRDI portal
The following pages link to Integrated Design of Symbolic Controllers for Nonlinear Systems (Q5352729):
Displaying 6 items.
- Symbolic control design of nonlinear systems with outputs (Q2280917) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Finite horizon discrete models for multi-agent control systems with coupled dynamics (Q2307531) (← links)
- Formal controller synthesis from specifications given by discrete-time hybrid automata (Q2665407) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- Approximate current state observability of discrete-time nonlinear systems under cyber-attacks (Q6052175) (← links)
