Dionysos.jl

Dionysos is an open-source Julia toolbox for optimal and symbolic control of dynamical systems. In view of the Cyber-Physical Revolution, the only sensible way of controlling these complex systems is often by discretizing the different variables, thus transforming the model into a simple combinatorial problem on a finite-state automaton, called an abstraction of this system. The goal of L2C is to transform this approach into an effective, scalable, cutting-edge technology that will address the CPS challenges and unlock their potential. This ambitious goal will be achieved by leveraging powerful tools from Mathematical Engineering.

Dionysos is the software of the ERC project “Learning to control” (L2C) embedded in Julia.

Website Source