
LMI toolbox
 Referenced in 1438 articles
[sw06383]
 Control Toolbox implements stateoftheart interiorpoint LMI solvers. While these solvers ... efficient “structured” representation of LMIs, the LMI Control Toolbox is geared to making the most...

SCIP
 Referenced in 476 articles
[sw01091]
 currently one of the fastest noncommercial solvers for mixed integer programming (MIP) and mixed ... price. It allows for total control of the solution process and the access of detailed ... information down to the guts of the solver. SCIP is part of the SCIP Optimization...

AMPL
 Referenced in 594 articles
[sw04001]
 computer manages communication with an appropriate solver. AMPL’s flexibility and convenience render it ideal ... model development, while its speed and control options make it an especially efficient choice...

YALMIP
 Referenced in 962 articles
[sw04595]
 problems. The package initially aimed at the control community and focused on semidefinite programming ... code. Automatic categorization of problems, and automatic solver selection Supports numerous external solvers, both free...

QDES
 Referenced in 107 articles
[sw26999]
 QDES is a linear control system design specification compiler and solver, originally released ... historical record. The book ”Linear Controller Design: Limits of Performance”, by Boyd and Barratt, Prentice...

PLTMG
 Referenced in 215 articles
[sw00717]
 mesh moving. PLTMG employes several algebraic multilevel solvers for the resulting systems of linear equations ... options for solving several classes of optimal control and obstacle problems. The package includes ... adaptive meshing paradigm and corresponding domain decomposition solver are also provided. PLTMG is provided...

LYAPACK
 Referenced in 61 articles
[sw12624]
 large problems in control theory. An efficient ADIbased solver for large Lyapunov equations ... large Riccati equations and linearquadratic optimal control problems...

CONTEST
 Referenced in 19 articles
[sw12738]
 CONTEST: A controllable test toolbox for MATLAB. Large, sparse networks that describe complex interactions ... testing linear system and eigenvalue solvers. CONTEST (CONtrollable TEST matrices) is a random network toolbox...

ELAN
 Referenced in 108 articles
[sw02179]
 systems in a language based on rules controlled by strategies. Its purpose is to support ... theorem provers, logic programming languages, constraints solvers and decision procedures and to offer a modular ... theorem provers, logic programming languages, constraints solvers and decision procedures and to offer a modular ... language allowing the programmer to specify the control on rules application. This is in contrast...

GPOPS
 Referenced in 81 articles
[sw05853]
 Using GPOPSII, the continuoustime optimal control problem is transcribed to a nonlinear programming ... then solved using either the NLP solver SNOPT or the NLP solver IPOPT. GPOPS ... advancement in the numerical solution of optimal control problems. GPOPSII is available...

CVODE
 Referenced in 56 articles
[sw04947]
 using a Krylov method as the linear solver, the iteration is an Inexact Newton iteration ... which the linear residual is nonzero but controlled. When used in conjunction with the serial ... CVODE provides both direct (dense and band) solvers and three preconditioned Krylov (iterative) solvers (GMRES...

MinRes
 Referenced in 33 articles
[sw09350]
 minres solver for distributed multiharmonic eddy current optimal control problems in unbounded domains. This work ... devoted to distributed optimal control problems for multiharmonic eddy current problems in unbounded domains ... construct and analyze a new preconditioned MinRes solver for the system of frequency domain equations...

Runsolver
 Referenced in 9 articles
[sw08840]
 Controlling a solver execution with the runsolver tool. The runsolver tool was designed...

DualPC
 Referenced in 10 articles
[sw08479]
 Duali/Dualpc software for quadraticlinear optimal control models. Duali (which is pronounced “dual I”) provides ... active learning stochastic models as well as solvers for deterministic models and for passive learning ... does not yet contain a solver for adaptive control models. However it does provide...

qpDUNES
 Referenced in 13 articles
[sw13238]
 programming solver targeted at blockbanded convex QPs that arise in optimal control, dynamic optimization ... strategy, the novel solution methodology which this solver implements. See this publication for the mathematical ... linear timevarying (LTV) modelpredictive control problems in both environments. For nonlinear model predictive...

EULAG
 Referenced in 27 articles
[sw14823]
 numerical algorithms and a robust elliptic solver with generalized coordinates. The code is written ... research tool with numerous options controlling the numerical accuracy and to allow for a wide...

Control Toolbox
 Referenced in 1 article
[sw36513]
 provides standard interfaces for different optimal control solvers. To date, we support Single Shooting ... Riccatibased linearquadratic optimal control solvers. The CT was designed to solve largescale...

COPS
 Referenced in 36 articles
[sw08461]
 dynamics, optimal design, mesh smoothing, and optimal control. For each problem we provide a short ... results of computational experiments with general optimization solvers. Each problem has been implemented in AMPL...

QPSchur
 Referenced in 16 articles
[sw06918]
 objectoriented QP solver implementation is demonstrated on two different application areas with specializations ... each area; largescale model predictive control (MPC) and reducedspace successive quadratic programming (with ... Hessian). These results demonstrate that the QP solver can exploit applicationspecific structure...

iSat
 Referenced in 4 articles
[sw14762]
 offers an interactive shell to control propositional SAT solvers and generate graph representations...