From the 1 of 6 linked papers with an AI index.
6 papers
Robust Optimal Control of Arbitrarily Switched Systems: A Path-Complete Framework
Léa Ninite, Adrien Banse, Guillaume O. Berger +1
The paper proposes a framework for robust control of arbitrarily switched systems that simultaneously synthesizes a feedback policy and provides a certified upper bound on its infi…
A Path-Complete Approach for Optimal Control of Switched Systems
Léa Ninite, Adrien Banse, Guillaume O. Berger +1
We study the problem of estimating the value function of discrete-time switched systems under arbitrary switching. Unlike the switched LQR problem, where both inputs and mode seque…
Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
Adrien Banse, Alessandro Abate, Raphaël M. Jungers
Labeled Markov Chains (or LMCs for short) are useful mathematical objects to model complex probabilistic languages. A central challenge is to compare two LMCs, for example to asses…
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…
Memory-dependent abstractions of stochastic systems through the lens of transfer operators
Adrien Banse, Giannis Delimpaltadakis, Luca Laurenti +2
With the increasing ubiquity of safety-critical autonomous systems operating in uncertain environments, there is a need for mathematical methods for formal verification of stochast…
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…