DifferentiableTrajectoryOptimization.jl (Dito)

DifferentiableTrajectoryOptimization.jl (Dito for short) is a package for Differentiable Trajetory Optimization in Julia. It supports both forward and reverse mode differentiation via ForwardDiff.jl and ChainRulesCore.jl and therefore integrates seamlessly with machine learning frameworks such as Flux.jl.

A substantial part of machine learning (ML) algorithms relies upon the ability to propagate gradient signals through the entire learning pipeline. Traditionally, such models have been mostly limited to artificial neural networks and "simple" analytic functions. Recent work has focused on extending the class of admissible models for gradient-based learning by making all sorts of procedures differentiable. These efforts range from differentiable physics engines over differentiable rendering to differentiable optimization.

Dito focuses on a special case of the latter category, differentiable trajectory optimization. As such, Dito algorithmically provides a (local) answer to the question:

"How does the optimal solution of an inequality constrained trajectory optimization problem change if the problem changes?".

This implementation was originally developed as part of our research on Learning Mixed Strategies in Trajectory Games: bibtex @inproceedings{peters2022rss, title = {Learning Mixed Strategies in Trajectory Games}, author = {Peters, Lasse and Fridovich-Keil, David and Ferranti, Laura and Stachniss, Cyrill and Alonso-Mora, Javier and Laine, Forrest}, booktitle = {Proc.~of Robotics: Science and Systems (RSS)}, year = {2022}, url = {https://arxiv.org/abs/2205.00291} } There, Dito allowed us to efficiently train a neural network pipeline that rapidly generate feasible equilibrium trajectories in multi-player non-cooperative dynamic games. Since this component has proven to be very useful in that context, we have since decided to factor it out into a stand-alone package.

Installation

To install Dito, simply add it via Julia's package manager from the REPL:

```julia

hit ] to enter "pkg"-mode of the REPL

pkg> add DifferentiableTrajectoryOptimization ```

Usage

Below we construct a parametric optimization problem for a 2D integrator with 2 states, 2 inputs over a horizon of 10 stages with box constraints on states and inputs.

Please consult the documentation for each of the types below for further information. For example, just type ?ParametricTrajectoryOptimizationProblem to learn more about the problem setup. You can also consult the tests as an additional source of implicit documentation.

1. Problem Setup

The entry-point for getting started with this package is to set up you problem of choice as an ParametricTrajectoryOptimizationProblem.

```julia using DifferentiableTrajectoryOptimization

horizon = 10 statedim = controldim = parameterdim = 2 cost = (xs, us, params) -> sum(sum((x - params).^2) + sum(u.^2) for (x, u) in zip(xs, us)) dynamics = (x, u, t) -> x + u inequalityconstraints = let stateconstraints = state -> [state .+ 0.1; -state .+ 0.1] controlconstraints = control -> control .+ 0.1; -control .+ 0.1 -> [ mapreduce(stateconstraints, vcat, xs) mapreduce(controlconstraints, vcat, us) ] end

problem = ParametricTrajectoryOptimizationProblem( cost, dynamics, inequalityconstraints, statedim, controldim, parameterdim, horizon )

```

2. Optimizer Setup

Given an instance of the ParametricTrajectoryOptimizationProblem, you can construct an Optimizer for the problem.

julia backend = QPSolver() optimizer = Optimizer(problem, backend)

Currently, Dito supports the following optimization backends:

• MCPSolver: Casts trajectory optimization problem as a mixed complementarity problem (MCP) and solves it via PATH.
  • This is the best option for nonlinear, non-convex problems. Even for QPs this solver is often as fast as the specialized QP solver.
  • The PATH solver is not open source but provides a free license. Without setting a license key, this backend only works for small problems. Please consult the documentation of PATHSolver.jl to learn about loading the license key.
• QPSolver: Treats the problem as convex QP by linearizing the constraints and quadraticizing the cost a priori.
  • If the true problem is not a QP, this solution will not be exact.
• NLPSolver: Solves the trajectory optimization problem as NLP using Ipopt.
  • This solver is mostely here for historic reasons to provide a fully open-source backend for NLPs. However, for many problems the MCPSolver backend using PATH is much faster.

3. Solving the Problem

Given an optimizer, we can solve a problem instance for a given initial state x0 and parameter values params.

```julia x0 = zeros(state_dim) params = randn(2)

the solution has fields for

xs: the state sequence

us: the control sequence

λs: the constriant multipliers

info: additional "low-level" solver info

(; xs, us, λs, info) = solution = optimizer(x0, params) ```

4. Computing Gradients

Since we provide gradient rules for the optimizer(x0, params) call, you can directly differentiate through it using your favorite autodiff framework. Here is a toy example of how this could look like:

```julia using Zygote: Zygote

an objective function that maps from parameters to a scalar performance index

function objective(params) (; xs, λs) = optimizer(x0, params) sum(sum(x .^ 2) for x in xs) + sum(sum(λ .^ 2) for λ in λs) end

the gradient of objective evalauted at the randomly sampled params from step 3 above

Zygote.gradient(objective, params) ```

Background

Dito achieves differentiable trajectory optimization by augmenting existing optimization routines with custom derivative rules that apply the implicit function theorem (IFT) to the resulting KKT-system. Through this formulation, Dito avoids differentiation of the entire (potentially iterative) algorithm, leading to substantially accelerated derivative computation and facilitating differentiation of optimization backends that are not written in pure Julia.

The following body of work provides more information about this IFT-based differentiation approach:

• Ralph, Daniel, and Stephan Dempe. "Directional derivatives of the solution of a parametric nonlinear program." Mathematical programming 70.1 (1995): 159-172.

• Amos, Brandon, and J. Zico Kolter. "Optnet: Differentiable optimization as a layer in neural networks." International Conference on Machine Learning. PMLR, 2017.