2 citations · 9 across the 21 of their papers we have counts for
9 papers · 1 filter
The cohomology objects of a semi-abelian variety are small
Sébastien Mattenet, Tim Van der Linden, Raphaël M. Jungers
A well-known, but often ignored issue in Yoneda-style definitions of cohomology objects via collections of -step extensions (i.e., equivalence classes of exact sequences of a gi…
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…
A Cantor-Kantorovich Metric Between Markov Decision Processes with Application to Transfer Learning
Adrien Banse, Venkatraman Renganathan, Raphaël M. Jungers
We extend the notion of Cantor-Kantorovich distance between Markov chains introduced by (Banse et al., 2023) in the context of Markov Decision Processes (MDPs). The proposed metric…
Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
Adrien Banse, Licio Romao, Alessandro Abate +1
Abstractions of dynamical systems enable their verification and the design of feedback controllers using simpler, usually discrete, models. In this paper, we propose a data-driven…
Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
Wei Ren, Raphael M. Jungers, Dimos V. Dimarogonas
This paper studies the controller synthesis problem for nonlinear control systems under linear temporal logic (LTL) specifications using zonotope techniques. A local-to-global cont…
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.…
CC-VPSTO: Chance-Constrained Via-Point-Based Stochastic Trajectory Optimisation for Online Robot Motion Planning under Uncertainty
Lara Brudermüller, Guillaume Berger, Julius Jankowski +3
Reliable robot autonomy hinges on decision-making systems that account for uncertainty without imposing overly conservative restrictions on the robot's action space. We introduce C…