CBF-Based Motion Planning for Socially Responsible Robot Navigation Guaranteeing STL Specification (2404.00356v1)
Abstract: In the field of control engineering, the connection between Signal Temporal Logic (STL) and time-varying Control Barrier Functions (CBF) has attracted considerable attention. CBFs have demonstrated notable success in ensuring the safety of critical applications by imposing constraints on system states, while STL allows for precisely specifying spatio-temporal constraints on the behavior of robotic systems. Leveraging these methodologies, this paper addresses the safety-critical navigation problem, in Socially Responsible Navigation (SRN) context, presenting a CBF-based STL motion planning methodology. This methodology enables task completion at any time within a specified time interval considering a dynamic system subject to velocity constraints. The proposed approach involves real-time computation of a smooth CBF, with the computation of a dynamically adjusted parameter based on the available path space and the maximum allowable velocity. A simulation study is conducted to validate the methodology, ensuring safety in the presence of static and dynamic obstacles and demonstrating its compliance with spatio-temporal constraints under non-linear velocity constraints.
- Navigation control design of a mobile robot by integrating obstacle avoidance and lidar slam. In Int. Conf. on Syst., Man, and Cybern. IEEE, 2018.
- Online social robot navigation in indoor, large and crowded environments. In Int. Conf. on Robot. and Autom. IEEE, 2023.
- O. Maler and D. Nickovic. Monitoring temporal properties of continuous signals. In Int. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Syst. Springer, 2004.
- A. Wiltz and D. V Dimarogonas. Handling disjunctions in signal temporal logic based control through nonsmooth barrier functions. In Conf. on Decision and Control. IEEE, 2022.
- Symbolic planning and control of robot motion [grand challenges of robotics]. Robot. & Autom. Magazine, 2007.
- L. Lindemann and D. V. Dimarogonas. Efficient automata-based planning and control under spatio-temporal logic specifications. In Am. Control Conf., 2020.
- Control barrier function for linearizable system with high relative degrees from signal temporal logics: A reference governor approach. arXiv preprint arXiv:2309.08813, 2023.
- P. Wieland and F. Allgöwer. Constructive safety using control barrier functions. IFAC Proceedings Volumes, 2007.
- Q. Nguyen and K. Sreenath. Exponential control barrier functions for enforcing high relative-degree safety-critical constraints. In Am. Control Conf. IEEE, 2016.
- A. Zehfroosh and H. G Tanner. Non-smooth control barrier navigation functions for stl motion planning. Frontiers in Robot. and AI, 2022.
- Continuous-time signal temporal logic planning with control barrier functions. In Am. Control Conf. IEEE, 2020.
- L. Lindemann and D. V Dimarogonas. Control barrier functions for signal temporal logic tasks. Control Syst. letters, 2018.
- L. Lindemann and D. V Dimarogonas. Control barrier functions for multi-agent systems under conflicting local signal temporal logic tasks. Control Syst. letters, 2019.
- L. Lindemann and D. V Dimarogonas. Decentralized control barrier functions for coupled multi-agent systems under signal temporal logic tasks. In Eur. Control Conf. IEEE, 2019.
- L. Lindemann and D. V Dimarogonas. Barrier function based collaborative control of multiple robots under signal temporal logic tasks. Transactions on Control of Netw. Syst., 2020.
- Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. Lectures on Runtime Verification: Introductory and Advanced Topics, 2018.
- Safety and efficiency in robotics: the control barrier functions approach. Robot. & Autom. Magazine, 2022.