A generic ellipsoid abstract domain for linear time invariant systems
From MaRDI portal
Publication:2986757
Recommendations
- Automatic synthesis of piecewise linear quadratic invariants for programs
- Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs
- Computer Aided Verification
- Closed loop analysis of control command software
- Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
Cited in
(12)- Closed loop analysis of control command software
- A sums-of-squares extension of policy iterations
- Policy iteration in finite templates domain
- Set invariance and performance analysis of linear systems via truncated ellipsoids
- Numerical invariants through convex relaxation and max-strategy iteration
- Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case
- Credible autocoding of convex optimization algorithms
- Computation of invariant sets for discrete‐time uncertain systems
- A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems
- Automatic synthesis of piecewise linear quadratic invariants for programs
- Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs
This page was built for publication: A generic ellipsoid abstract domain for linear time invariant systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986757)
