Back to Search
Start Over
Multi-robot Motion Planning under MITL Specifications based on Time Petri Nets
- Publication Year :
- 2023
-
Abstract
- This paper proposes a high-level path planning strategy under Time Petri net (TPN) formalism for a multiagent system, which is subject to Metric Interval Temporal Logic (MITL) specifications. The work aims to design a scalable model with respect to the number of agents, as the MITL formula requires multiple agents to ensure similar tasks. The obtained model is denoted Composed Time Petri net and it couples two TPN representations assigned to the motion of the agents, respectively to the MITL specification. The planning approach is based on model-checking methods and the results are evaluated on a case study applied in robotics industry.<br />Part of ISBN 9783907144084QC 20230831
Details
- Database :
- OAIster
- Notes :
- Hustiu, Sofia, Dimarogonas, Dimos V., Mahulea, Cristian, Kloetzer, Marius
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1400072677
- Document Type :
- Electronic Resource
- Full Text :
- https://doi.org/10.23919.ECC57647.2023.10178302