A sums-of-squares extension of policy iterations
From MaRDI portal
Publication:2406948
DOI10.1016/j.nahs.2017.03.001zbMath1377.93066arXiv1503.08090MaRDI QIDQ2406948
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
Publication date: 4 October 2017
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1503.08090
verification; policy iterations; piecewise polynomial systems; sums-of-squares; semi-algebraic invariants
90C22: Semidefinite programming
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Semidefinite programming relaxations for semialgebraic problems
- Global Optimization with Polynomials and the Problem of Moments
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- Stability Analysis and Control of Rigid-Body Systems With Impacts and Friction
- Convex Computation of the Region of Attraction of Polynomial Control Systems
- A generic ellipsoid abstract domain for linear time invariant systems
- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis
- CSDP, A C library for semidefinite programming
- Semidefinite Programming
- Robust Stability Analysis of Nonlinear Hybrid Systems
- Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems
- Stability analysis of piecewise discrete-time linear systems
- Programming Languages and Systems
- Polynomial Level-Set Method for Polynomial System Reachable Set Estimation
- Static Analysis
- Sums of Squares and Semidefinite Program Relaxations for Polynomial Optimization Problems with Structured Sparsity
- Computer Aided Verification
- Static Analysis by Policy Iteration on Relational Domains
- Precise Fixpoint Computation Through Strategy Iteration
