From the 2 of 71 linked papers with an AI index.
24 citations · 50 across the 37 of their papers we have counts for
14 papers · 1 filter
Modeling and Validation of Quality of Control for Edge-Offloaded Collaborative Navigation
Neelabhro Roy, Mikael Hammarling, Victor Nan Fernandez-Ayala +4
The paper extends the quality of control (QoC) framework to practical robotic navigation with edge-offloaded collaborative control, modeling how 5G network delay and reliability af…
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,…
An Operator-based Approach to STL
Panagiotis Rousseas, Dimos V. Dimarogonas
Signal Temporal Logic (STL), has recently seen extensive development, owing to its rich expressivenes for autonomous planning and control. Nevertheless, existing verification and c…
Agentic Neuro-Symbolic Planning and Commissioning for Human-in-the-Loop Industrial Robotics with Digital Twins
Zhihao Liu, Victor Nan Fernandez-Ayala, Tianyu Wang +4
Flexible robotic automation requires systems that interpret operator intent, verify physical feasibility, and recover from execution failures across both the planning and execution…
Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
Davide Peron, Victor Nan Fernandez-Ayala, Eleftherios E. Vlahakis +1
We consider multi-robot systems under recurring tasks formalized as linear temporal logic (LTL) specifications. To solve the planning problem efficiently, we propose a bottom-up ap…
Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
Panagiotis Rousseas, Dimos V. Dimarogonas
In this work, a novel method for planar task and motion planning based on hybrid modeling is proposed. By virtue of a discrete variable which models local constraint satisfaction a…