Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Uzun, Samet, Açıkmeşe, Behçet
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Optimization and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures
di: Uzun, Samet, et al.
Pubblicazione: (2024)

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

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

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

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

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

Deferred-Decision Trajectory Optimization
di: Elango, Purnanand, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Graph-Based Convexification of Nested Signal Temporal Logic Constraints for Trajectory Optimization
di: Claudet, Thomas, et al.
Pubblicazione: (2023)

Model Predictive Online Monitoring of Dynamical Systems for Nested Signal Temporal Logic Specifications
di: Han, Tao, et al.
Pubblicazione: (2025)

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

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

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

A Smooth Locally Exact Penalty Method for Optimization Problems over Generalized Stiefel Manifolds
di: Jiang, Linshuo, et al.
Pubblicazione: (2026)

Revisiting Randomized Smoothing: Nonsmooth Nonconvex Optimization Beyond Global Lipschitz Continuity
di: Xia, Jingfan, et al.
Pubblicazione: (2025)

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

Dual Smoothing for Decentralized Optimization
di: Rogozin, Alexander, et al.
Pubblicazione: (2025)

Flatness-based Quadcopter Trajectory Planning and Tracking with Continuous-time Safety Guarantees
di: Freire, Victor, et al.
Pubblicazione: (2021)