Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation (2304.08772v3)
Abstract: This paper focuses on designing motion plans for a heterogeneous team of robots that has to cooperate in fulfilling a global mission. The robots move in an environment containing some regions of interest, and the specification for the whole team can include avoidances, visits, or sequencing when entering these regions of interest. The specification is expressed in terms of a Petri net corresponding to an automaton, while each robot is also modeled by a state machine Petri net. With respect to existing solutions for related problems, the current work brings the following contributions. First, we propose a novel model, denoted {High-Level robot team Petri Net (HLPN) system, for incorporating the specification and the robot models into the Nets-within-Nets paradigm. A guard function, named Global Enabling Function (gef), is designed to synchronize the firing of transitions such that the robot motions do not violate the specification. Then, the solution is found by simulating the HPLN system in a specific software tool that accommodates Nets-within-Nets. An illustrative example based on a Linear Temporal Logic (LTL) mission is described throughout the paper, complementing the proposed rationale of the framework.
- C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G. Pappas, “Symbolic planning and control of robot motion,” IEEE Robotics and Automation Magazine, vol. 14, no. 1, pp. 61–71, 2007.
- H. Kress-Gazit, G. E. Fainekos, and G. J. Pappas, “Temporal-logic-based reactive mission and motion planning,” IEEE Transactions on Robotics, vol. 25, no. 6, pp. 1370–1381, 2009.
- M. Guo, J. Tumova, and D. Dimarogonas, “Cooperative decentralized multi-agent control under local ltl tasks and connectivity constraints,” in IEEE Conference on Decision and Control, Los Angeles, CA, USA, 2014, pp. 75 – 80.
- L. Lindemann and D. V. Dimarogonas, “Robust motion planning employing signal temporal logic,” in 2017 American Control Conference (ACC). IEEE, 2017, pp. 2950–2955.
- N. Mehdipour, C.-I. Vasile, and C. Belta, “Specifying user preferences using weighted signal temporal logic,” IEEE Control Systems Letters, vol. 5, no. 6, pp. 2006–2011, 2020.
- X. Yu, X. Yin, S. Li, and Z. Li, “Security-preserving multi-agent coordination for complex temporal logic tasks,” Control Engineering Practice, vol. 123, pp. 105–130, 2022.
- C. Mahulea, M. Kloetzer, and J.-J. Lesage, “Multi-robot path planning with boolean specifications and collision avoidance,” IFAC-PapersOnLine, vol. 53, no. 4, pp. 101–108, 2020.
- S. Karaman and E. Frazzoli, “Sampling-based motion planning with deterministic μ𝜇\muitalic_μ-calculus specifications,” in 48h IEEE Conference on Decision and Control (CDC). IEEE, 2009, pp. 2222–2229.
- E. Plaku and S. Karaman, “Motion planning with temporal-logic specifications: Progress and challenges,” AI communications, vol. 29, no. 1, pp. 151–162, 2016.
- R. Valk, “Object petri nets,” in Advanced Course on Petri Nets. Springer, 2003, pp. 819–848.
- L. Cabac, M. Haustermann, and D. Mosteller, “Renew 2.5–towards a comprehensive integrated development environment for petri net-based applications,” in Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings 37. Springer, 2016, pp. 101–112.
- Y. Chen, S. Huang, and R. Fitch, “Active slam for mobile robots with area coverage and obstacle avoidance,” IEEE/ASME Transactions on Mechatronics, vol. 25, no. 3, pp. 1182–1192, 2020.
- A. Elfes, “Using occupancy grids for mobile robot perception and navigation,” Computer, vol. 22, no. 6, pp. 46–57, 1989.
- S. Hustiu, C. Mahulea, M. Kloetzer, and J.-J. Lesage, “On multi-robot path planning based on Petri net models and LTL specifications,” 2022. [Online]. Available: https://arxiv.org/abs/2211.04230
- K. Jensen, “Coloured Petri nets: A high level language for system design and analysis,” in High-level Petri Nets. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991, pp. 44–119.
- P. Wolper, M. Vardi, and A. Sistla, “Reasoning about infinite computation paths,” in Proceedings of the 24th IEEE Symposium on Foundations of Computer Science, E. N. et al., Ed., Tucson, AZ, 1983, pp. 185–194.
- M. P. Cabasino, A. Giua, M. Pocci, and C. Seatzu, “Discrete event diagnosis using labeled Petri nets. an application to manufacturing systems,” Control Engineering Practice, vol. 19, no. 9, pp. 989–1001, 2011.
- O. Kummer, F. Wienberg, M. Duvigneau, M. Köhler, D. Moldt, and H. Rölke, “Renew–the reference net workshop,” in Tool Demonstrations, 21st International Conference on Application and Theory of Petri Nets, Computer Science Department, Aarhus University, Aarhus, Denmark, 2000, pp. 87–89.