2 citations · 4 across the 6 of their papers we have counts for
4 papers · 1 filter
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…
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…
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…
Zonotope-based Controller Synthesis for LTL Specifications
Wei Ren, Julien Calbert, Raphael Jungers
This paper studies the controller synthesis problem for Linear Temporal Logic (LTL) specifications using (constrained) zonotope techniques. First, we implement (constrained) zonoto…