32 citations · 76 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
eess.SY2021★ 26 cited
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
Thom S. Badings, Alessandro Abate, Nils Jansen +3
Controllers for autonomous systems that operate in safety-critical settings must account for stochastic disturbances. Such disturbances are often modelled as process noise, and com…
cs.AI2021★ 1 cited
Correct-by-construction reach-avoid control of partially observable linear stochastic systems
Thom Badings, Hasan A. Poonawala, Marielle Stoelinga +1
We study feedback controller synthesis for reach-avoid control of discrete-time, linear time-invariant (LTI) systems with Gaussian process and measurement noise. The problem is to…