Dionysos.jl: a Modular Platform for Smart Symbolic Control
Dionysos is a modular package for solving optimal control problems using state-of-the-art control techniques for complex systems. It is built on top of different Julia packages such as JuMP and MathOptInterface, and features optimal control problem definitions and several abstraction-based methods to solve them.