Hierarchical Motion Planning Under Probabilistic Temporal Tasks and Safe-Return Constraints

• 成果类型: Article
• 署名作者: Guo, Meng; Liao, Tianjun; Wang, Junjie; Li, Zhongkui
• 署名单位: Peking University; Peking University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3244884
• 发表日期: 2023
• 页码: 6727-6742
• 关键词: Formal methods; linear temporal logic; Markov decision process (MDP); safety; task and motion planning.

摘要

Safety is crucial for robotic missions within an uncertain environment. Common safety requirements such as collision avoidance are only state-dependent, which can be restrictive for complex missions. In this article, we address a more general formulation as safe-return constraints, which require the existence of a return policy to drive the system back to a set of safe states with high probability. The robot motion is modeled as a Markov decision process with probabilistic labels, which can be highly nonergodic. The robotic task is specified as linear temporal logic formulas over these labels, such as surveillance and transportation. We first provide theoretical guarantees on the reformulation of such safe-return constraints, and a baseline solution based on computing two complete product automata. Furthermore, to tackle the computational complexity, we propose a hierarchical planning algorithm that combines the feature-based symbolic and temporal abstraction with constrained optimization. It synthesizes simultaneously two dependent motion policies: the outbound policy minimizes the overall cost of satisfying the task with a high probability, while the return policy ensures the safe-return constraints. The problem formulation is versatile regarding the robot model, task specifications, and safety constraints. The proposed hierarchical algorithm is more efficient and can solve much larger problems than the baseline solution, with only a slight loss of optimality. Numerical validations include simulations and hardware experiments of a search-and-rescue mission and a planetary exploration mission over various system sizes.