Cover Image

Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Uzun, Samet, Elango, Purnanand, Garoche, Pierre-Loic, Acikmese, Behcet
Format:	Preprint
Published:	2024
Subjects:	Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Smooth and Exact Parameterization of Continuous-time Signal Temporal Logic Specifications for Trajectory Optimization
by: Uzun, Samet, et al.
Published: (2026)

Successive Convexification for Nonlinear Model Predictive Control with Continuous-Time Constraint Satisfaction
by: Uzun, Samet, et al.
Published: (2024)

Successive Convexification for Trajectory Optimization with Continuous-Time Constraint Satisfaction
by: Elango, Purnanand, et al.
Published: (2024)

Deferred-Decision Trajectory Optimization
by: Elango, Purnanand, et al.
Published: (2025)

Remarks on "Successive Convexification: A Superlinearly Convergent Algorithm for Non-convex Optimal Control Problems"
by: Luo, Dayou, et al.
Published: (2024)

Joint Synthesis of Trajectory and Controlled Invariant Funnel for Discrete-time Systems with Locally Lipschitz Nonlinearities
by: Kim, Taewan, et al.
Published: (2022)

Optimal Preconditioning for Online Quadratic Cone Programming
by: Kamath, Abhinav G., et al.
Published: (2025)

A Proximal Method for Composite Optimization with Smooth and Convex Components
by: Uzun, Samet, et al.
Published: (2025)

Guided Policy Search using Sequential Convex Programming for Initialization of Trajectory Optimization Algorithms
by: Kim, Taewan, et al.
Published: (2021)

Optimization-based Constrained Funnel Synthesis for Systems with Lipschitz Nonlinearities via Numerical Optimal Control
by: Kim, Taewan, et al.
Published: (2023)

Fast Monte Carlo Analysis for 6-DoF Powered-Descent Guidance via GPU-Accelerated Sequential Convex Programming
by: Chari, Govind M., et al.
Published: (2024)

Decentralized State-Dependent Markov Chain Synthesis with an Application to Swarm Guidance
by: Uzun, Samet, et al.
Published: (2020)

Intrinsic Successive Convexification: Trajectory Optimization on Smooth Manifolds
by: Kraisler, Spencer, et al.
Published: (2025)

Impulsive Relative Motion Control with Continuous-Time Constraint Satisfaction for Cislunar Space Missions
by: Spada, Fabio, et al.
Published: (2025)

Successive Convexification for Passively-Safe Spacecraft Rendezvous on Near Rectilinear Halo Orbit
by: Elango, Purnanand, et al.
Published: (2025)

QOCO: A Quadratic Objective Conic Optimizer with Custom Solver Generation
by: Chari, Govind M, et al.
Published: (2025)

Funnel Synthesis via LMI Copositivity Conditions for Nonlinear Systems
by: Kim, Taewan, et al.
Published: (2024)

QOCO-GPU: A Quadratic Objective Conic Optimizer with GPU Acceleration
by: Chari, Govind M., et al.
Published: (2026)

Expected Time-Optimal Control: a Particle Model Predictive Control-based Approach via Sequential Convex Programming
by: Echigo, Kazuya, et al.
Published: (2024)

Spacecraft Rendezvous Guidance via Factorization-Free Sequential Convex Programming using a First-Order Method
by: Chari, Govind M., et al.
Published: (2024)

A Sequential Operator-Splitting Framework for Exploration of Nonconvex Trajectory Optimization Solution Spaces
by: Ganiban, Justin, et al.
Published: (2025)

Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints
by: Khalife, Elias, et al.
Published: (2025)

GPU-Accelerated Continuous-Time Successive Convexification for Contact-Implicit Legged Locomotion
by: Buckner, Samuel C., et al.
Published: (2026)

Multi-Vehicle Guidance for Formation Flight on Libration Point Orbits
by: Shimane, Yuri, et al.
Published: (2025)

Revisiting Lossless Convexification: Theoretical Guarantees for Discrete-time Optimal Control Problems
by: Luo, Dayou, et al.
Published: (2024)

Continuous-time Constrained Funnel Synthesis for Incrementally Quadratic Nonlinear Systems
by: Kim, Taewan, et al.
Published: (2025)

Discrete lossless convexification for pointing constraints
by: Luo, Dayou, et al.
Published: (2025)

Set-based Optimal, Robust, and Resilient Control with Applications to Autonomous Precision Landing
by: Kamath, Abhinav G., et al.
Published: (2025)

Constraint Preconditioning and Parameter Selection for a First-Order Primal-Dual Method applied to Model Predictive Control
by: Chari, Govind M., et al.
Published: (2024)

Sequential Convex Programming for 6-DoF Powered Descent Guidance with Continuous-Time Compound State-Triggered Constraints
by: Uzun, Samet, et al.
Published: (2025)

Auto-tuned Primal-dual Successive Convexification for Hypersonic Reentry Guidance
by: Mceowen, Skye, et al.
Published: (2024)

Transcription-Induced Failure Modes in 6-DOF Rocket Landing Trajectory Optimization
by: Sharma, Prayag, et al.
Published: (2026)

Onboard Dual Quaternion Guidance for Rocket Landing
by: Kamath, Abhinav G., et al.
Published: (2025)

Optimal Acceleration for Proximal Minimization of the Sum of Convex and Strongly Convex Functions
by: Chari, Govind M., et al.
Published: (2026)

Autonomy in the Real-World: Autonomous Trajectory Planning for Asteroid Reconnaissance via Stochastic Optimization
by: Echigo, Kazuya, et al.
Published: (2024)

Continuous-Time Line-of-Sight Constrained Trajectory Planning for 6-Degree of Freedom Systems
by: Hayner, Christopher R., et al.
Published: (2024)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
by: Kordabad, Arash Bahari, et al.
Published: (2024)

Six-Degree-of-Freedom Aircraft Landing Trajectory Planning with Runway Alignment
by: Kim, Taewan, et al.
Published: (2024)

Maximally Resilient Controllers under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2025)

Newton-PIPG: A Fast Hybrid Algorithm for Quadratic Programs in Optimal Control
by: Luo, Dayou, et al.
Published: (2025)