Verified Design of Robotic Autonomous Systems using Probabilistic Model Checking

2025-12-19 · Atef Azaiez, David Alireza Anisi arxiv

Safety and reliability play a crucial role when designing Robotic Autonomous Systems (RAS). Early consideration of hazards, risks and mitigation actions -- already in the concept study phase -- are important steps in building a solid foundations for the subsequent steps in the system engineering life cycle. The complex nature of RAS, as well as the uncertain and dynamic environments the robots operate within, do not merely effect fault management and operation robustness, but also makes the task of system design concept selection, a hard problem to address. Approaches to tackle the mentioned challenges and their implications on system design, range from ad-hoc concept development and design practices, to systematic, statistical and analytical techniques of Model Based Systems Engineering. In this paper, we propose a methodology to apply a formal method, namely Probabilistic Model Checking (PMC), to enable systematic evaluation and analysis of a given set of system design concepts, ultimately leading to a set of Verified Designs (VD). We illustrate the application of the suggested methodology -- using PRISM as probabilistic model checker -- to a practical RAS concept selection use-case from agriculture robotics. Along the way, we also develop and present a domain-specific Design Evaluation Criteria for agri-RAS.

📄 PDF Abstract BibTeX arXiv:2601.10720

Code (0)

등록된 구현이 없습니다.

Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems

2025-01-30 · Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise Dennis

This report provides an overview of the workshop titled Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems, hosted by the Centre for Robotic Autonomy in Demanding and Long-Lasting E…

A Real-Time Neuro-Symbolic Ethical Governor for Safe Decision Control in Autonomous Robotic Manipulation

2026-03-15 · Aueaphum Aueawatthanaphisut, Kuepon Aueawatthanaphisut arxiv

Ethical decision governance has become a critical requirement for autonomous robotic systems operating in human-centered and safety-sensitive environments. This paper presents a real-time neuro-symbolic ethical governor …

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach

2025-07-16 · Nawshin Mannan Proma, Gricel Vázquez, Sepeedeh Shahbeigi, Arjun Badyal 외 arxiv

As industrial autonomous ground vehicles are increasingly deployed in safety-critical environments, ensuring their safe operation under diverse conditions is paramount. This paper presents a novel approach for their safe…

A Bayesian Reasoning Framework for Robotic Systems in Autonomous Casualty Triage

2026-04-23 · Szymon Rusiecki, Cecilia Morales, Pia Störy, Kimberly Elenberg 외 arxiv

Autonomous robots deployed in mass casualty incidents (MCI) face the challenge of making critical decisions based on incomplete and noisy perceptual data. We present an autonomous robotic system for casualty assessment t…

Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking

2021-09-14 · Yi Dong, Xingyu Zhao, Xiaowei Huang

While Deep Reinforcement Learning (DRL) provides transformational capabilities to the control of Robotics and Autonomous Systems (RAS), the black-box nature of DRL and uncertain deployment environments of RAS pose new ch…

Deep Reinforcement Learning Reinforcement Learning (RL)