Cet article propose une approche de conception de protocoles de charge et de sécurité pilotée par les données, utilisant un modèle de batterie haute fidélité basé sur la physique, afin de résoudre le compromis entre vitesse de charge et dégradation de la durée de vie de la batterie. En exploitant la technique de synthèse inductive guidée par contre-exemple, nous présentons une stratégie de contrôle hybride combinant apprentissage par renforcement (RL) et méthodes formelles pilotées par les données. Nous synthétisons des contrôleurs individuels par RL, puis les partitionnons en structures qui commutent en fonction des mesures initiales de sortie de la batterie grâce à une abstraction pilotée par les données. Le système hybride résultant combine une sélection discrète entre contrôleurs basés sur RL et 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.
