41 citations · 74 across the 5 of their papers we have counts for
7 papers
Emergent Crossing Regimes of Identical Autonomous Vehicles at an Uncontrolled Intersection
Karam Safarov, Thomas Kent, Eddie Wilson +1
To investigate the impact of Autonomous Vehicles (AVs) on urban congestion, this study looks at their performance at road intersections. Intersection performance has been studied a…
Modelling Agent Policies with Interpretable Imitation Learning
Tom Bewley, Jonathan Lawry, Arthur Richards
As we deploy autonomous agents in safety-critical domains, it becomes important to develop an understanding of their internal mechanisms and representations. We outline an approach…
Decentralised Multi-Demic Evolutionary Approach to the Dynamic Multi-Agent Travelling Salesman Problem
Thomas E. Kent, Arthur G. Richards
The Travelling Salesman and its variations are some of the most well known NP hard optimisation problems. This paper looks to use both centralised and decentralised implementations…
A Fuzzy Approach to Qualification in Design Exploration for Autonomous Robots and Systems
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry +2
Autonomous robots must operate in complex and changing environments subject to requirements on their behaviour. Verifying absolute satisfaction (true or false) of these requirement…
Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
This paper presents the verification of control systems implemented in Simulink. The goal is to ensure that high-level requirements on control performance, like stability, are sati…
Formal Verification of Control Systems Properties with Theorem Proving
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
This paper presents the deductive formal verification of high-level properties of control systems with theorem proving, using the Why3 tool. Properties that can be verified with th…
Multiplexed Model Predictive Control
K. V. Ling, J. M. Maciejowski, A. G. Richards +1
This paper proposes a form of MPC in which the control variables are moved asynchronously. This contrasts with most MIMO control schemes, which assume that all variables are update…