Buchumschlag

Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Han, Shaohang, Verhagen, Joris, Tumova, Jana
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Collaborative Object Transportation in Space via Impact Interactions
von: Verhagen, Joris, et al.
Veröffentlicht: (2025)

Safety-critical Control Under Partial Observability: Reach-Avoid POMDP meets Belief Space Control
von: Vahs, Matti, et al.
Veröffentlicht: (2026)

Robust STL Control Synthesis under Maximal Disturbance Sets
von: Verhagen, Joris, et al.
Veröffentlicht: (2024)

Risk-Aware Robot Control in Dynamic Environments Using Belief Control Barrier Functions
von: Han, Shaohang, et al.
Veröffentlicht: (2025)

Non-smooth Control Barrier Functions for Stochastic Dynamical Systems
von: Vahs, Matti, et al.
Veröffentlicht: (2023)

Risk-aware Control for Robots with Non-Gaussian Belief Spaces
von: Vahs, Matti, et al.
Veröffentlicht: (2023)

CageCoOpt: Enhancing Manipulation Robustness through Caging-Guided Morphology and Policy Co-Optimization
von: Dong, Yifei, et al.
Veröffentlicht: (2024)

Forward Invariance in Trajectory Spaces for Safety-critical Control
von: Vahs, Matti, et al.
Veröffentlicht: (2024)

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

Finding Control Invariant Sets via Lipschitz Constants of Linear Programs
von: Vahs, Matti, et al.
Veröffentlicht: (2024)

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
von: Halder, Patrick, et al.
Veröffentlicht: (2025)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
von: Liu, Ruijia, et al.
Veröffentlicht: (2026)

Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments
von: Taheri, Azizollah, et al.
Veröffentlicht: (2025)

Validation of Space Robotics in Underwater Environments via Disturbance Robustness Equivalency
von: Verhagen, Joris, et al.
Veröffentlicht: (2026)

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
von: Takayama, Yoshinari, et al.
Veröffentlicht: (2023)

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
von: Lin, Xuan, et al.
Veröffentlicht: (2024)

Pedestrian-Aware Motion Planning for Autonomous Driving in Complex Urban Scenarios
von: Moller, Korbinian, et al.
Veröffentlicht: (2025)

Task Coordination and Trajectory Optimization for Multi-Aerial Systems via Signal Temporal Logic: A Wind Turbine Inspection Study
von: Silano, Giuseppe, et al.
Veröffentlicht: (2024)

Learning to Localize Reference Trajectories in Image-Space for Visual Navigation
von: Busch, Finn Lukas, et al.
Veröffentlicht: (2026)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
von: Ma, Liqian, et al.
Veröffentlicht: (2026)

MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications
von: Sewlia, Mayank, et al.
Veröffentlicht: (2023)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
von: Liu, Ruijia, et al.
Veröffentlicht: (2025)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
von: Kapoor, Parv, et al.
Veröffentlicht: (2025)

Agile and Safe Trajectory Planning for Quadruped Navigation with Motion Anisotropy Awareness
von: Zhang, Wentao, et al.
Veröffentlicht: (2024)

Efficient Non-Myopic Layered Bayesian Optimization For Large-Scale Bathymetric Informative Path Planning
von: Kiessling, Alexander, et al.
Veröffentlicht: (2024)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
von: Gautam, Saksham, et al.
Veröffentlicht: (2024)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
von: Kapoor, Parv, et al.
Veröffentlicht: (2024)

Natural Functional Gradients for Smooth Trajectory Optimization
von: Park, Kisang, et al.
Veröffentlicht: (2026)

Wasserstein Distributionally Robust Chance Constrained Trajectory Optimization for Mobile Robots within Uncertain Safe Corridor
von: Xu, Shaohang, et al.
Veröffentlicht: (2023)

Parameter-Robust MPPI for Safe Online Learning of Unknown Parameters
von: Vahs, Matti, et al.
Veröffentlicht: (2026)

Towards Open-Source and Modular Space Systems with ATMOS
von: Roque, Pedro, et al.
Veröffentlicht: (2025)

STL-SVPIO: Signal Temporal Logic guided Stein Variational Path Integral Optimization
von: Zheng, Hongrui, et al.
Veröffentlicht: (2026)

Robust MITL planning under uncertain navigation times
von: Linard, Alexis, et al.
Veröffentlicht: (2024)

Signal Temporal Logic Planning with Time-Varying Robustness
von: Yuan, Yating, et al.
Veröffentlicht: (2024)

Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications
von: Eappen, Joe, et al.
Veröffentlicht: (2025)

BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees
von: Serbinowska, Serena S., et al.
Veröffentlicht: (2022)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
von: Meng, Yue, et al.
Veröffentlicht: (2025)

Optimizing NeRF-based SLAM with Trajectory Smoothness Constraints
von: He, Yicheng, et al.
Veröffentlicht: (2024)

Signal Temporal Logic Compliant Co-design of Planning and Control
von: Juvvi, Manas Sashank, et al.
Veröffentlicht: (2025)

Transitional Grid Maps: Joint Modeling of Static and Dynamic Occupancy
von: Sánchez, José Manuel Gaspar, et al.
Veröffentlicht: (2024)