Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
157 tokens/sec
GPT-4o
43 tokens/sec
Gemini 2.5 Pro Pro
43 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
47 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints (2403.17704v3)

Published 26 Mar 2024 in eess.SY, cs.MA, and cs.SY

Abstract: In this paper, we investigate the problem of linear temporal logic (LTL) path planning for multi-agent systems, introducing the new concept of \emph{ordering constraints}. Specifically, we consider a generic objective function that is defined for the path of each individual agent. The primary objective is to find a global plan for the team of agents, ensuring they collectively meet the specified LTL requirements. Simultaneously, we aim to maintain a pre-determined order in the values of the objective function for each agent, which we refer to as the ordering constraints. This new requirement stems from scenarios like security-aware planning, where relative orders outweigh absolute values in importance. We present an efficient algorithm to solve this problem, supported by proofs of correctness that demonstrate the optimality of our solution. Additionally, we provide a case study in security-aware path planning to illustrate the practicality and effectiveness of our proposed approach.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (23)
  1. Principles of model checking. MIT press, 2008.
  2. Hyperatl*: A logic for hyperproperties in multi-agent systems. Logical Methods in Computer Science, Volume 19, Issue 2, May 2023.
  3. Multi-agent plan reconfiguration under local ltl specifications. The International Journal of Robotics Research, 34(2):218–235, 2015.
  4. A formal control framework of autonomous vehicle for signal temporal logic tasks and obstacle avoidance. IEEE Transactions on Intelligent Vehicles, 2023.
  5. Reactive temporal logic planning for multiple robots in unknown environments. In 2020 IEEE International Conference on Robotics and Automation (ICRA), pages 11479–11485. IEEE, 2020.
  6. Sampling-based optimal control synthesis for multirobot systems under global temporal tasks. IEEE Transactions on Automatic Control, 64(5):1916–1931, 2018.
  7. Path planning for robotic teams based on LTL specifications and petri net models. Discrete Event Dynamic Systems, 30(1):55–79, 2020.
  8. Synthesis for robots: Guarantees and feedback for robot behavior. Annual Review of Control, Robotics, and Autonomous Systems, 1:211–236, 2018.
  9. Steven M LaValle. Planning algorithms. Cambridge university press, 2006.
  10. Online motion planning with soft metric interval temporal logic in unknown dynamic environment. IEEE Control Systems Letters, 6:2293–2298, 2022.
  11. Nngtl: Neural network guided optimal temporal logic task planning for mobile robots. arXiv preprint arXiv:2309.14050, 2023.
  12. Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks. Automatica, 159:111377, 2024.
  13. Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges. Automatica, 152:110692, 2023.
  14. Security-preserving multi-robot path planning for boolean specification tasks using labeled petri nets. IEEE Control Systems Letters, 2023.
  15. Optimal path planning for surveillance with temporal-logic constraints. The International Journal of Robotics Research, 30(14):1695–1708, 2011.
  16. Two-phase motion planning under signal temporal logic specifications in partially unknown environments. IEEE Transactions on Industrial Electronics, 70(7):7113–7121, 2022.
  17. Reactive sampling-based path planning with temporal logic specifications. The International Journal of Robotics Research, 39(8):1002–1028, 2020.
  18. Toward reliable autonomous robotic assistants through formal verification: A case study. IEEE Transactions on Human-Machine Systems, 46(2):186–196, 2015.
  19. The resource pooling principle. ACM SIGCOMM Computer Communication Review, 38(5):47–52, 2008.
  20. Energy storage controller synthesis for power systems with temporal logic specifications. IEEE Systems Journal, 13(1):748–759, 2017.
  21. Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges. Annual Reviews in Control, page 100940, 2024.
  22. Security-preserving multi-agent coordination for complex temporal logic tasks. Control Engineering Practice, 123:105130, 2022.
  23. To explore or not to explore: Regret-based ltl planning in partially-known environments, 2024.

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now