7 citations · 28 across the 14 of their papers we have counts for
15 papers
Concepts of Self-maintaining Robots and Their Design
Chenjie Shi, Sandor M Veres
This paper proposes an initial theory for robotic systems that can be fully self-maintaining. The new design principles focus on functional survival of the robots over long periods…
Verification Framework for Control System Functionality of Unmanned Aerial Vehicles
Omar A. Jasim, Sandor M. Veres
A control system verification framework is presented for unmanned aerial vehicles using theorem proving. The framework's aim is to set out a procedure for proving that the mathemat…
Fictitious play for cooperative action selection in robot teams
Michalis Smyrnakis, Sandor M. Veres
A game theoretic distributed decision making approach is presented for the problem of control effort allocation in a robotic team based on a novel variant of fictitious play. The p…
SMCL - Stochastic Model Checker for Learning in Games
Hongyang Qu, Michalis Smyrnakis, Sandor M. Veres
A stochastic model checker is presented for analysing the performance of game-theoretic learning algorithms. The method enables the comparison of short-term behaviour of learning a…
A stochastically verifiable autonomous control architecture with reasoning
Paolo Izzo, Hongyang Qu, Sandor M. Veres
A new agent architecture called Limited Instruction Set Agent (LISA) is introduced for autonomous control. The new architecture is based on previous implementations of AgentSpeak a…
Testing, Verification and Improvements of Timeliness in ROS processes
Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres
This paper addresses the problem of improving response times of robots implemented in the Robotic Operating System (ROS) using formal verification of computational-time feasibility…
Verification of Logical Consistency in Robotic Reasoning
Hongyang Qu, Sandor M. Veres
Most autonomous robotic agents use logic inference to keep themselves to safe and permitted behaviour. Given a set of rules, it is important that the robot is able to establish the…
Dynamical Behavior Investigation and Analysis of Novel Mechanism for Simulated Spherical Robot named "RollRoller"
Seyed Amir Tafrishi, Sandor M. Veres, Esmaeil Esmaeilzadeh +1
This paper introduces a simulation study of fluid actuated multi-driven closed system as spherical mobile robot called "RollRoller". Robot's mechanism design consists of two essent…
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods
Murray L. Ireland, Ruth Hoffmann, Alice Miller +2
If autonomous vehicles are to be widely accepted, we need to ensure their safe operation. For this reason, verification and validation (V&V) approaches must be developed that are s…
Collision Avoidance of Two Autonomous Quadcopters
Michalis Smyrnakis, Jonathan M. Aitken, Sandor M. Veres
Traffic collision avoidance systems (TCAS) are used in order to avoid incidences of mid-air collisions between aircraft. We present a game-theoretic approach of a TCAS designed for…
Reducing complexity of autonomous control agents for verifiability
Paolo Izzo, Hongyang Qu, Sandor M. Veres
The AgentSpeak type of languages are considered for decision making in autonomous control systems. To reduce the complexity and increase the verifiability of decision making, a lim…
Autonomous Agent Behaviour Modelled in PRISM -- A Case Study
Ruth Hoffmann, Murray Ireland, Alice Miller +2
Formal verification of agents representing robot behaviour is a growing area due to the demand that autonomous systems have to be proven safe. In this paper we present an abstract…
Formal Verification of Autonomous Vehicle Platooning
Maryam Kamali, Louise A. Dennis, Owen McAree +2
The coordination of multiple autonomous vehicles into convoys or platoons is expected on our highways in the near future. However, before such platoons can be deployed, the new aut…
Practical Verification of Decision-Making in Agent-Based Autonomous Systems
Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln +2
We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to both implement and…
Agent Based Approaches to Engineering Autonomous Space Software
Louise A. Dennis, Michael Fisher, Nicholas Lincoln +2
Current approaches to the engineering of space software such as satellite control systems are based around the development of feedback controllers using packages such as MatLab's S…