Cover Image

Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Betzer, Joakim Schack, Boudjadar, Jalil, Frasheri, Mirgita, Talasila, Prasad
Format:	Preprint
Published:	2024
Subjects:	Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
by: Sartaj, Hassan, et al.
Published: (2025)

Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
by: Sartaj, Hassan, et al.
Published: (2026)

Towards Federated Digital Twin Platforms
by: Frasheri, Mirgita, et al.
Published: (2025)

A Case Study on the Application of Digital Twins for Enhancing CPS Operations
by: Muntean, Irina, et al.
Published: (2025)

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
by: Chechik, Marsha, et al.
Published: (2025)

Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing
by: Rafiq, Yasmin, et al.
Published: (2025)

iFANnpp: Nuclear Power Plant Digital Twin for Robots and Autonomous Intelligence
by: Do, Youndo, et al.
Published: (2024)

GeoVision-Enabled Digital Twin for Hybrid Autonomous-Teleoperated Medical Responses
by: Kebria, Parham, et al.
Published: (2026)

Runtime Verification and Field-based Testing for ROS-based Robotic Systems
by: Caldas, Ricardo, et al.
Published: (2024)

Cilium and VDM -- Towards Formal Analysis of Cilium Policies
by: Kulik, Tomas, et al.
Published: (2024)

OpenTwinMap: An Open-Source Digital Twin Generator for Urban Autonomous Driving
by: Richardson, Alex, et al.
Published: (2025)

REACT: Runtime-Enabled Active Collision-avoidance Technique for Autonomous Driving
by: Huang, Heye, et al.
Published: (2025)

SyncTwin: Fast Digital Twin Construction and Synchronization for Safe Robotic Manipulation
by: Huang, Ruopeng, et al.
Published: (2026)

GaussTwin: Unified Simulation and Correction with Gaussian Splatting for Robotic Digital Twins
by: Cai, Yichen, et al.
Published: (2026)

Review of Autonomous Mobile Robots for the Warehouse Environment
by: Keith, Russell, et al.
Published: (2024)

Autonomous Mobile Robot Navigation: Tracking problem
by: Ameen, Salem, et al.
Published: (2024)

TwinRL: Digital Twin-Driven Reinforcement Learning for Real-World Robotic Manipulation
by: Xu, Qinwen, et al.
Published: (2026)

Enabling Building Information Model-Driven Human-Robot Collaborative Construction Workflows with Closed-Loop Digital Twins
by: Wang, Xi, et al.
Published: (2023)

Digital Twins in the Cloud: A Modular, Scalable and Interoperable Framework for Accelerating Verification and Validation of Autonomous Driving Solutions
by: Samak, Tanmay Vilas, et al.
Published: (2025)

RoboTwin: A Robotic Teleoperation Framework Using Digital Twins
by: Yelchuri, Harsha, et al.
Published: (2025)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

A Digital Twin for Telesurgery under Intermittent Communication
by: Wang, Junxiang, et al.
Published: (2024)

STR Robot: Design of an Autonomous Mobile Robot from Simulation to Reality
by: Nguyen, Vinh, et al.
Published: (2026)

Power-Efficient Autonomous Mobile Robots
by: Liu, Liangkai, et al.
Published: (2025)

Implementation Analysis of Collaborative Robot Digital Twins in Physics Engines
by: König, Christian, et al.
Published: (2025)

Digital Twin of Autonomous Surface Vessels for Safe Maritime Navigation Enabled through Predictive Modeling and Reinforcement Learning
by: Menges, Daniel, et al.
Published: (2024)

Dynamic Zoning of Industrial Environments with Autonomous Mobile Robots
by: Keith, Russell, et al.
Published: (2024)

On the Robotic Uncertainty of Fully Autonomous Traffic: From Stochastic Car-Following to Mobility-Safety Trade-Offs
by: Li, Hangyu, et al.
Published: (2023)

A Framework to Enable Eco‐Cyber‐Physical Systems for Robotics‐Focused Digital Twins in Smart Farming
by: Fiorella Sibona, et al.
Published: (2025)

A Koopman Operator-based NMPC Framework for Mobile Robot Navigation under Uncertainty
by: Zhang, Xiaobin, et al.
Published: (2025)

Case Study: Runtime Safety Verification of Neural Network Controlled System
by: Yang, Frank, et al.
Published: (2024)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
by: Zhao, Yiqi, et al.
Published: (2025)

Runtime Learning of Quadruped Robots in Wild Environments
by: Cai, Yihao, et al.
Published: (2025)

MobRT: A Digital Twin-Based Framework for Scalable Learning in Mobile Manipulation
by: Mei, Yilin, et al.
Published: (2025)

Development of an Autonomous Mobile Robotic System for Efficient and Precise Disinfection
by: Ou, Ting-Wei, et al.
Published: (2025)

Autonomous Mobile Plant Watering Robot : A Kinematic Approach
by: London, Justin
Published: (2025)

RoboTwin: Dual-Arm Robot Benchmark with Generative Digital Twins
by: Mu, Yao, et al.
Published: (2025)

VisionSafeEnhanced VPC: Cautious Predictive Control with Visibility Constraints under Uncertainty for Autonomous Robotic Surgery
by: Jiayin, Wang, et al.
Published: (2025)

Smart Mobility Digital Twin for Automated Driving: Design and Proof-of-Concept
by: Wang, Kui, et al.
Published: (2023)

Towards Validation of Autonomous Vehicles Across Scales using an Integrated Digital Twin Framework
by: Samak, Tanmay Vilas, et al.
Published: (2024)