Pages that link to "Item:Q2252962"
From MaRDI portal
The following pages link to Low-complexity quantized switching controllers using approximate bisimulation (Q2252962):
Displaying 8 items.
- Controller synthesis for safety and reachability via approximate bisimulation (Q445917) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
- Lazy controller synthesis for monotone transition systems and directed safety specifications (Q2059378) (← links)
- Passivity-based analysis of sampled and quantized control implementations (Q2207198) (← links)
- Approximate abstractions of control systems with an application to aggregation (Q2207200) (← links)
- Symbolic control design of nonlinear systems with outputs (Q2280917) (← links)
- Finite abstraction of mixed monotone systems with discrete and continuous inputs (Q2374568) (← links)