Model-based predictive controllers are frequently employed in Airborne Wind Energy (AWE) systems to follow reference flight paths. In this paper we compute the region of attraction (ROA) of path-stabilizing feedback gains around a closed trajectory as typically flown by a power generating kite. The feedback gains are obtained from applying a time-varying periodic Linear Quadratic Regulator to the system expressed in transversal coordinates. To compute the ROA we formulate Lyapunov stability conditions which we verify by employing semidefinite relaxations of the Positivstellensatz. This results in an optimization problem for which we compare various definitions of the cost function representing the size of the ROA. In a numeric case study we demonstrate that the maximization of an expanding ellipse inside of a quartic Lyapunov functions leads to significantly larger verified ROAs compare to the standard approach of optimizing over the scaling of the sublevel set of a quadratic Lyapunov function.

No abstract

No abstract

No abstract