Pages that link to "Item:Q2842646"
From MaRDI portal
The following pages link to Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646):
Displaying 3 items.
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (Q2817919) (← links)