Sequential control barrier functions for mobile robots with dynamic temporal logic specifications
-
Published:2024-06
Issue:
Volume:176
Page:104681
-
ISSN:0921-8890
-
Container-title:Robotics and Autonomous Systems
-
language:en
-
Short-container-title:Robotics and Autonomous Systems
Author:
Buyukkocak Ali TevfikORCID,
Aksaray Derya,
Yazıcıoğlu YasinORCID
Reference41 articles.
1. Principles of Model Checking;Baier,2008
2. The temporal logic of programs;Pnueli,1977
3. Temporal-logic-based reactive mission and motion planning;Kress-Gazit;IEEE Trans. Robotics,2009
4. S. Karaman, R. Sanfelice, E. Frazzoli, Optimal control of mixed logical dynamical systems with linear temporal logic specifications, in: Conf. Decis. Control, 2008, pp. 2117–2122.
5. Scalable and robust algorithms for task-based coordination from high-level specifications (scratches);Leahy;IEEE Trans. Robot.,2021