Distributed safe planning for satisfying minimal temporal relaxations of TWTL specifications

被引：6

作者：

Peterson, Ryan ^{[1
]}

Buyukkocak, Ali Tevfik ^{[1
]}

Aksaray, Derya ^{[1
]}

Yazicioglu, Yasin ^{[2
]}

机构：

[1] Univ Minnesota, Dept Aerosp Engn & Mech, Minneapolis, MN 55455 USA

[2] Univ Minnesota, Dept Elect & Comp Engn, Minneapolis, MN 55455 USA

来源：

ROBOTICS AND AUTONOMOUS SYSTEMS | 2021年 / 142卷

关键词：

Multi-agent systems; Distributed planning; Formal methods; Collision avoidance; COLLISION-AVOIDANCE; PERSISTENT SURVEILLANCE; MULTIAGENT SYSTEMS;

D O I：

10.1016/j.robot.2021.103801

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We investigate a multi-agent planning problem, where each agent aims to achieve an individual task while avoiding collisions with other agents. Each agent's task is expressed as a Time-Window Temporal Logic (TWTL) specification defined over a discretized environment. We propose a distributed receding horizon algorithm for online planning of agent trajectories. We show that under mild assumptions on the environment, the resulting trajectories are always safe (collision-free) and lead to the satisfaction of the TWTL specifications or a finite temporal relaxation. Accordingly, each agent is guaranteed to safely achieve its task, possibly with some minimal finite delay. Performance of the proposed algorithm is demonstrated via numerical simulations and experiments with quadrotors. (C) 2021 Elsevier B.V. All rights reserved.

引用

页数：16

共 50 条

[21] Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications
Vasile, Cristian-Ioan
Raman, Vasumathi
Karaman, Sertac
2017 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2017, : 3840 - 3847
[22] Optimal task allocation for distributed co-safe LTL specifications
Hustiu, Ioana
Mahulea, Cristian
Kloetzer, Marius
2021 26TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2021,
[23] Synthesizing Distributed Energy Resources in Microgrids with Temporal Logic Specifications
Zhang, Yichen
Olama, Mohammed
Melin, Alexander
Xue, Yaosuo
Djouadi, Seddik
Tomsovic, Kevin
2018 9TH IEEE INTERNATIONAL SYMPOSIUM ON POWER ELECTRONICS FOR DISTRIBUTED GENERATION SYSTEMS (PEDG), 2018,
[24] Motion planning with temporal-logic specifications: Progress and challenges
Plaku, Erion
Karaman, Sertac
AI COMMUNICATIONS, 2016, 29 (01) : 151 - 162
[25] Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications
Montana, Felipe J.
Liu, Jun
Dodd, Tony J.
CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION (FMICS-AVOCS 2017), 2017, 10471 : 150 - 164
[26] Reactive Task and Motion Planning under Temporal Logic Specifications
Li, Shen
Park, Daehyung
Sung, Yoonchang
Shah, Julie A.
Roy, Nicholas
2021 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2021), 2021, : 12618 - 12624
[27] Physics-based Motion Planning with Temporal Logic Specifications
Muhayyuddin
Akbari, Aliakbar
Rosell, Jan
IFAC PAPERSONLINE, 2017, 50 (01): : 8993 - 8999
[28] Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS
Nguyen, Luan V.
Hoxha, Bardh
Johnson, Taylor T.
Fainekos, Georgios
IFAC PAPERSONLINE, 2018, 51 (16): : 67 - 72
[29] Temporal Relaxation of STL Specifications in Distributed Multi-Agent Systems
Yang, Hongbo
Zou, Yuanyuan
Li, Shaoyuan
2023 IEEE 2ND INDUSTRIAL ELECTRONICS SOCIETY ANNUAL ON-LINE CONFERENCE, ONCON, 2023,
[30] Model Checking Distributed Systems against Temporal-Epistemic Specifications
Griesmayer, Andreas
Lomuscio, Alessio
FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, FMOODS/FORTE 2013, 2013, 7892 : 130 - 145

← 1 2 3 4 5 →