Cet article propose une approche de conception de protocoles de charge et de sécurité pilotée par les données afin de résoudre le compromis entre vitesse de charge et vieillissement des batteries lithium-ion. À l'aide d'un modèle de batterie haute fidélité basé sur la physique, nous proposons une stratégie de contrôle hybride combinant l'apprentissage par renforcement (RL) et des méthodes formelles pilotées par les données via une synthèse inductive guidée par des contre-exemples. L'RL synthétise des contrôleurs individuels et, grâce à une abstraction pilotée par les données, les décompose en une structure qui commute les contrôleurs en fonction des mesures initiales de sortie de la batterie. Nous implémentons un système hybride en combinant une sélection discrète entre les contrôleurs basés sur l'RL avec une dynamique continue de la batterie. Une fois la conception satisfait aux exigences, l'abstraction fournit des garanties probabilistes sur les performances en boucle fermée.
