On the timed temporal logic planning of coupled multi-agent systems

被引：32

作者：

Nikou, Alexandros ^{[1
]}

Boskos, Dimitris

Tumova, Jana

Dimarogonas, Dimos V.

机构：

[1] KTH Royal Inst Technol, KTH Ctr Autonomous Syst, SE-10044 Stockholm, Sweden

来源：

AUTOMATICA | 2018年 / 97卷

基金：

欧盟地平线“2020”; 瑞典研究理事会;

关键词：

Multi-agent systems; Cooperative control; Hybrid systems; Formal verification; Timed logics; Abstractions; Discrete event systems;

D O I：

10.1016/j.automatica.2018.08.023

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper presents a fully automated procedure for controller synthesis for multi-agent systems under coupling constraints. Each agent is modeled with dynamics consisting of two terms: the first one models the coupling constraints and the other one is an additional bounded control input. We aim to design these inputs so that each agent meets an individual high-level specification given as a Metric Interval Temporal Logic (MITL). First, a decentralized abstraction that provides a space and time discretization of the multi agent system is designed. Second, by utilizing this abstraction and techniques from formal verification, we propose an algorithm that computes the individual runs which provably satisfy the high-level tasks. The overall approach is demonstrated in a simulation example conducted in MATLAB environment. (C) 2018 Elsevier Ltd. All rights reserved.

引用

页码：339 / 345

页数：7

共 50 条

[31] Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions [J].

Paolo Torroni .

Annals of Mathematics and Artificial Intelligence, 2004, 42 :293-305

[32] Computational logic in multi-agent systems: Recent advances and future directions [J].

Torroni, P .

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2004, 42 (1-3) :293-305

[33] Verification of multi-agent systems with public actions against strategy logic [J].

Belardinelli, Francesco ;

Lomuscio, Alessio ;

Murano, Aniello ;

Rubin, Sasha .

ARTIFICIAL INTELLIGENCE, 2020, 285

[34] A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems [J].

Wu, Lijun ;

Su, Jinshu ;

Su, Kaile ;

Luo, Xiangyu ;

Yang, Zhihua .

KNOWLEDGE-BASED SYSTEMS, 2010, 23 (02) :162-168

[35] Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks [J].

Lindemann, Lars ;

Nowak, Jakub ;

Schonbachler, Lukas ;

Guo, Meng ;

Tumova, Jana ;

Dimarogonas, Dimos, V .

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2021, 29 (02) :858-865

[36] μ-SATPLAN: Multi-agent planning as satisfiability [J].

Dimopoulos, Yannis ;

Hashmi, Muhammad Adnan ;

Moraitis, Pavlos .

KNOWLEDGE-BASED SYSTEMS, 2012, 29 :54-62

[37] Handling temporal constraints in interaction protocols for intelligent multi-agent systems [J].

Qasim, Awais ;

Iqbal, Sobia ;

Aziz, Zeeshan ;

Kazmi, Syed Asad Raza ;

Munawar, Adeel ;

Gilani, Basit Ali ;

Qasim, Neelam .

INTERNATIONAL JOURNAL ON SMART SENSING AND INTELLIGENT SYSTEMS, 2020, 13 (01) :1-15

[38] Checking Multi-Agent Systems against Temporal-Epistemic Specifications [J].

Chen, Ran ;

Zhang, Wenhui .

2019 24TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2019), 2019, :21-30

[39] Bounded consensus in multi-agent systems of asymmetrically coupled nonidentical agents [J].

Wang, Lei ;

Yan, Song-lin ;

Wang, Qing-Guo .

2013 10TH IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), 2013, :1172-1177

[40] Heterogeneous Coverage Path Planning For Multi-Agent Systems With ACO and GA [J].

Bahabadi, Mohammad Hasan Jalili ;

Mandavi, Amir ;

Khankalantary, Saeed .

2024 32ND INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING, ICEE 2024, 2024, :1137-1142

← 1 2 3 4 5 →