
LMI toolbox
 Referenced in 1439 articles
[sw06383]
 Linear Matrix Inequalities (LMIs) and LMI techniques have emerged as powerful design tools in areas...

SDPT3
 Referenced in 647 articles
[sw04009]
 case of determinant maximization problems with linear matrix inequalities. It employs an infeasible primaldual...

GloptiPoly
 Referenced in 307 articles
[sw04343]
 hierarchy of semidefinite programming (SDP), or linear matrix inequality (LMI) relaxations of the GPM, whose...

LMIRank
 Referenced in 34 articles
[sw04823]
 linear matrix inequality (LMI) problem is a well known type of convex feasibility problem that...

LMITOOL
 Referenced in 28 articles
[sw05130]
 control can be formulated as “linear matrix inequality” (LMI) problems. Previously, efficient algorithms have been...

cdd
 Referenced in 112 articles
[sw00114]
 linear inequalities: P = {x c R^d : Ax <= b } where is an real matrix ... problem which is to obtain a linear inequality representation of a convex polyhedron given...

ROLMIP
 Referenced in 16 articles
[sw21158]
 constraints that are usually defined as Linear Matrix Inequalities (LMIs). The main objective of ROLMIP...

SPECTRA
 Referenced in 7 articles
[sw17619]
 SPECTRA a Maple library for solving linear matrix inequalities in exact arithmetic, This document briefly ... Tools of Real Algebra. It solves linear matrix inequalities in exact arithmetic...

SparseCoLO
 Referenced in 8 articles
[sw04768]
 SparseCoLO (Conversion Methods for SPARSE COnicform Linear Optimization) SparseCoLO is a Matlab package ... positive semidefinite matrix completion for an optimization problem with matrix inequalities satisfying a sparse chordal ... including both primal and dual form of linear, semidefinite, secondorder cone programs with equality/inequality ... rangespace sparsity of a linear matrix inequality (LMI) constraint of the given problem. SparseCoLO...

TPtool
 Referenced in 6 articles
[sw11769]
 convex polytopic forms, upon which LMI (Linear Matrix Inequality) based multiobjective control design techniques...

GpoSolver
 Referenced in 2 articles
[sw15713]
 such problems is based on convex linear matrix inequality (LMI) relaxations. Software implementations of this...

Vass
 Referenced in 1 article
[sw34696]
 algebra_ext.v: Quantifier elimination principle for linear inequalities; matrix_ext.v: Farkas’ lemma; cone.v: Elementary theory...

reducedLP
 Referenced in 12 articles
[sw04821]
 inequality constraints Consider solving a linear program in standard form where the constraint matrix...

QL
 Referenced in 16 articles
[sw12450]
 quadratic programming problems subject to linear equality and inequality constraints by the primaldual method ... available Cholesky decomposition of the objective function matrix can be provided by the user. Bounds...

cddplus
 Referenced in 11 articles
[sw04443]
 given by a system of linear inequalities: P = { x : A x <= b } where ... real matrix and b is a real m dimensional vector. The program can be used ... move back and forth between an inequality representation and a generator (i.e. vertex ... with cdd+. Also, cdd+ can solve a linear programming problem, i.e. a problem of maximizing...

QPSchur
 Referenced in 16 articles
[sw06918]
 abstracted away behind a fixed KKT matrix called $K_{o}$ and other problem matrices, which ... Updates to the working set of active inequality constraints are facilitated using a dense Schur ... While the Schur complement approach to linear algebra is very flexible with respect to allowing...

LCOBYQA
 Referenced in 9 articles
[sw10964]
 whose derivatives are unavailable, subject to linear inequality constraints. The algorithm is based ... change to the second derivative matrix of the model. The model is then minimized...

SQOPT
 Referenced in 18 articles
[sw07860]
 linear equalities and inequalities. SQOPT uses a twophase, activeset, reducedHessian method ... freedom. SQOPT is primarily intended for large linear and quadratic problems with sparse constraint matrices ... maintaining sparse LU factors of the basis matrix), a practical antidegeneracy procedure, scaling...

NlcOptim
 Referenced in 1 article
[sw31431]
 objective and constraint functions. Linear or nonlinear equality and inequality constraints are allowed. It accepts ... input parameters as a constrained matrix...

AGES
 Referenced in 3 articles
[sw32284]
 sorted firstorder theories. The tool uses linear algebra techniques to associate finite or infinite ... means of piecewise interpretations with matrixbased expressions and inequalities. Relations interpreting binary predicates...