1. Receding Horizon Control-Based Motion Planning With Partially Infeasible LTL Constraints
- Author
-
Hongbo Gao, Mingyu Cai, Zhijun Li, Zhen Kan, and Hao Peng
- Subjects
0209 industrial biotechnology ,Mathematical optimization ,Control and Optimization ,Horizon (archaeology) ,Computer science ,Control (management) ,Autonomous agent ,02 engineering and technology ,Automaton ,020901 industrial engineering & automation ,Linear temporal logic ,Control and Systems Engineering ,0202 electrical engineering, electronic engineering, information engineering ,Task analysis ,Trajectory ,020201 artificial intelligence & image processing ,Motion planning - Abstract
This letter considers online optimal motion planning of an autonomous agent subject to linear temporal logic (LTL) constraints. Since user-specified tasks may not be fully realized (i.e., partially infeasible) in a complex environment, this letter considers hard and soft LTL constraints, where hard constraints enforce safety requirements (e.g., avoid obstacles) while soft constraints represent tasks that can be relaxed to not strictly follow user specifications. The motion planning of the agent is to generate trajectories, in decreasing order of priority, to 1) guarantee the satisfaction of safety constraints; 2) mostly fulfill soft constraints (i.e., minimize the violation cost if desired tasks are partially infeasible); 3) locally optimize rewards collection over a finite horizon. To achieve these objectives, receding horizon control is synthesized with an LTL formula to maximize the accumulated utilities over a finite horizon, while ensuring that safety constraints are fully satisfied and soft constraints are mostly satisfied. Simulation and experiment results are provided to demonstrate the effectiveness of the developed motion strategy.
- Published
- 2021