no code implementations • 22 Apr 2024 • Julien Calbert, Adrien Banse, Benoît Legat, Raphaël M. Jungers
We introduce Dionysos. jl, a modular package for solving optimal control problems for complex dynamical systems using state-of-the-art and experimental techniques from symbolic control, optimization, and learning.
no code implementations • 2 Aug 2021 • Wei Ren, Julien Calbert, Raphael Jungers
Once the LTL specification can be satisfied, the next step is to design a controller to guarantee the satisfaction of the LTL specification for dynamic systems.