A Multi-Level Corroborative Approach for Verification and Validation of Autonomous Robotic Swarms

• URL: http://arxiv.org/abs/2407.15475v1
• Date: Mon, 22 Jul 2024 08:40:05 GMT
• Title: A Multi-Level Corroborative Approach for Verification and Validation of Autonomous Robotic Swarms
• Authors: Dhaminda B. Abeywickrama, Suet Lee, Chris Bennett, Razanne Abu-Aisheh, Tom Didiot-Cook, Simon Jones, Sabine Hauert, Kerstin Eder,
• Abstract summary: We propose a holistic, multi-level modelling approach for formally verifying and validating autonomous robotic swarms. Our formal macroscopic models, used for verification, are characterized by data derived from actual simulations. Our work combines formal verification with experimental validation involving real robots.
• Score: 0.9937570340630559
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Modelling and characterizing emergent behaviour within a swarm can pose significant challenges in terms of 'assurance'. Assurance tasks encompass adherence to standards, certification processes, and the execution of verification and validation (V&V) methods, such as model checking. In this study, we propose a holistic, multi-level modelling approach for formally verifying and validating autonomous robotic swarms, which are defined at the macroscopic formal modelling, low-fidelity simulation, high-fidelity simulation, and real-robot levels. Our formal macroscopic models, used for verification, are characterized by data derived from actual simulations, ensuring both accuracy and traceability across different system models. Furthermore, our work combines formal verification with experimental validation involving real robots. In this way, our corroborative approach for V&V seeks to enhance confidence in the evidence, in contrast to employing these methods separately. We explore our approach through a case study focused on a swarm of robots operating within a public cloakroom.

Related papers

• Unsupervised Model Diagnosis [49.36194740479798]
  This paper proposes Unsupervised Model Diagnosis (UMO) to produce semantic counterfactual explanations without any user guidance. Our approach identifies and visualizes changes in semantics, and then matches these changes to attributes from wide-ranging text sources.
  arXiv  Detail & Related papers  (2024-10-08T17:59:03Z)
• SKT: Integrating State-Aware Keypoint Trajectories with Vision-Language Models for Robotic Garment Manipulation [82.61572106180705]
  This paper presents a unified approach using vision-language models (VLMs) to improve keypoint prediction across various garment categories. We created a large-scale synthetic dataset using advanced simulation techniques, allowing scalable training without extensive real-world data. Experimental results indicate that the VLM-based method significantly enhances keypoint detection accuracy and task success rates.
  arXiv  Detail & Related papers  (2024-09-26T17:26:16Z)
• Multifidelity Cross-validation [0.0]
  We are interested in emulating quantities of interest observed from models of a system at multiple fidelities. We propose a novel method to actively learn the surrogate model via leave-one-out cross-validation (LOO-CV) We demonstrate the utility of our method on several synthetic test problems as well as on the thermal stress analysis of a gas turbine blade.
  arXiv  Detail & Related papers  (2024-07-01T17:42:11Z)
• Science based AI model certification for new operational environments with application in traffic state estimation [1.2186759689780324]
  The expanding role of Artificial Intelligence (AI) in diverse engineering domains highlights the challenges associated with deploying AI models in new operational environments. This paper proposes a science-based certification methodology to assess the viability of employing pre-trained data-driven models in new operational environments.
  arXiv  Detail & Related papers  (2024-05-13T16:28:00Z)
• Private Agent-Based Modeling [13.072333113108531]
  The utility of agent-based models in decision-making relies on their capacity to accurately replicate populations. Yet, the incorporation of such data poses significant challenges due to privacy concerns. We introduce a paradigm for private agent-based modeling wherein the simulation, calibration, and analysis of agent-based models can be achieved without centralizing the agents attributes or interactions.
  arXiv  Detail & Related papers  (2024-04-19T16:30:40Z)
• AIDE: An Automatic Data Engine for Object Detection in Autonomous Driving [68.73885845181242]
  We propose an Automatic Data Engine (AIDE) that automatically identifies issues, efficiently curates data, improves the model through auto-labeling, and verifies the model through generation of diverse scenarios. We further establish a benchmark for open-world detection on AV datasets to comprehensively evaluate various learning paradigms, demonstrating our method's superior performance at a reduced cost.
  arXiv  Detail & Related papers  (2024-03-26T04:27:56Z)
• Science based AI model certification for untrained operational environments with application in traffic state estimation [1.2186759689780324]
  The expanding role of Artificial Intelligence (AI) in diverse engineering domains highlights the challenges associated with deploying AI models in new operational environments. This paper proposes a science-based certification methodology to assess the viability of employing pre-trained data-driven models in untrained operational environments.
  arXiv  Detail & Related papers  (2024-03-21T03:01:25Z)
• Formal Modelling for Multi-Robot Systems Under Uncertainty [11.21074891465253]
  We review modelling formalisms for multi-robot systems under uncertainty. We discuss how they can be used for planning, reinforcement learning, model checking, and simulation.
  arXiv  Detail & Related papers  (2023-05-26T15:23:35Z)
• Distributional Instance Segmentation: Modeling Uncertainty and High Confidence Predictions with Latent-MaskRCNN [77.0623472106488]
  In this paper, we explore a class of distributional instance segmentation models using latent codes. For robotic picking applications, we propose a confidence mask method to achieve the high precision necessary. We show that our method can significantly reduce critical errors in robotic systems, including our newly released dataset of ambiguous scenes.
  arXiv  Detail & Related papers  (2023-05-03T05:57:29Z)
• Extending Process Discovery with Model Complexity Optimization and Cyclic States Identification: Application to Healthcare Processes [62.997667081978825]
  The paper presents an approach to process mining providing semi-automatic support to model optimization. A model simplification approach is proposed, which essentially abstracts the raw model at the desired granularity. We aim to demonstrate the capabilities of the technological solution using three datasets from different applications in the healthcare domain.
  arXiv  Detail & Related papers  (2022-06-10T16:20:59Z)
• Hybrid modeling: Applications in real-time diagnosis [64.5040763067757]
  We outline a novel hybrid modeling approach that combines machine learning inspired models and physics-based models. We are using such models for real-time diagnosis applications.
  arXiv  Detail & Related papers  (2020-03-04T00:44:57Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.