2 citations · 4 across the 6 of their papers we have counts for
4 papers · 1 filter
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.…