OptimalControl.jl
OptimalControl.jl copied to clipboard
control-toolbox
Solvers of optimal control problems
@PierreMartinon @BaptisteCbl your mission if you accept it is to improve drastically the performance of our solver, thanks to wise profiling and benchmarking.
A user should have the possibility to get the dual variables of a constraint he has labeled, as in `JuMP` (cf. the `dual` function). See also #131
Gives more detailed information about a solution - [ ] sort constraints (pointwise and path) and display violation and multipliers (use norm for path constraints). Plots ? - [ ]...
- [ ] space mechanics (Kepler, CR3BP, solar sail...) - [ ] quantum mechanics (contrast...) - [ ] Riemannian / Finsler geometry computations (cut & conjugate loci...) - [ ]...
To check : - continuation on `Tmax`, min time - https://bifurcationkit.github.io/BifurcationKitDocs.jl/dev/gettingstarted - multiple branches: https://bifurcationkit.github.io/BifurcationKitDocs.jl/dev/DeflatedContinuation
Solve a control problem with integer variables using direct code + SDP relaxation + convex solver (if relevant) Example: Fuller with mixed constraints $u \in \lbrace -1, 1 \rbrace$, check...
There is a common system representation that is shared by a few control projects such as JuliaReach and Dionysos.jl in https://github.com/JuliaReach/MathematicalSystems.jl/. As discussed after your talk in Paris, it would...
- Update plot manual when the compat of CTModels is up-to-date, since the method `plot(sol, ocp)` won't exist anymore. - We must add also the docstrings of the `plot(sol, description...;...
@PierreMartinon check this [example](https://github.com/jbcaillau/jbcaillau.github.io/blob/main/tmp/dirichlet-1.ipynb) in JuMP (single impulsion, reduction to standard control problem)
- transform a problem with free final time into one with fixed final time (the final time is a new constant state) - transform a Lagrange problem into a Mayer...