Abstract:This paper studies optimal motion planning subject to motion and environment uncertainties. By modeling the system as a probabilistic labeled Markov decision process (PL-MDP), the control objective is to synthesize a finite-memory policy, under which the agent satisfies complex high-level tasks expressed as linear temporal logic (LTL) with desired satisfaction probability. In particular, the cost optimization of the trajectory that satisfies infinite horizon tasks is considered, and the trade-off between reducing the expected mean cost and maximizing the probability of task satisfaction is analyzed. Instead of using traditional Rabin automata, the LTL formulas are converted to limit-deterministic Büchi automata (LDBA) with a reachability acceptance condition and a compact graph structure. The novelty of this work lies in considering the cases where LTL specifications can be potentially infeasible and developing a relaxed product MDP between PL-MDP and LDBA. The relaxed product MDP allows the agent to revise its motion plan whenever the task is not fully feasible and quantify the revised plan's violation measurement. A multi-objective optimization problem is then formulated to jointly consider the probability of task satisfaction, the violation with respect to original task constraints, and the implementation cost of the policy execution. The formulated problem can be solved via coupled linear programs. To the best of our knowledge, this work first bridges the gap between probabilistic planning revision of potential infeasible LTL specifications and optimal control synthesis of both plan prefix and plan suffix of the trajectory over the infinite horizons. Experimental results are provided to demonstrate the effectiveness of the proposed framework.

Optimal Path Planning with Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers

Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks

Planning with Probabilistic Opacity and Transparency: A Computational Model of Opaque/Transparent Observations

Optimal Multi-agent Collision-Free Path Planning with Temporal Logic Constraints

An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis

Perception-Based Temporal Logic Planning in Uncertain Semantic Maps

Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications

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

Temporal Logic Robot Task Planning with Active Acquisition of Information.

Reactive Planner Synthesis Under Temporal Logic Specifications

Temporal Logic Task Planning for Autonomous Systems with Active Acquisition of Information

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

Early-Awareness Collision Avoidance in Optimal Multi-Agent Path Planning With Temporal Logic Specifications

Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints

Automatic Trajectory Synthesis for Real-Time Temporal Logic

Model-based motion planning in POMDPs with temporal logic specifications

Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments

To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications

DT*: Temporal Logic Path Planning in a Dynamic Environment

Physics-based Motion Planning with Temporal Logic Specifications