Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Coppola, Rudi, Touloujian, Hovsep, Ombrini, Pierfrancesco, Mazo Jr, Manuel
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Data-Driven Abstractions for Control Systems via Random Exploration
by: Coppola, Rudi, et al.
Published: (2024)

Data-driven Interval MDP for Robust Control Synthesis
by: Coppola, Rudi, et al.
Published: (2024)

Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
by: Coppola, Rudi, et al.
Published: (2025)

Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
by: Delimpaltadakis, Giannis, et al.
Published: (2022)

Abstracting the Traffic of Nonlinear Event-Triggered Control Systems
by: Delimpaltadakis, Giannis, et al.
Published: (2020)

Hierarchical Event-Triggered Systems: Safe Learning of Quasi-Optimal Deadline Policies
by: Ong, Pio, et al.
Published: (2024)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
by: Gracia, Ibon, et al.
Published: (2024)

A Contract Theory for Layered Control Architectures
by: Mazo Jr., Manuel, et al.
Published: (2024)

Optimal Design of Experiment for Electrochemical Parameter Identification of Li-ion Battery via Deep Reinforcement Learning
by: Ozkan, Mehmet Fatih, et al.
Published: (2025)

Data-Driven Structured Robust Control of Linear Systems
by: Miller, Jared, et al.
Published: (2024)

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)

Data-Driven Robust Covariance Control for Uncertain Linear Systems
by: Pilipovsky, Joshua, et al.
Published: (2023)

Data-Driven Robust Safety Verification for Markov Decision Processes
by: Mazumdar, Abhijit, et al.
Published: (2025)

Aging-Aware Battery Control via Convex Optimization
by: Nnorom Jr., Obidike, et al.
Published: (2025)

Data-Driven Contextual-Aware Uncertainty Set for Robust Dispatch of Power Systems
by: Ruan, Zhaojun, et al.
Published: (2026)

ETCetera: beyond Event-Triggered Control
by: Delimpaltadakis, Giannis, et al.
Published: (2022)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
by: Liu, Jun
Published: (2025)

Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
by: Gracia, Ibon, et al.
Published: (2022)

Optimal Bayesian Affine Estimator and Active Learning for the Wiener Model
by: Vakili, Sasan, et al.
Published: (2025)

Robust Direct Data-Driven Control for Probabilistic Systems
by: von Rohr, Alexander, et al.
Published: (2023)

Non-ideal Linear Operation Model for a Li-ion Battery
by: Gonzalez-Castellanos, Alvaro, et al.
Published: (2019)

Toward a Robust Biomimetic Hybrid Battery: Bridging Biology, Electrochemistry and Data-Driven Control
by: Ali, Raheel, et al.
Published: (2025)

Distributionally Robust Data-Driven Predictive Control for Stochastic LTI Systems
by: Urkmez, Mirhan, et al.
Published: (2026)

Robust Model Predictive Control of Fast Lithium-ion Battery Pretreatment for Safe Recycling
by: Yuan, Meng, et al.
Published: (2025)

On Training-Conditional Conformal Prediction and Binomial Proportion Confidence Intervals
by: Coppola, Rudi, et al.
Published: (2025)

Continuous-Time System Identification and OCV Reconstruction of Li-ion Batteries via Regularized Least Squares
by: Wang, Yang, et al.
Published: (2025)

Identifiability of Low Frequency Li-ion Battery Parameters in Time Domain
by: Sovljanski, Vladimir, et al.
Published: (2026)

Tube-Based Robust Data-Driven Predictive Control
by: Wang, Chi, et al.
Published: (2026)

Robust Data-Driven Predictive Control for Unknown Linear Time-Invariant Systems
by: Hu, Kaijian, et al.
Published: (2024)

Robust Offset-free Kernelized Data-Driven Predictive Control for Nonlinear Systems
by: Mazare, Mahmood, et al.
Published: (2025)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
by: Zhang, Zhi, et al.
Published: (2024)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
by: Nazeri, Mahdi, et al.
Published: (2025)

Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification
by: Gupta, Arkaprava, et al.
Published: (2024)

Parameter Robustness in Data-Driven Estimation of Dynamical Systems
by: Pandey, Ayush
Published: (2025)

Data-Driven Distributionally Robust System Level Synthesis
by: Micheli, Francesco, et al.
Published: (2024)

A Robust Data-Driven Iterative Control Method for Linear Systems with Bounded Disturbances
by: Hu, Kaijian, et al.
Published: (2024)

Robust Data-Driven Control for Nonlinear Systems Using their Digital Twins and Quadratic Funnels
by: Shakeri, Shiva, et al.
Published: (2025)

Direct Continuous-Time LPV System Identification of Li-ion Batteries via L1-Regularized Least Squares
by: Wang, Yang, et al.
Published: (2025)

MR-ARL: Model Reference Adaptive Reinforcement Learning for Robustly Stable On-Policy Data-Driven LQR
by: Borghesi, Marco, et al.
Published: (2024)

Risk-Aware Safe Reinforcement Learning for Control of Stochastic Linear Systems
by: Esmaeili, Babak, et al.
Published: (2025)