Pages that link to "Item:Q1690521"
From MaRDI portal
The following pages link to Compositional abstraction refinement for control synthesis (Q1690521):
Displaying 4 items.
- Learning-based symbolic abstractions for nonlinear control systems (Q2097817) (← links)
- Symbolic abstractions for nonlinear control systems via feedback refinement relation (Q2174020) (← links)
- Symmetries and periodic orbits in simple hybrid Routhian systems (Q2178205) (← links)
- Assume-guarantee contracts for continuous-time systems (Q2665717) (← links)
