From the 2 of 9 linked papers with an AI index.
9 papers
Risk-Aware Belief Control Barrier Functions over Random Finite Sets
Shaohang Han, Gang Chen, Yixi Cai +5
The paper proposes a risk‑aware belief control barrier function framework that ensures robot safety in dynamic, uncertain environments by modeling multi‑object state uncertainty wi…
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,…
Temporal logics and formal synthesis for robot planning and control
Jana Tumova, Joris Verhagen, Matti Vahs
As robots move from controlled environments into real-world settings, it becomes increasingly crucial to ensure that they perform as expected. A key step toward that goal is a rigo…
Safety-critical Control Under Partial Observability: Reach-Avoid POMDP meets Belief Space Control
Matti Vahs, Joris Verhagen, Jana Tumova
Partially Observable Markov Decision Processes (POMDPs) provide a principled framework for robot decision-making under uncertainty. Solving reach-avoid POMDPs, however, requires co…
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…
Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
Shaohang Han, Joris Verhagen, Jana Tumova
We study motion planning under Signal Temporal Logic (STL), a useful formalism for specifying spatial-temporal requirements. We pose STL synthesis as a trajectory optimization prob…