Abstract: This paper proposes a Kalman filter based state-of-charge (SOC) estimation MATLAB function using a second-order RC equivalent circuit model (ECM). The function requires the SOC-OCV (open ...

Abstract: Path coverage is of critical importance in software testing and verification. Furthermore, path explosion is a well-known challenge for automatic software analysis techniques like symbolic ...