ICL Aeronautics Semi-Algebraic Optimization Group
Semi-Algebraic Optimization Group, Department of Aeronautics, Imperial College London
Imperial College London
Pinned Repositories
aeroimperial-spotless
A fork of the polynomial optimization toolbox spotless (https://github.com/spot-toolbox/spotless) with extra functionality. Maintained by aeroimperial-optimization and its collaborators.
aeroimperial-yalmip
A fork of YALMIP (https://yalmip.github.io) with extra functionalities, performance improvements, etc. Maitained by aeroimperial-optimization and its collaborators.
mpYALMIP
An open-source interface to use the multiple-precision solver SDPA-GMP with YALMIP
PONDS
An open-source MATLAB toolbox for finding lower bounds on long-time averaged polynomial magnitudes in hydrodynamic-type systems
QUINOPT
An open-source add-on for YALMIP to solve optimisation problems with polynomial quadratic integral inequality constraints.
rotating-convection-EP
Code to compute upper bounds on the heat transport of rotating convection with Ekman pumping
sos-chordal-decomposition-pmi
MATLAB code with examples of SOS chordal decomposition for polynomial matrix inequalities with sparsity
Structure-Informed-Neural-Networks
UODESys
An open-source MATLAB toolbox for the reduction of high-dimensional ODE systems to a low-dimensional, uncertain system.
ICL Aeronautics Semi-Algebraic Optimization Group's Repositories
aeroimperial-optimization/mpYALMIP
An open-source interface to use the multiple-precision solver SDPA-GMP with YALMIP
aeroimperial-optimization/QUINOPT
An open-source add-on for YALMIP to solve optimisation problems with polynomial quadratic integral inequality constraints.
aeroimperial-optimization/sos-chordal-decomposition-pmi
MATLAB code with examples of SOS chordal decomposition for polynomial matrix inequalities with sparsity
aeroimperial-optimization/aeroimperial-yalmip
A fork of YALMIP (https://yalmip.github.io) with extra functionalities, performance improvements, etc. Maitained by aeroimperial-optimization and its collaborators.
aeroimperial-optimization/Structure-Informed-Neural-Networks
aeroimperial-optimization/aeroimperial-spotless
A fork of the polynomial optimization toolbox spotless (https://github.com/spot-toolbox/spotless) with extra functionality. Maintained by aeroimperial-optimization and its collaborators.
aeroimperial-optimization/PONDS
An open-source MATLAB toolbox for finding lower bounds on long-time averaged polynomial magnitudes in hydrodynamic-type systems
aeroimperial-optimization/rotating-convection-EP
Code to compute upper bounds on the heat transport of rotating convection with Ekman pumping
aeroimperial-optimization/UODESys
An open-source MATLAB toolbox for the reduction of high-dimensional ODE systems to a low-dimensional, uncertain system.