{"id":"arxiv/2611.04325","url":"https://arxiv.org/abs/2611.04325","tags":["eess.SY","cs.RO","math.OC"],"score":0,"title":"Computing Invariant Reachable Sets through Sum-of-Squares Programming","domain":"eess.SY","source":"arxiv","authors":["Mohamed Khalid M Jaffar"],"reviews":0,"subject":"eess.SY","summary":"Funnels, time-varying invariant sets around nominal trajectories, certify that a closed-loop system tracks its plan, and can be composed into verified motion plans. Their computation by sum-of-squares (SOS) programming is well established in formulation but not in practice: the result depends on implementation choices such as the initial guess, Lyapunov function normalization, and termination rule, which the literature documents only briefly. This paper presents a self-contained treatment of SOS-based funnel computation, implemented in the open-source package computeSOSFunnels. We propose a…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-11-03","reactions":{}}