4 citations · 11 across the 14 of their papers we have counts for
3 papers · 1 filter
Memory-Dependent Interval Markov Chain Abstractions of Stochastic Dynamics
Menno van Zutphen, Adrien Banse, Domagoj Herceg +2
Finite-state interval Markov-chain (IMC) abstractions provide sound verification and performance bounds for continuous-state stochastic systems by enclosing cell-to-cell transition…
Robust Optimal Control of Arbitrarily Switched Systems: A Path-Complete Framework
Léa Ninite, Adrien Banse, Guillaume O. Berger +1
This paper addresses the robust control of switched systems under arbitrary switching with performance guarantees. We propose a framework that jointly synthesizes a feedback policy…
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…