A sums-of-squares extension of policy iterations (Q2406948): Difference between revisions

@@ Property / describes a project that uses @@
+CSDP
@@ Property / describes a project that uses: CSDP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SDPA
@@ Property / describes a project that uses: SDPA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2962892776
@@ Property / OpenAlex ID: W2962892776 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08090
@@ Property / arXiv ID: 1503.08090 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Level-Set Method for Polynomial System Reachable Set Estimation
+Normal rank
@@ Property / cites work @@
+Robust Stability Analysis of Nonlinear Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Stability Analysis and Control of Rigid-Body Systems With Impacts and Friction
+Normal rank
@@ Property / cites work @@
+Convex Computation of the Region of Attraction of Polynomial Control Systems
+Normal rank
@@ Property / cites work @@
+Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis
+Normal rank
@@ Property / cites work @@
+Precise Fixpoint Computation Through Strategy Iteration
+Normal rank
@@ Property / cites work @@
+Static Analysis by Policy Iteration on Relational Domains
+Normal rank
@@ Property / cites work @@
+Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
+Normal rank
@@ Property / cites work @@
+Q4496016
@@ Property / cites work: Q4496016 / rank @@
+Normal rank
@@ Property / cites work @@
+CSDP, A C library for semidefinite programming
@@ Property / cites work: CSDP, A C library for semidefinite programming / rank @@
+Normal rank
@@ Property / cites work @@
+Semidefinite Programming
@@ Property / cites work: Semidefinite Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Global Optimization with Polynomials and the Problem of Moments
+Normal rank
@@ Property / cites work @@
+Semidefinite programming relaxations for semialgebraic problems
+Normal rank
@@ Property / cites work @@
+Q4285035
@@ Property / cites work: Q4285035 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Sums of Squares and Semidefinite Program Relaxations for Polynomial Optimization Problems with Structured Sparsity
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A generic ellipsoid abstract domain for linear time invariant systems
+Normal rank
@@ Property / cites work @@
+Stability analysis of piecewise discrete-time linear systems
+Normal rank