यह शोधपत्र चार्जिंग गति और बैटरी जीवन में गिरावट के बीच के संतुलन को संबोधित करने के लिए एक उच्च-निष्ठा, भौतिकी-आधारित बैटरी मॉडल का उपयोग करते हुए एक डेटा-संचालित चार्जिंग और सुरक्षा प्रोटोकॉल डिज़ाइन दृष्टिकोण प्रस्तावित करता है। प्रति-उदाहरण-निर्देशित आगमनात्मक संश्लेषण तकनीक का लाभ उठाते हुए, हम एक संकर नियंत्रण रणनीति प्रस्तुत करते हैं जो सुदृढीकरण अधिगम (RL) और डेटा-संचालित औपचारिक विधियों को जोड़ती है। हम RL का उपयोग करके अलग-अलग नियंत्रकों का संश्लेषण करते हैं, और फिर नियंत्रकों को ऐसी संरचनाओं में विभाजित करते हैं जो डेटा-संचालित अमूर्तता का उपयोग करके प्रारंभिक बैटरी आउटपुट माप के आधार पर स्विच करते हैं। परिणामी संकर प्रणाली RL-आधारित नियंत्रकों के बीच असतत चयन को सतत बैटरी गतिकी के साथ जोड़ती है। एक बार डिज़ाइन आवश्यकताओं को पूरा कर लेता है, तो अमूर्तता बंद-लूप प्रदर्शन पर संभाव्य गारंटी प्रदान करती है।
