Control of Complex Maneuvers for a Quadrotor UAV using Geometric Methods on SE(3)

ntnu-arl/aerial_gym_simulator 10 Mar 2010

The flight maneuvers are defined by a concatenation of flight modes or primitives, each of which is achieved by a nonlinear controller that solves an output tracking problem.

Optimization and Control Systems and Control

88
0.38 stars / hour

OpEn: Code Generation for Embedded Nonconvex Optimization

alphaville/optimization-engine 29 Feb 2020

We present Optimization Engine (OpEn): an open-source code generation tool for real-time embedded nonconvex optimization, which implements a novel numerical method.

Optimization and Control Numerical Analysis Numerical Analysis

362
0.11 stars / hour

A type theory for synthetic $\infty$-categories

fizruk/rzk 21 May 2017

To make the bookkeeping in such proofs manageable, we use a three-layered type theory with shapes, whose contexts are extended by polytopes within directed cubes, which can be abstracted over using "extension types" that generalize the path-types of cubical type theory.

Category Theory Logic 03G30, 18G55, 55U40

75
0.08 stars / hour

"A Handbook of Integer Sequences" Fifty Years Later

zhaoolee/garss 9 Jan 2023

Until 1973 there was no database of integer sequences.

Number Theory Combinatorics 05-00, 11-00, 11Bxx, 48-00, 68-00

835
0.06 stars / hour

Performance enhancements for a generic conic interior point algorithm

chriscoey/Hypatia.jl 9 Jul 2021

We summarize the complexity of computing oracles for these cones, showing that our new third order oracle is not a bottleneck, and we derive efficient and numerically stable oracle implementations for several cones.

Optimization and Control 90-08, 90C25, 90C51

116
0.04 stars / hour

Optimization-Based Autonomous Racing of 1:43 Scale RC Cars

alexliniger/MPCC 20 Nov 2017

This paper describes autonomous racing of RC race cars based on mathematical optimization.

Optimization and Control Robotics Systems and Control

948
0.04 stars / hour

Gromov-Wasserstein Distances between Gaussian Distributions

MaximeVandegar/Papers-in-100-Lines-of-Code 16 Apr 2021

We also study the problem without restriction on the optimal plan, and provide lower and upper bounds for the value of the Gromov-Wasserstein distance between Gaussian distributions.

Probability

254
0.03 stars / hour

PowerModels.jl: An Open-Source Framework for Exploring Power Flow Formulations

lanl-ansi/PowerModels.jl 6 Nov 2017

This work provides a brief introduction to the design of PowerModels, validates its implementation, and demonstrates its effectiveness with a proof-of-concept study analyzing five different formulations of the Optimal Power Flow problem.

Optimization and Control Computational Engineering, Finance, and Science

325
0.03 stars / hour

An Adaptive, Multivariate Partitioning Algorithm for Global Optimization of Nonconvex Programs

lanl-ansi/POD.jl 9 Jul 2017

In this work, we develop an adaptive, multivariate partitioning algorithm for solving mixed-integer nonlinear programs (MINLP) with multi-linear terms to global optimality.

Optimization and Control Systems and Control

222
0.03 stars / hour

Universal Average-Case Optimality of Polyak Momentum

d2l-ai/d2l-en 19 Aug 2020

Polyak momentum (PM), also known as the heavy-ball method, is a widely used optimization method that enjoys an asymptotic optimal worst-case complexity on quadratic objectives.

Optimization and Control

18,013
0.02 stars / hour