Distributed Locally Non-interfering Connectivity via Linear Temporal Logic

09/01/2020
by   Hans Riess, et al.
0

In this paper, we consider networks of static sensors with integrated sensing and communication capabilities. The goal of the sensors is to propagate their collected information to every other agent in the network and possibly a human operator. Such a task requires constant communication among all agents which may result in collisions and congestion in wireless communication. To mitigate this issue, we impose locally non-interfering communication constraints that must be respected by every agent. We show that these constraints along with the requirement of propagating information in the network can be captured by a Linear Temporal Logic (LTL) framework. Existing temporal logic control synthesis algorithms can be used to design correct-by-construction communication schedules that satisfy the considered LTL formula. Nevertheless, such approaches are centralized and scale poorly with the size of the network. We propose a distributed LTL-based algorithm that designs communication schedules that determine which agents should communicate while maximizing network usage. We show that the proposed algorithm is complete and demonstrate its efficiency and scalability through numerical experiments.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

09/14/2021

Scalable Average Consensus with Compressed Communications

We propose a new decentralized average consensus algorithm with compress...
01/24/2020

Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications

We study the synthesis of policies for multi-agent systems to implement ...
06/02/2017

Temporal Task Planning and Intermittent Communication Control of Mobile Robot Networks

In this paper, we develop a decentralized intermittent communication and...
10/05/2016

Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis

In this paper, we define a novel census signal temporal logic (CensusSTL...
07/27/2021

Linear Quadratic Regulator Design for Multi-input Systems with A Distributed Cooperative Strategy

In this paper, a cooperative Linear Quadratic Regulator (LQR) problem is...
02/14/2018

CIRFE: A Distributed Random Fields Estimator

This paper presents a communication efficient distributed algorithm, CIR...
05/28/2020

Task-Based Information Compression for Multi-Agent Communication Problems with Channel Rate Constraints

A collaborative task is assigned to a multiagent system (MAS) in which a...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.