Validating numerical semidefinite programming solvers for polynomial invariants
نویسندگان
چکیده
منابع مشابه
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants
Semidefinite programming (SDP) solvers are increasingly used as primitives in many program verification tasks to synthesize and verify polynomial invariants for a variety of systems including programs, hybrid systems and stochastic models. On one hand, they provide a tractable alternative to reasoning about semi-algebraic constraints. However, the results are often unreliable due to “numerical ...
متن کاملSemidefinite Programming vs. LP Relaxations for Polynomial Programming
We consider the global minimization of a multivariate polynomial on a semi-algebraic set defined with polynomial inequalities. We then compare two hierarchies of relaxations, namely, LP relaxations based on products of the original constraints, in the spirit of the RLT procedure of Sherali and Adams (1990), and recent semidefinite programming (SDP) relaxations introduced by the author. The comp...
متن کاملPolynomial Primal Dual Cone Affine Scaling for Semidefinite Programming
Semide nite programming concerns the problem of optimizing a linear function over a section of the cone of semide nite matrices In the cone a ne scaling approach we replace the cone of semide nite matrices by a certain inscribed cone in such a way that the resulting optimization problem is analytically solvable The now easily obtained solution to this modi ed problem serves as an approximate so...
متن کاملConvergent Semidefinite Programming Relaxations for Global Bilevel Polynomial Optimization Problems
In this paper, we consider a bilevel polynomial optimization problem where the objective and the constraint functions of both the upper and the lower level problems are polynomials. We present methods for finding its global minimizers and global minimum using a sequence of semidefinite programming (SDP) relaxations and provide convergence results for the methods. Our scheme for problems with a ...
متن کاملNumerical Stability in Linear Programming and Semidefinite Programming
We study numerical stability for interior-point methods applied to Linear Programming, LP, and Semidefinite Programming, SDP. We analyze the difficulties inherent in current methods and present robust algorithms. We start with the error bound analysis of the search directions for the normal equation approach for LP. Our error analysis explains the surprising fact that the ill-conditioning is no...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Methods in System Design
سال: 2017
ISSN: 0925-9856,1572-8102
DOI: 10.1007/s10703-017-0302-y