Communication Dans Un Congrès Année : 2026

Risk-Averse Control for Continuous-Time Stochastic System Under Signal Temporal Logic Constraints

Résumé

Signal Temporal Logic (STL) has become a powerful formalism for specifying complex temporal-spatial behaviors in autonomous systems. Handling STL constraints within stochastic setting has received increasing research interest but still poses challenges. This paper proposes a general framework to efficiently solve continuous-time nonlinear stochastic optimal control problems under chance STL constraints. The STL formulae are implemented through extended dynamics, yielding a more classical chance constraint on the terminal state uniquely that we reliably relax via Conditional Value-at-Risk. The resulting new optimal control problem is then solved using established algorithms from risk--averse control. The efficiency and feasibility of the proposed approach are demonstrated through numerical simulations.

Fichier principal
Vignette du fichier
ECC_2026_final.pdf (1.49 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05363332 , version 1 (13-11-2025)
hal-05363332 , version 2 (23-04-2026)

Licence

Identifiants

  • HAL Id : hal-05363332 , version 2

Citer

En Lai, Riccardo Bonalli, Antoine Girard, Frédéric Jean. Risk-Averse Control for Continuous-Time Stochastic System Under Signal Temporal Logic Constraints. European Control Conference, Jul 2026, Reykjavik, Iceland. ⟨hal-05363332v2⟩
136 Consultations
152 Téléchargements

Partager

  • More