Signal Temporal Logic Task Decomposition via Convex Optimization

03/10/2021
by   Maria Charitidou, et al.
0

In this paper we focus on the problem of decomposing a global Signal Temporal Logic formula (STL) assigned to a multi-agent system to local STL tasks when the team of agents is a-priori decomposed to disjoint sub-teams. The predicate functions associated to the local tasks are parameterized as hypercubes depending on the states of the agents in a given sub-team. The parameters of the functions are, then, found as part of the solution of a convex program that aims implicitly at maximizing the volume of the zero level-set of the corresponding predicate function. Two alternative definitions of the local STL tasks are proposed and the satisfaction of the global STL formula is proven when the conjunction of the local STL tasks is satisfied.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

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...
09/30/2020

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams

In this work, we focus on decomposing large multi-agent path planning pr...
02/04/2021

Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks

Motivated by the recent interest in cyber-physical and autonomous roboti...
06/04/2020

LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest

The 2019 Multi-Agent Programming Contest introduced a new scenario, Agen...
05/16/2021

Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications

In many autonomy applications, performance of perception algorithms is i...
06/20/2020

On the Divergence of Decentralized Non-Convex Optimization

We study a generic class of decentralized algorithms in which N agents j...
10/08/2021

Polygon Area Decomposition Using a Compactness Metric

In this paper, we consider the problem of partitioning a polygon into a ...
This week in AI

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