Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Coppola, Rudi, Touloujian, Hovsep, Ombrini, Pierfrancesco, Mazo Jr, Manuel
Formato:	Preprint
Publicado:	2025
Materias:	Systems and Control Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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