Successive Convexification for Optimal Control with Signal Temporal Logic Specifications - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Successive Convexification for Optimal Control with Signal Temporal Logic Specifications

(1) , (1) , (2) , (3)
1
2
3

Résumé

As the scope and complexity of modern cyber-physical systems increase, newer and more challenging mission requirements will be imposed on the optimal control of the underlying unmanned systems. This paper proposes a solution to handle complex temporal requirements formalized in Signal Temporal Logic (STL) specifications within the Successive Convexification (SCvx) algorithmic framework. This SCvx-STL solution method consists of four steps: 1) Express the STL specifications using their robust semantics as state constraints. 2) Introduce new auxiliary state variables to transform these state constraints as system dynamics, by exploiting the recursively defined structure of robust STL semantics. 3) Smooth the resulting system dynamics with polynomial smooth min-and maxfunctions. 4) Convexify and solve the resulting optimal control problem with the SCvx algorithm, which enjoys guaranteed convergence and polynomial time subproblem solving capability. Our approach retains the expressiveness of encoding mission requirements with STL semantics, while avoiding the usage of combinatorial optimization techniques such as Mixed-integer programming. Numerical results are shown to demonstrate its effectiveness.
Fichier principal
Vignette du fichier
scvx_stl_v1.pdf (648.09 Ko) Télécharger le fichier
Vignette du fichier
SCvx_Traj_Tilt_Thrust.png (61.72 Ko) Télécharger le fichier
Vignette du fichier
STL_robust_measures.png (40.31 Ko) Télécharger le fichier
Vignette du fichier
trajectory-eps-converted-to.pdf (22.52 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03663984 , version 1 (10-05-2022)

Identifiants

Citer

Yuanqi Mao, Behcet Acikmese, Pierre-Loïc Garoche, Alexandre Chapoutot. Successive Convexification for Optimal Control with Signal Temporal Logic Specifications. 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '22), May 2022, Milan, Italy. ⟨10.1145/3501710.3519518⟩. ⟨hal-03663984⟩
38 Consultations
140 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More