Bài báo này đề xuất một phương pháp thiết kế giao thức sạc và an toàn dựa trên dữ liệu để giải quyết vấn đề đánh đổi giữa tốc độ sạc và lão hóa trong pin lithium-ion. Sử dụng mô hình pin có độ trung thực cao, dựa trên vật lý, chúng tôi đề xuất một chiến lược điều khiển lai kết hợp học tăng cường (RL) và các phương pháp hình thức dựa trên dữ liệu thông qua tổng hợp quy nạp hướng dẫn phản ví dụ. RL tổng hợp các bộ điều khiển riêng lẻ và, thông qua trừu tượng hóa dựa trên dữ liệu, phân tích chúng thành một cấu trúc chuyển đổi bộ điều khiển dựa trên các phép đo đầu ra ban đầu của pin. Chúng tôi triển khai một hệ thống lai bằng cách kết hợp lựa chọn rời rạc giữa các bộ điều khiển dựa trên RL với động lực học liên tục của pin. Khi thiết kế đáp ứng các yêu cầu, sự trừu tượng hóa cung cấp các đảm bảo xác suất về hiệu suất vòng kín.