32 citations · 43 across the 20 of their papers we have counts for
6 papers · 1 filter
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions
Thom Badings, Nils Jansen, Licio Romao +1
Automated synthesis of correct-by-construction controllers for autonomous systems is crucial for their deployment in safety-critical scenarios. Such autonomous systems are naturall…
Abstracting Linear Stochastic Systems via Knowledge Filtering
Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao +3
In this paper, we propose a new model reduction technique for linear stochastic systems that builds upon knowledge filtering and utilizes optimal Kalman filtering techniques. This…
Inner approximations of stochastic programs for data-driven stochastic barrier function design
Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert +2
This paper proposes a new framework to compute finite-horizon safety guarantees for discrete-time piece-wise affine systems with stochastic noise of unknown distributions. The appr…
Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding
Licio Romao, Ashish R. Hota, Alessandro Abate
We present a novel distributionally robust framework for dynamic programming that uses kernel methods to design feedback control policies. Specifically, we leverage kernel mean emb…
Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]
Adrien Banse, Licio Romao, Alessandro Abate +1
We introduce an adaptive refinement procedure for smart, and scalable abstraction of dynamical systems. Our technique relies on partitioning the state space depending on the observ…
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…