{"id":"arxiv/2601.17155","url":"https://arxiv.org/abs/2601.17155","tags":["eess.SY","math.OC"],"score":0,"title":"Set-Based Reachability for Low-Thrust Spacecraft in Two-Body and Cislunar Dynamical Systems","domain":"eess.SY","source":"arxiv","authors":["Jinaykumar Patel","Kamesh Subbarao"],"reviews":0,"subject":"eess.SY","summary":"This paper investigates the application of zonotope-based reachability analysis to low-thrust spacecraft in both two-body and cislunar environments. Reachable sets are generated under two-body and circular restricted three-body (CR3BP) dynamics using set-based methods that approximate nonlinear systems via Taylor expansions. A state-dependent coefficient (SDC) parameterization is also explored to represent nonlinear dynamics in a pseudo-linear form, enabling efficient matrix based propagation of reachable sets. Applications include Earth-Mars transfer and cislunar scenarios such as L1 and L2…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-01-23","reactions":{}}