Receding Horizon Control-Based Motion Planning With Partially Infeasible LTL Constraints

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.

[1]  Vojtech Rehák,et al.  LTL to Büchi Automata Translation: Fast and More Deterministic , 2012, TACAS.

[2]  Paul W. H. Chung,et al.  A Heuristic Distributed Task Allocation Method for Multivehicle Multitask Problems and Its Application to Search and Rescue Scenario , 2016, IEEE Transactions on Cybernetics.

[3]  Sriram Sankaranarayanan,et al.  On the revision problem of specification automata , 2012, 2012 IEEE International Conference on Robotics and Automation.

[4]  Zhen Kan,et al.  Reference Trajectory Reshaping Optimization and Control of Robotic Exoskeletons for Human–Robot Co-Manipulation , 2020, IEEE Transactions on Cybernetics.

[5]  Jason M. O'Kane,et al.  What to Do When You Can’t Do It All: Temporal Logic Planning with Soft Temporal Logic Constraints , 2020, 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[6]  Idris Ismail,et al.  Combinatorial Optimization: Comparison of Heuristic Algorithms in Travelling Salesman Problem , 2017, Archives of Computational Methods in Engineering.

[7]  Zhen Kan,et al.  Learning-Based Probabilistic LTL Motion Planning With Environment and Motion Uncertainties , 2021, IEEE Transactions on Automatic Control.

[8]  Stephan Merz,et al.  Model Checking , 2000 .

[9]  Qing-Long Han,et al.  Mobile Robot Networks for Environmental Monitoring: A Cooperative Receding Horizon Temporal Logic Control Approach , 2019, IEEE Transactions on Cybernetics.

[10]  Calin Belta,et al.  A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications , 2008, IEEE Transactions on Automatic Control.

[11]  Hazhar Rahmani,et al.  Optimal temporal logic planning with cascading soft constraints , 2019, 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[12]  Rupak Majumdar,et al.  Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications , 2017, 2017 American Control Conference (ACC).

[13]  Antonio Bicchi,et al.  Symbolic planning and control of robot motion [Grand Challenges of Robotics] , 2007, IEEE Robotics & Automation Magazine.

[14]  Calin Belta,et al.  Control of noisy differential-drive vehicles from time-bounded temporal logic specifications , 2013, 2013 IEEE International Conference on Robotics and Automation.

[15]  Dimos V. Dimarogonas,et al.  Multi-agent plan reconfiguration under local LTL specifications , 2015, Int. J. Robotics Res..

[16]  Chau Ton,et al.  Obstacle avoidance control of a human-in-the-loop mobile robot system using harmonic potential fields , 2017, Robotica.

[17]  Lydia E. Kavraki,et al.  This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction , 2015, AAAI.

[18]  Michael Himmelsbach,et al.  Autonomous Ground Vehicles—Concepts and a Path to the Future , 2012, Proceedings of the IEEE.

[19]  Emilio Frazzoli,et al.  Minimum-violation LTL planning with conflicting specifications , 2013, 2013 American Control Conference.

[20]  Dirk Van Oudheusden,et al.  The orienteering problem: A survey , 2011, Eur. J. Oper. Res..

[21]  Hadas Kress-Gazit,et al.  Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees , 2016, IEEE Transactions on Robotics.

[22]  Nick Hawes,et al.  Probabilistic planning with formal performance guarantees for mobile service robots , 2019, Int. J. Robotics Res..

[23]  Warren E. Dixon,et al.  Switched Tracking Control of the Lower Limb During Asynchronous Neuromuscular Electrical Stimulation: Theory and Experiments , 2017, IEEE Transactions on Cybernetics.

[24]  Alberto L. Sangiovanni-Vincentelli,et al.  Model predictive control with signal temporal logic specifications , 2014, 53rd IEEE Conference on Decision and Control.

[25]  Zhen Kan,et al.  Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction , 2020, 2021 IEEE International Conference on Robotics and Automation (ICRA).

[26]  Paul Gastin,et al.  Fast LTL to Büchi Automata Translation , 2001, CAV.

[27]  Michael M. Zavlanos,et al.  Distributed Intermittent Connectivity Control of Mobile Robot Networks , 2017, IEEE Transactions on Automatic Control.

[28]  Calin Belta,et al.  LTL receding horizon control for finite deterministic systems , 2014, Autom..

[29]  Calin Belta,et al.  Information-guided persistent monitoring under temporal logic constraints , 2015, 2015 American Control Conference (ACC).

[30]  Daniel E. Koditschek,et al.  Exact robot navigation using artificial potential functions , 1992, IEEE Trans. Robotics Autom..

[31]  Dimos V. Dimarogonas,et al.  Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks , 2021, IEEE Transactions on Control Systems Technology.

[32]  Dimos V. Dimarogonas,et al.  Hybrid Control of Multiagent Systems With Contingent Temporal Tasks and Prescribed Formation Constraints , 2017, IEEE Transactions on Control of Network Systems.

[33]  Calin Belta,et al.  Distributed information gathering policies under temporal logic constraints , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[34]  Zhijun Li,et al.  Receding Horizon Control Based Motion Planning with Partially Infeasible LTL Constrains , 2021, 2021 American Control Conference (ACC).

[35]  Ufuk Topcu,et al.  Receding Horizon Temporal Logic Planning , 2012, IEEE Transactions on Automatic Control.

[36]  Dimos V. Dimarogonas,et al.  Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems , 2018, Int. J. Robotics Res..

[37]  Dimos V. Dimarogonas,et al.  A receding horizon approach to multi-agent planning from local LTL specifications , 2014, 2014 American Control Conference.

[38]  Yu Kang,et al.  Biologically Inspired Deadbeat Control of Robotic Leg Prostheses , 2020, IEEE/ASME Transactions on Mechatronics.

[39]  Georgios E. Fainekos,et al.  Approximate solutions for the minimal revision problem of specification automata , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[40]  Calin Belta,et al.  Optimal path planning for surveillance with temporal-logic constraints* , 2011, Int. J. Robotics Res..

[41]  Ufuk Topcu,et al.  Optimization-based trajectory generation with linear temporal logic specifications , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[42]  Christel Baier,et al.  Principles of model checking , 2008 .

[43]  Calin Belta,et al.  Receding horizon temporal logic control in dynamic environments , 2014, Int. J. Robotics Res..

[44]  Emilio Frazzoli,et al.  Incremental sampling-based algorithm for minimum-violation motion planning , 2013, 52nd IEEE Conference on Decision and Control.

[45]  Emilio Frazzoli,et al.  Least-violating control strategy synthesis with safety rules , 2013, HSCC '13.

[46]  Zhen Kan,et al.  Optimal Probabilistic Motion Planning with Partially Infeasible LTL Constraints , 2020, ArXiv.

[47]  Calin Belta,et al.  Reactive sampling-based path planning with temporal logic specifications , 2020, Int. J. Robotics Res..