14 citations · 20 across the 10 of their papers we have counts for
3 papers · 1 filter
Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures
Samet Uzun, Purnanand Elango, Pierre-Loic Garoche +1
This paper introduces a generalized mean-based C^1-smooth robustness measure over discrete-time signals (D-GMSR) for signal temporal logic (STL) specifications. In conjunction with…
Successive Convexification for Nonlinear Model Predictive Control with Continuous-Time Constraint Satisfaction
Samet Uzun, Purnanand Elango, Abhinav G. Kamath +2
We propose a nonlinear model predictive control (NMPC) framework based on a direct optimal control method that ensures continuous-time constraint satisfaction and accurate evaluati…
Successive Convexification for Trajectory Optimization with Continuous-Time Constraint Satisfaction
Purnanand Elango, Dayou Luo, Abhinav G. Kamath +3
We present successive convexification, a real-time-capable solution method for nonconvex trajectory optimization, with continuous-time constraint satisfaction and guaranteed conver…