This paper introduces a partial satisfaction (PS) notion for Signal Temporal Logic (STL), finding solutions for specifications that might contain unfeasible or conflicting subformulae. We formulate the planning problem for teams of agents with robust PS of STL missions as a bi-level optimization problem. The goal is to maximize the number of subformulae satisfied with preference to larger ones that have lower depth in the syntax tree of the overall specification. The second objective is to maximize the smallest STL robustness of the feasible subformulae. First, we propose three Mixed Integer Linear Programming (MILP) methods to solve the inner level of the optimization problem, two exact and a relaxation. Then, the MILP solutions are used to find approximate solutions to the outer level optimization using a linear program. Finally, we show the performance of our methods in two multi-robot case studies: motion planning in continuous spaces, and routing for heterogeneous teams over finite graph abstractions.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-robot Systems


    Weitere Titelangaben:

    Springer Proceedings in Advanced Robotics


    Beteiligte:
    LaValle, Steven M. (Herausgeber:in) / O’Kane, Jason M. (Herausgeber:in) / Otte, Michael (Herausgeber:in) / Sadigh, Dorsa (Herausgeber:in) / Tokekar, Pratap (Herausgeber:in) / Cardona, Gustavo A. (Autor:in) / Vasile, Cristian-Ioan (Autor:in)

    Kongress:

    International Workshop on the Algorithmic Foundations of Robotics ; 2022 ; , MD, USA June 22, 2022 - June 24, 2022



    Erscheinungsdatum :

    15.12.2022


    Format / Umfang :

    16 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    Power Line Inspection Tasks with Multi-Aerial Robot Systems Via Signal Temporal Logic Specifications

    Silano G. / Baca T. / Penicka R. et al. | BASE | 2021

    Freier Zugriff

    Satellite Mission Planning with Signal Temporal Logic Specifications

    Pantazides, Athanasios / Aksaray, Derya / Gebre-Egziabher, Demoz | TIBKAT | 2022


    Satellite Mission Planning with Signal Temporal Logic Specifications

    Pantazides, Athanasios / Aksaray, Derya / Gebre-egziabher, Demoz | AIAA | 2022


    DISTRIBUTED PLANNING OF MULTI-AGENT SYSTEMS WITH COUPLED TEMPORAL LOGIC SPECIFICATIONS

    Büyükkoçak, Ali Tevfik / Aksaray, Derya / Yazicioglu, Yasin | TIBKAT | 2021