talks

02/06/2025 12ème Biennale SMAI, Carcans-Maubuisson

Computer-Assisted Proofs of Non-Reachability for Linear Parabolic Control Problems with Bounded Constraints slides.

28/04/2025 MR-DYNAMO Seminar, University of Graz, Austria

Computer-Assisted Proofs of Non-Reachability for Linear Parabolic Control Problems with Bounded Constraints slides.

14/01/2025 Journée du Groupe de Travail Modélisation, Analyse et Simulation, IHP, Paris

With Camille Pouchol : Méthodes de séparation pour l’atteignabilité de systèmes de contrôle linéaires sous contraintes.

28/10/2024 Congrès des Jeunes Chercheurs en Mathématiques Appliquées, ENS Lyon

Computer-assisted proofs of non-reachability for linear parabolic control systems slides.

31/05/2024 Congrès National d’Analyse Numérique, Ile de Ré. Mini-symposium Contrôle constructif : méthodes et applications : Preuves assistées par ordinateur de non-atteignabilité pour des systèmes linéaires de contrôle en dimension finie slides.

17/05/2024 Séminaire des Doctorants, MAP5

Preuves assistées par ordinateur de non-atteignabilité pour des systèmes linéaires de contrôle en dimension finie slides.

17/11/2023 Groupe de Travail Modélisation, Analyse et Simulation, MAP5

Computer-assisted methods for rigorous description of reachable sets in constrained linear control problems slides.

25/09/2023 Congrès des Jeunes Chercheurs en Mathématiques Appliquées, Centrale-Supélec, Gif-Sur-Yvette

Rigorous approximations of reachable sets poster.

19/06/2023 Workshop de l’ANR TRECOS, Rennes

Méthodes assistées par ordinateur pour la description rigoureuse d’ensembles atteignables de problèmes linéaires contraints slides.

21/04/2023 Semaine d’Etudes Mathématiques et Entreprises, AMIES, Lille,

With Nicolas BEUVIN, Chabane MEZIANE et Etienne PEILLON : Correspondance between air and water leaks for DELABIE slides, rapport.

18/11/2022 Séminaire des Doctorants, MAP5

Convex analysis methods for finite-dimensional controllability under constraints slides.