3 papers
eess.SY2026
Characterizing simulation relations through control architectures in abstraction-based control
Julien Calbert, Antoine Girard, Raphaël M. Jungers
Abstraction-based control design is a promising approach for ensuring safety-critical control of complex cyber-physical systems. A key aspect of this methodology is the relation be…
eess.SY2025
Agile Temporal Discretization for Symbolic Optimal Control
Adrien Janssens, Adrien Banse, Julien Calbert +1
As control systems grow in complexity, abstraction-based methods have become essential for designing controllers with formal guarantees. However, a key limitation of these methods…
eess.SY2025
Dionysos.jl: a Modular Platform for Smart Symbolic Control
Julien Calbert, Adrien Banse, Benoît Legat +1
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 cont…