2 citations · 4 across the 6 of their papers we have counts for
7 papers
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…
Memoryless concretization relation
Julien Calbert, Sébastien Mattenet, Antoine Girard +1
We introduce the concept of memoryless concretization relation (MCR) to describe abstraction within the context of controller synthesis. This relation is a specific instance of alt…
Smart abstraction based on iterative cover and non-uniform cells
Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers
We propose a multi-scale approach for computing abstractions of dynamical systems, that incorporates both local and global optimal control to construct a goal-specific abstraction.…
An Efficient Method to Verify the Inclusion of Ellipsoids
Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers
We present a novel method for deciding whether a given n-dimensional ellipsoid contains another one (possibly with a different center). This method consists in constructing a parti…
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…