
MISER3
 Referenced in 81 articles
[sw04190]
 based on the idea of control parametrization in which the controls are approximated by piecewise...

YALMIP
 Referenced in 970 articles
[sw04595]
 problems. The package initially aimed at the control community and focused on semidefinite programming ... convex semidefinite programming, mixed integer programming, multiparametric programming, geometric programming The main features...

MPT
 Referenced in 218 articles
[sw04732]
 MultiParametric Toolbox (MPT) is a free Matlab toolbox for design, analysis and deployment ... optimal controllers for constrained linear, nonlinear and hybrid systems. Efficiency of the code is guaranteed ... field of computational geometry and multiparametric optimization. The toolbox offers a broad spectrum ... create custom objective functions. Resulting optimal control laws can either be embedded into your applications...

qpOASES
 Referenced in 66 articles
[sw05107]
 important observations from the field of parametric quadratic programming. It has several theoretical features that ... make it particularly suited for model predictive control (MPC) applications. The software package qpOASES implements...

COOPT
 Referenced in 5 articles
[sw00158]
 described with particular emphasis given to control parametrization, optimization constraints, control continuity and other constraints...

OreModules
 Referenced in 42 articles
[sw06226]
 Control Systems over Ore Algebras. OreModules is a Maple implementation of algorithms which compute parametrizations...

OSQP
 Referenced in 14 articles
[sw26960]
 particularly efficient when solving parametrized problems arising in finance, control, and machine learning. Our open...

KeYmaera
 Referenced in 41 articles
[sw03709]
 tool is particularly suitable for verifying parametric hybrid systems and has been used successfully ... collision avoidance in case studies from train control and air traffic management...

SCOM
 Referenced in 6 articles
[sw00836]
 MISER and OCIM packages, the control is parametrized as a stepfunction, and MATLAB...

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

control.lib
 Referenced in 6 articles
[sw10150]
 genericity in study of parametric problems in control theory: ... The Genericity algorithm is implemented...

NMPC
 Referenced in 2 articles
[sw06445]
 NMPC formulations that use low dimensional control parametrization. The concrete example of a Planar Vertical...

WinGCLC
 Referenced in 5 articles
[sw08574]
 geometrical constructions, isometric transformations, conics, parametric curves, flow control, automated theorem proving, etc. The basic...

multtest
 Referenced in 22 articles
[sw08262]
 parametric bootstrap and permutation resamplingbased multiple testing procedures (including empirical Bayes methods) for controlling...

COPRIN
 Referenced in 14 articles
[sw04826]
 this paper we are interested in parametric polynomials, i.e. polynomials whose coefficients are analytical functions ... presented in the field of robotics and control theory...

OPECgen
 Referenced in 20 articles
[sw13463]
 level (equilibrium) constraints are given by a parametric affine variational inequality ... written in MATLAB, allows the user to control different properties of the QPEC...

PAGAI
 Referenced in 7 articles
[sw13095]
 inside the control flow graph while avoiding systematic exponential enumerations. It is parametric...

emgr
 Referenced in 11 articles
[sw07554]
 example in: model reduction, decentralized control, optimal placement, sensitivity analysis or parameter identification. Empirical Gramian ... linear) system Gramians, but extend to parametric and nonlinear systems due to their datadriven...

PAROC
 Referenced in 5 articles
[sw21878]
 modelpredictive control (MPC) and reactive scheduling, (iv) a suite of multiparametric programming techniques ... silico’ validation step for the derived optimisation, control and/or scheduling strategies to be analysed within...

DISPRO
 Referenced in 7 articles
[sw14791]
 parametric linear programming; DILOS, interactive system for unconstrained optimization, nonlinear programming, and optimal control; ORBITAL...