Samet Uzun

collaborators

4 papers

math.OC2026

Successive Convexification for Trajectory Optimization with Continuous-time Satisfaction of Signal Temporal Logic Specifications

Samet Uzun, BehÃ§et AÃ§Ä±kmeÅe

This paper presents a successive convexification framework for trajectory optimization under continuous-time Signal Temporal Logic (CT-STL) specifications. The framework employs ge…

math.OC2026

Smooth and Exact Parameterization of Continuous-time Signal Temporal Logic Specifications for Trajectory Optimization

Samet Uzun, BehÃ§et AÃ§Ä±kmeÅe

This paper presents a smooth parameterization of continuous-time Signal Temporal Logic (CT-STL) specifications for nonconvex trajectory optimization that is sound and complete up t…

math.OC2025

A Proximal Method for Composite Optimization with Smooth and Convex Components

Samet Uzun, Dayou Luo, BehÃ§et AÃ§Ä±kmeÅe +1

We introduce prox-convex for minimizing $F (x) = g (x) + h (C (x)) + s (R (x))$ , where $g$ and $h$ are convex, $C$ and $s$ are smooth, and each component of $R$ is convex (possibly nonsmooth).…

eess.SY2025

Sequential Convex Programming for 6-DoF Powered Descent Guidance with Continuous-Time Compound State-Triggered Constraints

Samet Uzun, Behcet Acikmese, John M. Carson

This paper presents a sequential convex programming (SCP) framework for ensuring the continuous-time satisfaction of compound state-triggered constraints, a subset of logical speci…