21 citations · 128 across the 92 of their papers we have counts for
31 papers · 1 filter
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…
Modeling and Validation of Quality of Control for Edge-Offloaded Collaborative Navigation
Neelabhro Roy, Mikael Hammarling, Victor Nan Fernandez-Ayala +4
Collaborative control in complex environments is severely challenged by stochastic wireless delay and reliability variations, which can degrade navigation, tracking, and collision…
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…
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…
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…
Validation of Space Robotics in Underwater Environments via Disturbance Robustness Equivalency
Joris Verhagen, Elias Krantz, Chelsea Sidrane +9
We present an experimental validation framework for space robotics that leverages underwater environments to approximate microgravity dynamics. While neutral buoyancy conditions ma…