Online Motion Planning with Soft Timed Temporal Logic in Dynamic and Unknown Environment

by   Zhiliang Li, et al.

Motion planning of an autonomous system with high-level specifications has wide applications. However, research of formal languages involving timed temporal logic is still under investigation. Furthermore, many existing results rely on a key assumption that user-specified tasks are feasible in the given environment. Challenges arise when the operating environment is dynamic and unknown since the environment can be found prohibitive, leading to potentially conflicting tasks where pre-specified timed missions cannot be fully satisfied. Such issues become even more challenging when considering timed requirements. To address these challenges, this work proposes a control framework that considers hard constraints to enforce safety requirements and soft constraints to enable task relaxation. The metric interval temporal logic (MITL) specifications are employed to deal with time constraints. By constructing a relaxed timed product automaton, an online motion planning strategy is synthesized with a receding horizon controller to generate policies, achieving multiple objectives in decreasing order of priority 1) formally guarantee the satisfaction of hard safety constraints; 2) mostly fulfill soft timed tasks; and 3) collect time-varying rewards as much as possible. Another novelty of the relaxed structure is to consider violations of both time and tasks for infeasible cases. Simulation results are provided to validate the proposed approach.


page 1

page 3

page 7


Receding Horizon Control Based Online Motion Planning with Partially Infeasible LTL Specifications

This work considers online optimal motion planning of an autonomous agen...

Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Buchi Automata

This paper studies the control synthesis of motion planning subject to u...

Control Of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications

In this paper, we propose a framework for the control of mobile robots s...

Automata-based Optimal Planning with Relaxed Specifications

In this paper, we introduce an automata-based framework for planning wit...

Human-in-the-Loop Mixed-Initiative Control under Temporal Tasks

This paper considers the motion control and task planning problem of mob...

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives

In this paper, we consider the problem of synthesizing a controller in t...

Accelerated Labeling of Discrete Abstractions for Autonomous Driving Subject to LTL Specifications

Linear temporal logic and automaton-based run-time verification provide ...

Please sign up or login with your details

Forgot password? Click here to reset