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

by   Xingyu Zhao, et al.
University of Liverpool
Heriot-Watt University

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 complicated features, including (i) capacity fade over successive recharges and (ii) increasing discharge rate as the state of charge (SOC) goes down for a given power demand. Existing formal verification studies of autonomous robots, when considering energy constraints, formalise the energy component in a generic manner such that the battery features are overlooked. In this paper, we model an unmanned aerial vehicle (UAV) inspection mission on a wind farm and via probabilistic model checking in PRISM show (i) how the battery features may affect the verification results significantly in practical cases; and (ii) how the battery features, together with dynamic environments and battery safety strategies, jointly affect the verification results. Potential solutions to explicitly integrate battery prognostics and health management (PHM) with formal verification of autonomous robots are also discussed to motivate future work.


Autonomous Electric Vehicle Battery Disassembly Based on NeuroSymbolic Computing

The booming of electric vehicles demands efficient battery disassembly f...

Energy-Aware Planning-Scheduling for Autonomous Aerial Robots

In this paper, we present an online planning-scheduling approach for bat...

OROS: Orchestrating ROS-driven Collaborative Connected Robots in Mission-Critical Operations

Battery life for collaborative robotics scenarios is a key challenge lim...

Prognosis of Multivariate Battery State of Performance and Health via Transformers

Batteries are an essential component in a deeply decarbonized future. Un...

Reinforcement Learning for Battery Management in Dairy Farming

Dairy farming is a particularly energy-intensive part of the agriculture...

Multi-robot energy autonomy with wind and constrained resources

One aspect of the ever-growing need for long term autonomy of multi-robo...

Learning Symbolic Operators: A Neurosymbolic Solution for Autonomous Disassembly of Electric Vehicle Battery

The booming of electric vehicles demands efficient battery disassembly f...

Please sign up or login with your details

Forgot password? Click here to reset