10 citations · 10 across the 10 of their papers we have counts for
12 papers
Multi-Agent Transportation of Free-Flyers in Microgravity Via Pushing Interaction Under Human-in-the-Loop Control
Gregorio Marchesini, Nicola De Carli, Sihyun Cho +5
We propose a safety-critical framework for the cooperative transportation of passive targets in microgravity, where a team of chaser robots acts through unilateral pushing contacts…
Demonstration of Space Robot Teleoperation over a Lossy and Delayed Network using ATMOS
Inkyu Jang, Gregorio Marchesini, Nicola De Carli +15
We present a demonstration showcasing the Autonomy Testbed for Multi-purpose Orbiting Systems (ATMOS), a planar spacecraft-analog robot designed for hardware-in-the-loop evaluation…
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),…
Marinarium: A Modular Experimental Facility for Reproducible Maritime and Space-Analog Field Robotics
Ignacio Torroba, David Dorner, Victor Nan Fernandez-Ayala +14
Field robotics research in maritime and space domains is constrained by a persistent gap between low-cost, low-fidelity simulation and costly offshore experimentation. Instrumented…
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…
SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness
Ernesto Casablanca, Zengjie Zhang, Gregorio Marchesini +3
Developing trustworthy multi-agent systems for practical applications is challenging due to the complicated communication of situational awareness (SA) among agents. This paper sho…
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…
Communication-Constrained STL Task Decomposition through Convex Optimization
Gregorio Marchesini, Siyuan Liu, Lars Lindemann +1
In this work, we propose a method to decompose signal temporal logic (STL) tasks for multi-agent systems subject to constraints imposed by the communication graph. Specifically, we…
Probing Ganymede's atmosphere with HST Ly images in transit of Jupiter
Lorenz Roth, Gregorio Marchesini, Tracy M. Becker +6
We report results from far-ultraviolet observations by the Hubble Space Telescope of Jupiter's largest moon Ganymede transiting across the planet's dayside hemisphere. {Within} a t…