Abstract:This paper presents a novel deep learning framework for robotic path planning that seamlessly integrates Linear Temporal Logic (LTL) with trajectory optimization to meet mission specifications efficiently. Our approach innovates on several fronts: First, by training a neural network end-to-end to generate control sequences that are not only cost-effective but also fully compliant with LTL-defined mission objectives. This negates the need for generating traditional automatons, as our network is capable of directly interpreting LTL formulas to guide path planning. Key to our framework is the use of a Conditional Variational Autoencoder (CVAE), which is adept at identifying the optimal distribution of trajectories. This enables the extraction of practical control sequences through a process of sampling latent variables and inferring control outputs, thus addressing the critical challenge of trajectory optimization under uncertainty. Moreover, our model incorporates transformer networks to refine these trajectory distributions into nearly optimal control sequences, further enhanced by a Gaussian Mixture Model (GMM) to manage uncertainty and fine-tune adjustments effectively. Empirical validation through comparative simulations showcases the superior performance of our model. It achieves significant advancements in trajectory optimality and mission success rates over existing deep learning-based path planning strategies. This work underscores the potential of integrating LTL in deep learning models for robotic path planning, marking a significant leap forward in the domain.

Path Planning and Funnel Control for Wheeled Mobile Robot Based on Signal Temporal Logic

Multiple tasks control of nonlinear systems under signal temporal logic and its application to mobile robots

Synthesis of output feedback control for motion planning based on LTL specifications

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications

Walking-by-Logic: Signal Temporal Logic-Guided Model Predictive Control for Bipedal Locomotion Resilient to External Perturbations

Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications

A Formal Control Framework of Autonomous Vehicle for Signal Temporal Logic Tasks and Obstacle Avoidance

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks

Signal Temporal Logic-Guided Model Predictive Control for Robust Bipedal Locomotion Resilient to Runtime External Perturbations

Two Time-Scale Tracking Control of Nonholonomic Wheeled Mobile Robots.

Signal Temporal Logic Planning with Time-Varying Robustness

Design Of Motion Planning System For Dual-Arm Robot With Gantry Based On Temporal Logic Specifications And Predictive Control

Physics-based Motion Planning with Temporal Logic Specifications

Sampling-based path planning under temporal logic constraints with real-time adaptation

Temporal Logic Task and Motion Planning of a Smart Robot-Towards a Smart Substation Environment.

Distributed Communication-aware Motion Planning for Networked Mobile Robots under Formal Specifications

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow

Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications.

Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications

Resilient Temporal Logic Planning in the Presence of Robot Failures

End-to-End Path Planning Under Linear Temporal Logic Specifications