{"id":"arxiv/2601.03906","url":"https://arxiv.org/abs/2601.03906","tags":["eess.SY","math.OC"],"score":0,"title":"Exact Continuous Reformulations of Logic Constraints in Nonlinear Optimization and Optimal Control Problems","domain":"eess.SY","source":"arxiv","authors":["Jad Wehbeh","Eric C. Kerrigan"],"reviews":0,"subject":"eess.SY","summary":"Many nonlinear optimal control and optimization problems involve constraints that combine continuous dynamics with discrete logic conditions. Standard approaches typically rely on mixed-integer programming, which introduces scalability challenges and requires specialized solvers. This paper presents an exact reformulation of broad classes of logical constraints as binary-variable-free expressions whose differentiability properties coincide with those of the underlying predicates, enabling their direct integration into nonlinear programming models. Our approach rewrites arbitrary logical…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-01-07","reactions":{}}