The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …

Manufacturers are constantly looking to enhance the performance of their manufacturing
systems by improving their ability to address disruptions and disturbances, while reducing …

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 …

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 …

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 …

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 …

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 …

Since it has often been claimed by academics that reconfiguration is essential, many
approaches to reconfiguration, especially of robotic systems, have been developed …

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 …

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 …