mlsanityData to 14 Oct 2026

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification

arXiv 2509.04288 ↗First posted 4 Sep 2025eess.SY cs.AI cs.SYcited by 0

On the map: Deep reinforcement learning methods → RL for energy, networks and operations

Abstract (arXiv)

Rechargeable lithium-ion (Li-ion) batteries are a ubiquitous element of modern technology. In the last decades, the production and design of such batteries and their adjacent embedded charging and safety protocols, denoted by Battery Management Systems (BMS), has taken central stage. A fundamental challenge to be addressed is the trade-off between the speed of charging and the ageing behavior, resulting in the loss of capacity in the battery cell. We rely on a high-fidelity physics-based battery model and propose an approach to data-driven charging and safety protocol design. Following a Counterexample-Guided Inductive Synthesis scheme, we combine Reinforcement Learning (RL) with recent developments in data-driven formal methods to obtain a hybrid control strategy: RL is used to synthesise the individual controllers, and a data-driven abstraction guides their partitioning into a switched structure, depending on the initial output measurements of the battery. The resulting discrete selection among RL-based controllers, coupled with the continuous battery dynamics, realises a hybrid system. When a design meets the desired criteria, the abstraction provides probabilistic guarantees on the closed-loop performance of the cell.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Placed in RL for energy, networks and operations, one of 15 directions in Deep reinforcement learning methods. Builds on 6 of its 40 references that are in the map. First posted on arXiv 4 Sep 2025.

Builds on

6 of 40 references.

Closest ancestors · 1

Same direction, newest first

  1. 2024Adaptive Safe Reinforcement Learning-Enabled Optimization of Battery Fast-Charging Protocols18 Jun

Other references · 5

  1. 2018Soft Actor-Critic: Off-Policy Maximum Entropy Deep Reinforcement Learning with a Stochastic Actorcited by 4,885
  2. 2018Learning Control Lyapunov Functions from Counterexamples and Demonstrationscited by 19
  3. 2020Automated and Sound Synthesis of Lyapunov Functions with SMT Solverscited by 10
  4. 2014Asynchronous l-Complete Approximationscited by 2
  5. 2022Data-driven Abstractions for Verification of Deterministic Systemscited by 2

Built on by

Not cited yet.

Similar, not cited

Close in wording, no citation either way

  1. 2025A Physics-Informed Reinforcement Learning Approach for Degradation-Aware Long-Term Charging Optimization in Batteries
  2. 2025Lifelong reinforcement learning for health-aware fast charging of lithium-ion batteries ↗
  3. 2025Balancing SoC in Battery Cells using Safe Action Perturbations
  4. 2026Degradation-Aware Frequency Regulation of a Heterogeneous Battery Fleet via Reinforcement Learning
  5. 2024Deep-MPC: A DAGGER-Driven Imitation Learning Strategy for Optimal Constrained Battery Charging
  6. 2025A Hybrid Physics-Based and Reinforcement Learning Framework for Electric Vehicle Charging Time Prediction
  7. 2025Optimal Design of Experiment for Electrochemical Parameter Identification of Li-ion Battery via Deep Reinforcement Learning
  8. 2024Time-Varying Constraint-Aware Reinforcement Learning for Energy Storage Control