8 papers · 1 filter
Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck +2
We study the automated abstraction-based synthesis of correct-by-construction control policies for stochastic dynamical systems with unknown dynamics. Our approach is to learn an a…
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
Mahdi Nazeri, Thom Badings, Sadegh Soudjani +1
The automated synthesis of control policies for stochastic dynamical systems presents significant challenges. A standard approach is to construct a finite-state abstraction of the…
Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
Thom Badings, Alessandro Abate
A classical approach to formal policy synthesis in stochastic dynamical systems is to construct a finite-state abstraction, often represented as a Markov decision process (MDP). Th…
Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
Ibon Gracia, Luca Laurenti, Manuel Mazo +2
In this paper, we present a novel framework to synthesize robust strategies for discrete-time nonlinear systems with random disturbances that are unknown, against temporal logic sp…
A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert +2
In this paper, we present a novel data-driven approach to quantify safety for non-linear, discrete-time stochastic systems with unknown noise distribution. We define safety as the…
Learning Robust Policies for Uncertain Parametric Markov Decision Processes
Luke Rickard, Alessandro Abate, Kostas Margellos
Synthesising verifiably correct controllers for dynamical systems is crucial for safety-critical problems. To achieve this, it is important to account for uncertainty in a robust m…