Pages that link to "Item:Q2986757"
From MaRDI portal
The following pages link to A generic ellipsoid abstract domain for linear time invariant systems (Q2986757):
Displaying 9 items.
- Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs (Q681342) (← links)
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case (Q888469) (← links)
- Set invariance and performance analysis of linear systems via truncated ellipsoids (Q1036672) (← links)
- Numerical invariants through convex relaxation and max-strategy iteration (Q2248100) (← links)
- Credible autocoding of convex optimization algorithms (Q2358081) (← links)
- A sums-of-squares extension of policy iterations (Q2406948) (← links)
- Policy iteration in finite templates domain (Q2520672) (← links)
- A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems (Q2677116) (← links)
- Computation of invariant sets for discrete‐time uncertain systems (Q6194716) (← links)