2024/09/17 by Cibulka, Vít, Korda, Milan, Haniš, Tomáš
#Dynamical Systems (math.DS) #FOS: Mathematics #Optimization and Control (math.OC)
paper · doi:10.48550/arxiv.2409.11196
This paper presents a method for calculating the Region of Attraction (ROA) of nonlinear dynamical systems, both with and without control. The ROA is determined by solving a hierarchy of semidefinite programs (SDPs) defined on a splitting of the time and state space. Previous works demonstrated that this splitting could significantly enhance approximation accuracy, although the improvement was highly dependent on the ad-hoc selection of split locations. In this work, we eliminate the need for this ad-hoc selection by introducing an optimization-based method that performs the splits through conic differentiation of the underlying semidefinite programming problem. We provide the differentiability conditions for the split ROA problem, prove the absence of a duality gap, and demonstrate the effectiveness of our method through numerical examples.