10 citations · 10 across the 9 of their papers we have counts for
7 papers · 1 filter
STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets
Nicola De Carli, Gregorio Marchesini, Dimos V. Dimarogonas
We present a unified trajectory planning and control framework for the satisfaction of Signal Temporal Logic (STL) specifications defined over convex predicates. At the planning la…
A Reactive Redistribution Mechanism for STL Tasks in Multi-Agent Systems Under Time-Varying Communication
Gregorio Marchesini, Bjarne Jan Jesse Moro, Siyuan Liu +2
We present a communication-aware task decomposition framework for multi-agent systems with collaborative relative configuration objectives specified in Signal Temporal Logic (STL),…
Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach
Gregorio Marchesini, Siyuan Liu, Lars Lindemann +1
We propose a variant of the Rapidly Exploring Random Tree Star (RRT) algorithm to synthesize trajectories satisfying a given spatio-temporal specification expressed in a…
A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems
Gregorio Marchesini, Siyuan Liu, Lars Lindemann +1
We consider the problem of decomposing a global task assigned to a multi-agent system, expressed as a formula within a fragment of Signal Temporal Logic (STL), under range-limited…
Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies
Gregorio Marchesini, Siyuan Liu, Lars Lindemann +1
We introduce a novel distributed sampled-data control method tailored for heterogeneous multi-agent systems under a global spatio-temporal task with acyclic dependencies. Specifica…
Corridor MPC for Multi-Agent Inspection of Orbiting Structures
Gregorio Marchesini, Pedro Roque, Dimos V. Dimarogonas
In this work, we propose an extension of the previously introduced Corridor Model Predictive Control scheme for high-order and distributed systems, with an application for on-orbit…