Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models
Not on the map. Why?
Abstract (arXiv)
Trajectory optimization is a critical component for enabling safe and reliable autonomous operations in space exploration. As space missions increase in frequency, complexity, and scope, there is a growing need to rapidly formulate mathematically sound trajectory optimization problems that accurately reflect mission objectives and operational constraints. However, translating mission intent into tractable analytical formulations for trajectory optimization requires substantial domain expertise. This paper presents a framework that leverages large language models (LLMs) to translate natural language descriptions of mission requirements and constraints into executable trajectory optimization code and corresponding mathematical formulations. Experiments in spacecraft rendezvous scenarios demonstrate a high success rate in reconditioning a convex trajectory optimization problem from semantic mission requirements. Ultimately, this work highlights the potential of LLMs to bridge high-level intent and formal optimization models, enabling more flexible and efficient trajectory design of spacecraft.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 16 of its 29 references that are in the map. First posted on arXiv 2 Jun 2026.
Builds on
16 of 29 references.
References · 16
- 2021Convex optimizationcited by 2,515
- 2016CVXPY: A Python-Embedded Modeling Language for Convex Optimizationcited by 641
- 2023Foundation Models in Robotics: Applications, Challenges, and the Futurecited by 216
- 2023NL4Opt Competition: Formulating Optimization Problems Based on Their Natural Language Descriptionscited by 135
- 2023Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agentscited by 69
- 2023NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Modelscited by 59
- 2023Transformers for Trajectory Optimization with Application to Spacecraft Rendezvouscited by 16
- 2024Space-LLaVA: a Vision-Language Model Adapted to Extraterrestrial Applicationscited by 14
- 2024Towards Robust Spacecraft Trajectory Optimization via Transformerscited by 10
- 2025Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMscited by 9
- 2021Fast Homotopy for Spacecraft Rendezvous Trajectory Optimization with Discrete Logiccited by 4
- 2024VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specificationscited by 4
4 more
- 2026Autonomous Reasoning for Spacecraft Control: A Large Language Model Framework with Group Relative Policy Optimizationcited by 4
- 2025Language-Conditioned Safe Trajectory Generation for Spacecraft Rendezvouscited by 3
- 2026NC2C: Automated Convexification of Generic Non-Convex Optimization Problemscited by 3
- 2026Canonical Intermediate Representation for LLM-based optimization problem formulation and code generationcited by 2
Built on by
Citing papers per year: 2026: 1.
1 paper.