Showing 2024Show all
2 papers · 1 filter
eess.SY2024
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…
eess.SY2024
Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
Ibon Gracia, Dimitris Boskos, Luca Laurenti +1
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…