1 citations · 1 across the 12 of their papers we have counts for
Showing math.DSShow all
2 papers · 1 filter
math.DS2024★ 1 cited
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…
math.DS2024
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.…