We present an efficient approach to plan action sequences for a team of robots from a single finite LTL mission specification. The resulting execution strategy is proven to solve the given mission with minimal team costs, e.g., with shortest execution time. For planning, an established graphbased search method based on the multi-objective shortest path problem is adapted to multi-robot planning and extended to support resource constraints. We further improve planning efficiency significantly for missions which consist of independent parts by using previous results regarding LTL decomposition. The efficiency and practicality of the ROS implementation of our approach is demonstrated in example scenarios. ; QC 20170705


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Multi-Objective Search for Optimal Multi-Robot Planning with Finite LTL Specifications and Resource Constraints


    Beteiligte:

    Erscheinungsdatum :

    2017-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    DDC:    004 / 629



    Pareto-Optimal Transit Route Planning With Multi-Objective Monte-Carlo Tree Search

    Weng, Di / Chen, Ran / Zhang, Jianhui et al. | IEEE | 2021


    Multi-objective Optimisation of Multi-robot Task Allocation with Precedence Constraints

    Panchu K., Padmanabhan / Rajmohan, M. / Sundar, R. et al. | BASE | 2018

    Freier Zugriff

    Underwater Robot Task Planning Using Multi-Objective Meta-Heuristics

    Landa-Torres, I. / Manjarres, D. / Bilbao, S. et al. | BASE | 2017

    Freier Zugriff


    Multi-objective optimal planning for designing relief delivery systems

    Tzeng, Gwo-Hshiung / Cheng, Hsin-Jung / Huang, Tsung Dow | Elsevier | 2006