People
References
Tools Favorites
|
[Optimization]
[Distributed Computation]
[Hybrid System]
[Latex]
Optimization[Top]
-
GloptiPoly
A Matlab/SeDuMi add-on to build and solve convex linear matrix inequality (LMI) relaxations of the (generally non-convex) global
optimization problem of minimizing a multivariable polynomial function subject to polynomial inequality, equality or integer constraints
-
LINGO
A linear, non-linear, and integer programming
solver with mathematical modeling language
-
LOQO
A general purpose nonlinear solver
-
MINOPT
A modeling language and algorithmic framework for linear,
mixed-integer, nonlinear, dynamic, and mixed-integer nonlinear
optimization
-
SDPT3
A MATLAB software for semidefinite-quadratic-linear
programming
-
SDPpack
A MATLAB package for semidefinite-quadratic-linearly
constrained programs
-
SeDuMi
Matlab toolbox for solving optimization problems over symmetric cones,
but also quasiconvex-quadratic constraints and positive
semi-definiteness constraints
-
SP
Implementation of
Nesterov and Todd's primal-dual potential reduction method for semidefinite
programming
Distributed
Computation[Top]
Hybrid
System[Top]
-
Ptolemy
A tool for modeling, simulation, and
design of concurrent, real-time, embedded systems
-
UPPAAL
An integrated tool environment for
modeling, simulation and verification of real-time systems
-
VERDICT
Block-oriented
modeling and formal verification of discrete controlled continuous
processes
-
KRONOS
A
tool developed for verifying complex real-time systems
-
CheckMate
A verification tool
for hybrid dynamic systems
Latex[Top]
|