An overview of verification and validation challenges for inspection robots

M Fisher, RC Cardoso, EC Collins, C Dadswell… - Robotics, 2021 - mdpi.com
The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …

Toward an automated learning control architecture for cyber-physical manufacturing systems

I Kovalenko, J Moyne, M Bi, EC Balta, W Ma… - IEEE …, 2022 - ieeexplore.ieee.org
Manufacturers are constantly looking to enhance the performance of their manufacturing
systems by improving their ability to address disruptions and disturbances, while reducing …

Verifiable self-aware agent-based autonomous systems

LA Dennis, M Fisher - Proceedings of the IEEE, 2020 - ieeexplore.ieee.org
In this article, we describe an approach to autonomous system construction that not only
supports self-awareness but also formal verification. This is based on modular construction …

Adaptable and verifiable BDI reasoning

P Stringer, RC Cardoso, X Huang… - arXiv preprint arXiv …, 2020 - arxiv.org
Long-term autonomy requires autonomous systems to adapt as their capabilities no longer
perform as expected. To achieve this, a system must first be capable of detecting such …

Implementing Durative Actions with Failure Detection in Gwendolen

P Stringer, RC Cardoso, C Dixon, LA Dennis - International Workshop on …, 2021 - Springer
We present an extension of the semantics for action execution in the Gwendolen BDI
programming language. This extension firstly explicitly assumes that actions have durations …

Failure recovery mechanism for BDI agents based on abilities and discovery protocols

H Baitiche, M Bouzenada, DE Saidouni - Journal of Ambient Intelligence …, 2024 - Springer
An ambient agent may fail to achieve its goal due to the dynamism and nondeterminism of
the environment. Based on the concepts of Abilities and Discovery Protocols, we present a …

Updating Action Descriptions and Plans for Cognitive Agents

P Stringer, RC Cardoso, C Dixon, M Fisher… - … '23: Proceedings of …, 2023 - aura.abdn.ac.uk
In this paper we present an extension of Belief-Desire-Intention agents which can adapt their
performance in response to changes in their environment. Specifically we consider …

Software Reconfiguration in Robotics

S Peldszus, D Brugali, D Strüber, P Pelliccione… - arXiv preprint arXiv …, 2023 - arxiv.org
Since it has often been claimed by academics that reconfiguration is essential, many
approaches to reconfiguration, especially of robotic systems, have been developed …

Verifiable autonomy: From theory to applications

L Dennis, C Dixon, M Fisher - AI Communications, 2022 - content.iospress.com
Abstract The Autonomy and Verification group 1 1 sits within the Department of Computer
Science 2 2 at the University of Manchester. The group has a long history of research into …

Abductive design of BDI agent-based digital twins of organizations

A Alelaimat, A Ghose, HK Dam - PRIMA 2020: Principles and Practice of …, 2021 - Springer
A Digital Twin ideally manifests the same behaviour (in silico) of its physical counterpart.
While considerable attention has been paid to the development of Digital Twins for physical …