59 citations · 291 across the 45 of their papers we have counts for
7 papers · 1 filter
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions
Thom Badings, Licio Romao, Alessandro Abate +4
Controllers for dynamical systems that operate in safety-critical settings must account for stochastic disturbances. Such disturbances are often modeled as process noise in a dynam…
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
Luke Rickard, Thom Badings, Licio Romao +1
Automated synthesis of provably correct controllers for cyber-physical systems is crucial for deployment in safety-critical scenarios. However, hybrid features and stochastic or un…
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
Thom Badings, Licio Romao, Alessandro Abate +1
Capturing uncertainty in models of complex dynamical systems is crucial to designing safe controllers. Stochastic noise causes aleatoric uncertainty, whereas imprecise knowledge of…
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…
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids
Thom S. Badings, Arnd Hartmanns, Nils Jansen +1
We study a smart grid with wind power and battery storage. Traditionally, day-ahead planning aims to balance demand and wind power, yet actual wind conditions often deviate from fo…
Control Theory Meets POMDPs: A Hybrid Systems Approach
Mohamadreza Ahmadi, Nils Jansen, Bo Wu +1
Partially observable Markov decision processes (POMDPs) provide a modeling framework for a variety of sequential decision making under uncertainty scenarios in artificial intellige…