Adrien Banse
Postdoctoral researcher at Automatic Control Laboratory, ETH Zurich
My research area is at the intersection of Mathematics and Computer Science. I am mainly interested in safe and robust decision-making in the presence of uncertainty, and more precisely in
- Smart data-driven methods for abstracting dynamical systems, with guarantees
- Analysis and control of adversarial switched linear systems, and their use to analyze optimization algorithms
I am a postdoctoral researcher in the Automatic Control Laboratory at ETH Zurich, under the supervision of Prof. John Lygeros. I completed my Ph.D. at the Mathematical Engineering department of the ICTEAM, at UCLouvain, under the supervision of RaphaΓ«l Jungers (UCLouvain) and Alessandro Abate (University of Oxford). My ErdΕs Number is 4.
News
| Oct 5, 2026 | π Our new pre-print βMemory-Dependent Interval Markov Chain Abstractions of Stochastic Dynamicsβ (M. van Zutphen, AB, D. Herceg, G. Delimpaltadakis, D. Antunes) is now available here |
|---|---|
| Sep 2, 2026 | π¨π I have started my postdoc at the Automatic Control Laboratory, ETH Zurich! |
| Jul 1, 2026 | π I successfully defended my Ph.D. thesis Β« Data-driven memory-dependent abstractions of dynamical systems Β» on June 29! Next stop: Switzerland π¨π β my next challenge will be at ETH ZΓΌrich working with Prof. John Lygeros. |
| Feb 3, 2026 | π Our paper βA path-complete approach for optimal control of switched systemsβ (L. Ninite, AB, G. Berger, R. Jungers; pre-print here) has been accepted for presentation at HSCC/ICCPS26 in May |
| Jul 16, 2025 | π Our paper βAgile Temporal Discretization for Symbolic Optimal Controlβ was accepted for presentation at CDC (pre-print arXiv here) |