• 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, multi-parametric programming, geometric programming The main features...
  • MPT

  • Referenced in 218 articles [sw04732]
  • Multi-Parametric 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 multi-parametric 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 step-function, 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 resampling-based 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 data-driven...
  • PAROC

  • Referenced in 5 articles [sw21878]
  • model-predictive control (MPC) and reactive scheduling, (iv) a suite of multi-parametric 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...