Tootfinder

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
Ibon Gracia, Dimitris Boskos, Luca Laurenti, Morteza Lahijanian
https://arxiv.org/abs/2406.09704

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
In this paper, we introduce a data-driven framework for synthesis of provably-correct controllers for general nonlinear switched systems under complex specifications. The focus is on systems with unknown disturbances whose effects on the dynamics of the system is nonlinear. The specifications are assumed to be given as linear temporal logic over finite traces (LTLf) formulas. Starting from observations of either the disturbance or the state of the system, we first learn an ambiguity set that co…