Communication Policies in Heterogeneous Multi-Agent Systems in Partially Known Environments under Temporal Logic Specifications. Issue 2 (2020)

• Record Type: Journal Article
• Authors: Keroglou, Christoforos; Dimarogonas, Dimos V.
• Is Part Of: IFAC-PapersOnLine. Volume 53:Issue 2(2020)
• Page Start: 2081
• Page End: 2086
• Publication Date: 2020
• Subjects: Formal Methods -- Multi-agent Systems -- Temporal Logic -- Distributed Contol -- Discrete Event Systems; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2020.12.2526
• Languages: English
• ISSNs: 2405-8963

Abstract

Abstract: In this paper, we explore communication protocols between two or more agents in an initially partially known environment. We assume two types of agents (A and B), where an agent of Type A constitutes an information source (e.g., a mobile sensor) with its own local objective expressed in temporal logic, and an agent of Type B constitutes an agent that accomplishes its own mission (e.g., search and rescue mission) also expressed in temporal logic. An agent of Type B requests information from an agent of Type A to update its knowledge about the environment. In this work, we develop an algorithm that is able to verify if a communication protocol exists, for any possible initial plan executed by an agent of Type B .