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

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

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

Until 1973 there was no database of integer sequences.

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

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

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

Optimization and Control Robotics Systems and Control

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

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

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

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