From the 1 of 6 linked papers with an AI index.
6 papers
Periodicity-driven revision of the phase diagram of the generalized Baxter-Wu model with asymmetric complex couplings
Yuting Wang, Ye Ling, Haihong Li +1
The conventional self-dual lines of the generalized Baxter-Wu (GBW) model with asymmetric complex couplings are known to be , where and are the real…
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 +1
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…
Marinarium: A Modular Experimental Facility for Reproducible Maritime and Space-Analog Field Robotics
Ignacio Torroba, David Dorner, Victor Nan Fernandez-Ayala +14
The paper introduces Marinarium, a modular experimental facility that provides a cost‑effective, instrumented underwater and aerial testbed with motion capture and a digital twin,…
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),…
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…
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…