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, sử dụng mô hình pin có độ trung thực cao, dựa trên vật lý để giải quyết vấn đề đánh đổi giữa tốc độ sạc và sự suy giảm tuổi thọ pin. Sử dụng kỹ thuật Tổng hợp Quy nạp Hướng dẫn Phản Ví dụ (Counterexample-Guided Inductive Synthesis), chúng tôi trình bày 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. Chúng tôi tổng hợp các bộ điều khiển riêng lẻ bằng RL, sau đó phân chia các bộ điều khiển thành các cấu trúc chuyển đổi dựa trên các phép đo đầu ra pin ban đầu bằng cách sử dụng trừu tượng hóa dựa trên dữ liệu. Hệ thống lai kết quả 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 pin liên tục. 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.
