Todo / Roadmap for the control-toolbox eco-system

[ocots]

General

• Description vs Algorithm

OptimalControl

• Formulation of the ocp
• Direct shooting
• Indirect shooting and path following
• Step by step and callback by iteration
• interface to JuMP, new OCP type...

Flows

• StaticArrays and benchmark

CommonSolveEquations

• Bridge to NonLinearSolver and Description vs Method. See also Symbols rather than enumeration for options

Documentation

• Modules, docstrings, examples

[ocots]

Il y a du contrôle optimal, de l'intégration via schéma symplectique et du calcul d'incertitude :

• https://book.sciml.ai/notes/11-Differentiable_Programming_and_Neural_Differential_Equations/
• https://book.sciml.ai/notes/15-Mixing_Differential_Equations_and_Neural_Networks_for_Physics-Informed_Learning/
• https://book.sciml.ai/notes/16-From_Optimization_to_Probabilistic_Programming/
• https://book.sciml.ai/notes/19-Uncertainty_Programming-Generalized_Uncertainty_Quantification/

[ocots]

[ocots]

A vérifier que le type Solution ne dépend que du type Problem dans SciML. A voir nous comment on veut gérer cela. Le type Solution pourrait dépendre de la paire Problem-Algorithm ou que de Problem. Par contre, du point de vue utilisateur, c'est invisible car on aura les mêmes appels, par exemple plot(solution).

[ocots]

Il faudrait bien définir les différents algorithmes qui nous intéressent : Direct Collocation, Shooting...

[ocots]

2023-02-06 Snapshot

General

• Description vs Algorithm
• Use assert macro to check assertions
• Dépendances et compatibilité
• Collection of test problems
• Documentation
• Gestion des solutions

OptimalControl.jl

• Formulation of the control problem by the user
• Direct shooting
• Indirect shooting
• Goddard plot
• Autonomous and non-autonomous
• Dynamics: output and in-place
• Solution plot
• Scalar / vector control / state
• Direct solve by Crank-Nicolson (and more)
• Add pure constraints
• Print callback during iterations
• Display ocp

HamiltonianFlows

• Plot
• Autonomous and non-autonomous
• Concatenation of flows
• In-place Hamiltonian and others
• Integrator as argument of Flow

[jbcaillau]

👍🏽 @ocots

à l’occasion, testons aussi les discussions ; discord / slack TB par ailleurs, mais

• pouvoir transformer une discussion en issue est pratique
• on a plusieurs fois eu le cas de chats discords qu’on a finalement trouvé utile de recopier dans une issue

[ocots]

C'est vrai que c'est plus une discussion qu'une issue.

[ocots]

On passe aux discussions. La discussion courante se trouve ici.