Abstract: Recent years have seen a surging interest in developing under-approximations of reachable sets due to their potential applications in control synthesis and verification. In this letter, we ...
Abstract: An open-circuit voltage (OCV) model, which represents OCV as a function of state of charge (SOC), is essential for estimating the state of a battery. Typically, the OCV-SOC characteristic is ...