Signal Temporal Logic Task Decomposition via Convex Optimization

by   Maria Charitidou, et al.

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.



page 1

page 2

page 3

page 4


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

In this paper, we define a novel census signal temporal logic (CensusSTL...

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams

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

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

Motivated by the recent interest in cyber-physical and autonomous roboti...

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

The 2019 Multi-Agent Programming Contest introduced a new scenario, Agen...

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

In many autonomy applications, performance of perception algorithms is i...

On the Divergence of Decentralized Non-Convex Optimization

We study a generic class of decentralized algorithms in which N agents j...

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.