Cover Image

Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bernal, Arturo Miguel Russell, Petterson, Maureen, Granadeno, Pedro Antonio Alarcon, Murphy, Michael, Mason, James, Cleland-Huang, Jane
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Uncovering Failures in Cyber-Physical System State Transitions: A Fuzzing-Based Approach Applied to sUAS
by: Chambers, Theodore, et al.
Published: (2026)

Evaluating Reinforcement Learning Safety and Trustworthiness in Cyber-Physical Systems
by: Dearstyne, Katherine, et al.
Published: (2025)

Cognitive Guardrails for Open-World Decision Making in Autonomous Drone Swarms
by: Cleland-Huang, Jane, et al.
Published: (2025)

Cognition Envelopes for Bounded Decision Making in Autonomous UAS Operations
by: Granadeno, Pedro Antonio Alarcon, et al.
Published: (2025)

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

Coverage Path Planning for Holonomic UAVs via Uniaxial-Feasible, Gap-Severity Guided Decomposition
by: Granadeno, Pedro Antonio Alarcon, et al.
Published: (2025)

Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins
by: Isaku, Erblin, et al.
Published: (2025)

Simulator Ensembles for Trustworthy Autonomous Driving Testing
by: Sorokin, Lev, et al.
Published: (2025)

AI-Augmented Metamorphic Testing for Comprehensive Validation of Autonomous Vehicles
by: Zhang, Tony, et al.
Published: (2025)

ROBUST: 221 Bugs in the Robot Operating System
by: Timperley, Christopher S., et al.
Published: (2024)

Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels
by: Isaku, Erblin, et al.
Published: (2025)

UAMTERS: Uncertainty-Aware Mutation Analysis for DL-enabled Robotic Software
by: Lu, Chengjie, et al.
Published: (2026)

The DevSafeOps Dilemma: A Systematic Literature Review on Rapidity in Safe Autonomous Driving Development and Operation
by: Nouri, Ali, et al.
Published: (2025)

A Step-by-Step Guide to Creating a Robust Autonomous Drone Testing Pipeline
by: Jiang, Yupeng, et al.
Published: (2025)

ManiTwin: Scaling Data-Generation-Ready Digital Object Dataset to 100K
by: Wang, Kaixuan, et al.
Published: (2026)

Reusing Model Validation Methods for the Continuous Validation of Digital Twins of Cyber-Physical Systems
by: Mertens, Joost, et al.
Published: (2025)

A Method for the Runtime Validation of AI-based Environment Perception in Automated Driving System
by: Aslam, Iqra, et al.
Published: (2024)

Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study
by: Muctadir, Hossain Muhammad, et al.
Published: (2023)

Testing, Evaluation, Verification and Validation (TEVV) of Digital Twins: A Comprehensive Framework
by: Waters, Gabriella
Published: (2025)

IndustriConnect: MCP Adapters and Mock-First Evaluation for AI-Assisted Industrial Operations
by: Xavier, Melwin, et al.
Published: (2026)

ROOT: Requirements Organization and Optimization Tool
by: Dearstyne, Katherine R., et al.
Published: (2024)

Supporting Software Maintenance with Dynamically Generated Document Hierarchies
by: Dearstyne, Katherine R., et al.
Published: (2024)

From Digital Twins to Digital Twin Prototypes: Concepts, Formalization, and Applications
by: Barbie, Alexander, et al.
Published: (2024)

Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca
by: Trinh, Hiep Hong, et al.
Published: (2025)

Testing the Fault-Tolerance of Multi-Sensor Fusion Perception in Autonomous Driving Systems
by: Tian, Haoxiang, et al.
Published: (2025)

Beyond the Control Equations: An Artifact Study of Implementation Quality in Robot Control Software
by: Chur, Nils, et al.
Published: (2026)

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

Search-based Robustness Testing of Laptop Refurbishing Robotic Software
by: Isaku, Erblin, et al.
Published: (2026)

Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
by: Canelas, Paulo, et al.
Published: (2024)

Structural Abstraction and Selective Refinement for Formal Verification
by: Luckeneder, Christoph, et al.
Published: (2025)

Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems
by: Khatiri, Sajad, et al.
Published: (2025)

Accurate and Noise-Tolerant Extraction of Routine Logs in Robotic Process Automation (Extended Version)
by: de Leoni, Massimiliano, et al.
Published: (2025)

Integration of an Agent Model into an Open Simulation Architecture for Scenario-Based Testing of Automated Vehicles
by: Geller, Christian, et al.
Published: (2026)

Traffic Scenario Orchestration from Language via Constraint Satisfaction
by: Rong, Frieda, et al.
Published: (2026)

Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation
by: Zhou, Zhehua, et al.
Published: (2023)

DroneWiS: Automated Simulation Testing of small Unmanned Aerial Systems in Realistic Windy Conditions
by: Zhang, Bohan, et al.
Published: (2024)

Enabling Generic Robot Skill Implementation Using Object Oriented Programming
by: Farrukh, Abdullah, et al.
Published: (2025)

Behavioral Safety Assessment towards Large-scale Deployment of Autonomous Vehicles
by: Liu, Henry X., et al.
Published: (2025)

First-principles Based 3D Virtual Simulation Testing for Discovering SOTIF Corner Cases of Autonomous Driving
by: Li, Lehang, et al.
Published: (2024)

Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics
by: Goues, Claire Le, et al.
Published: (2024)