{"id":"arxiv/2610.17604","url":"https://arxiv.org/abs/2610.17604","tags":["eess.SY","math.OC"],"score":0,"title":"Stability Transfer for Autonomous Systems via Higher-Order Taylor-Truncated Lyapunov Certificates","domain":"eess.SY","source":"arxiv","authors":["Jose D. Hoyos","Zehui Lu","Shaoshuai Mou"],"reviews":0,"subject":"eess.SY","summary":"We develop analytical sufficient conditions for certifying the local asymptotic stability of nonlinear autonomous systems based on Lyapunov functions derived from their finite-order Taylor polynomial approximations. This approach translates the stability analysis problem from the original nonlinear dynamics to a more computationally tractable polynomial domain. The derived conditions allow for the explicit calculation of a guaranteed inner approximation of the region of attraction ($\\mathrm{ROA}$). We show how sum-of-squares (SOS) programming and grid search can be used to systematically…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-10-13","reactions":{}}