activity
20182021
most citedAssessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles

55 citations · 299 across the 11 of their papers we have counts for

collaborators

12 papers

cs.LG2021★ 4 cited

Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles

Xingyu Zhao, Wei Huang, Alec Banks +4

The utilisation of Deep Learning (DL) is advancing into increasingly more sophisticated applications. While it shows great potential to provide transformational capabilities, DL al…

cs.LG2021

Machine learning pipeline for battery state of health estimation

Darius Roman, Saurabh Saxena, Valentin Robu +2

Lithium-ion batteries are ubiquitous in modern day applications ranging from portable electronics to electric vehicles. Irrespective of the application, reliable real-time estimati…

cs.AI2020★ 27 cited

BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations

Xingyu Zhao, Wei Huang, Xiaowei Huang +2

Given the pressing need for assuring algorithmic transparency, Explainable AI (XAI) has emerged as one of the key areas of AI research. In this paper, we develop a novel Bayesian e…

cs.AI2020★ 55 cited

Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles

Xingyu Zhao, Kizito Salako, Lorenzo Strigini +2

Context: Demonstrating high reliability and safety for safety-critical systems (SCSs) remains a hard problem. Diverse evidence needs to be combined in a rigorous way: in particular…

cs.LG2020★ 50 cited

A Safety Framework for Critical Systems Utilising Deep Neural Networks

Xingyu Zhao, Alec Banks, James Sharp +4

Increasingly sophisticated mathematical modelling processes from Machine Learning are being used to analyse complex data. However, the performance and explainability of these model…

cs.CY2019★ 19 cited

Consider ethical and social challenges in smart grid research

Valentin Robu, David Flynn, Merlinda Andoni +1

Artificial Intelligence and Machine Learning are increasingly seen as key technologies for building more decentralised and resilient energy grids, but researchers must consider the…

cs.AI2019★ 17 cited

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management

Xingyu Zhao, Matt Osborne, Jenny Lantair +6

The battery is a key component of autonomous robots. Its performance limits the robot's safety and reliability. Unlike liquid-fuel, a battery, as a chemical device, exhibits compli…

eess.SY2019★ 1 cited

Gibbs sampling for game-theoretic modeling of private network upgrades with distributed generation

Merlinda Andoni, Valentin Robu, David Flynn +1

Renewable energy is increasingly being curtailed, due to oversupply or network constraints. Curtailment can be partially avoided by smart grid management, but the long term solutio…

eess.SP2019★ 53 cited

Game-theoretic modeling of curtailment rules and network investments with distributed generation

Merlinda Andoni, Valentin Robu, Wolf-Gerrit Fruh +1

Renewable energy has achieved high penetration rates in many areas, leading to curtailment, especially if existing network infrastructure is insufficient and energy generated canno…

cs.AI2019★ 50 cited

Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing

Xingyu Zhao, Valentin Robu, David Flynn +2

There is an urgent societal need to assess whether autonomous vehicles (AVs) are safe enough. From published quantitative safety and reliability assessments of AVs, we know that, g…

cs.LG2019

Predicting the Voltage Distribution for Low Voltage Networks using Deep Learning

Maizura Mokhtar, Valentin Robu, David Flynn +4

The energy landscape for the Low-Voltage (LV) networks are beginning to change; changes resulted from the increase penetration of renewables and/or the predicted increase of electr…

cs.AI2018★ 23 cited

Probabilistic Model Checking of Robots Deployed in Extreme Environments

Xingyu Zhao, Valentin Robu, David Flynn +3

Robots are increasingly used to carry out critical missions in extreme environments that are hazardous for humans. This requires a high degree of operational autonomy under uncerta…