Abstract
A motion planning methodology based on the combination of Control Barrier Functions (CBF) and Signal Temporal Logic (STL) is employed in this paper. This methodology allows task completion at any point within a specified time interval, considering a dynamic system subject to velocity constraints. In this work, we apply this approach into the context of Socially Responsible Navigation (SRN), introducing a rotation constraint. This constraint is designed to maintain the user within the robot’s field of view (FOV), enhancing human-robot interaction with the concept of side-by-side human-robot companion. This angular constraint offers the possibility to customize social navigation to specific needs, thereby enabling safe SRN. Its validation is carried out through simulations demonstrating the system’s effectiveness in adhering to spatio-temporal constraints, including those related to robot velocity, rotation, and the presence of static and dynamic obstacles.
This work was supported by Horizon Europe program under the Grant Agreement 101070351 (SERMAS).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
References
Singamaneni, P.T., Favier, A., Alami, R.: Human-aware navigation planner for diverse human-robot interaction contexts. In: International Conference on Intelligent Robots and Systems (IROS) (2021)
Song, K., et al.: Navigation control design of a mobile robot by integrating obstacle avoidance and lidar slam. In: IEEE International Conference on Systems, Man and Cybernetics (SMC) (2018)
Silva, S., Verdezoto, N., Paillacho, D., Millan-Norman, S., Hernández, J.D.: Online social robot navigation in indoor, large and crowded environments. In: International Conference on Robotics and Automation (ICRA) (2023)
Triebel, R., et al.: SPENCER: a socially aware service robot for passenger guidance and help in busy airports. In: Field and Service Robotics: Results of the 10th International Conference. Springer (2016)
Stricker, R., et al.: Interactive mobile robots guiding visitors in a university building. In: IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN) (2012)
Repiso, E., Ferrer, G., Sanfeliu, A.: On-line adaptive side-by-side human robot companion in dynamic urban environments. In: International Conference on Intelligent Robots and Systems (IROS) (2017)
Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: International Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems. Springer (2004)
Ruo, A., Sabattini, L., Villani, V.: CBF-based motion planning for socially responsible robot navigation guaranteeing STL specification. In: 2024 European Control Conference (ECC), pp. 122–127 (2024). https://doi.org/10.23919/ECC64448.2024.10591282
Lindemann, L., Dimarogonas, D.V.: Barrier function based collaborative control of multiple robots under signal temporal logic tasks. IEEE Trans. Control Netw. Syst. (2020)
Bertoncelli, F., Radhakrishnan, V., Catellani, M., Loianno, G., Sabattini, L.: Directed graph topology preservation in multi-robot systems with limited field of view using control barrier function. Submitted to IEEE Access (2023)
Liu, Y., Zhu, J.J., Williams, R.L., II., Wu, J.: Omni-directional mobile robot controller based on trajectory linearization. Robot. Auton. Syst. (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Ruo, A., Sabattini, L., Villani, V. (2024). CBF-Based STL Motion Planning for Social Navigation in Crowded Environment. In: Secchi, C., Marconi, L. (eds) European Robotics Forum 2024. ERF 2024. Springer Proceedings in Advanced Robotics, vol 33. Springer, Cham. https://doi.org/10.1007/978-3-031-76428-8_23
Download citation
DOI: https://doi.org/10.1007/978-3-031-76428-8_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-76427-1
Online ISBN: 978-3-031-76428-8
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)