1. Introduction
Driven by the global energy system’s transformation towards clean and low-carbon, the popularity of electric vehicles (EVs) is increasing [
1,
2]. Lithium-ion batteries have become the primary power source for EVs due to their characteristics, including long cycle life, high energy density, and no memory effect [
3,
4]. However, the complex internal degradation mechanisms of these batteries are highly coupled, nonlinear, and time-varying, which complicates accurate state estimation. Accurately estimating the State of Energy (SOE) and State of Health (SOH) of batteries is crucial for a battery management system (BMS), as it directly influences operational safety, energy management efficiency, and lifetime prediction accuracy [
5]. Consequently, high-precision, real-time joint estimation of SOE and SOH is critical for advancing battery management technology.
State of Energy (SOE) is a vital parameter that describes the dynamic charging and discharge process of lithium-ion batteries. It is defined as the ratio of a battery’s remaining energy to its rated energy. According to current research, battery SOE estimate techniques may be broadly divided into three categories: power integration methods, data-driven methods, and model-based methods [
6,
7,
8]. The power integration method determines SOE by cumulatively integrating current over time, benefiting from computational simplicity. However, its reliance on an accurate initial SOE value and sensitivity to cumulative errors restrict its widespread application [
9]. In contrast, data-driven methods utilize operational data (e.g., current, voltage) with machine learning algorithms to estimate SOE without an explicit battery model, thereby capturing complex nonlinear relationships. A key drawback, however, is their dependence on large training datasets and potentially limited robustness in unseen scenarios [
10,
11]. Consequently, model-based methods have garnered a lot of attention due to their simplicity, reliability, and stability. The model-based method achieves precise SOE estimation by fusing high-fidelity battery models with advanced filters, which dynamically correct the system state based on the difference between measured values and model predictions [
12].
Based on battery models, the Kalman filter (KF) algorithm has become the mainstream technique for SOE estimation [
13,
14]. By minimizing the mean square error covariance of the state estimate, the Kalman filter (KF) provides the best unbiased estimation for linear Gaussian systems. It iteratively corrects predictions during operation and exhibits robust convergence even with initial state errors. However, the KF algorithm assumes that system noise statistics are stationary and follow a Gaussian distribution. In real-world battery systems, this assumption is often violated, which can lead to divergence or growing estimation errors due to noise mismatches. Consequently, researchers have developed several improved algorithms [
15,
16,
17,
18]. Due to its manageable computational complexity, the EKF has emerged as a common choice for nonlinear SOE estimation. Nevertheless, its performance is highly dependent on model accuracy and the empirical tuning of noise covariance matrices. This limitation necessitates the integration of adaptive mechanisms to ensure robustness across all operating conditions [
19].
The accuracy of model-based methods is heavily reliant on how well the model represents the intricate electrochemical behavior of the battery. Therefore, establishing a precise battery model is essential [
20]. Battery models are primarily categorized as electrochemical models and equivalent circuit models (ECMs). ECMs represent complex electrochemical systems using circuit-based networks. Despite utilizing only a limited number of electrical components, ECMs can achieve high accuracy and are divided into integer-order models (IOMs) or fractional-order models (FOMs) [
21]. FOMs characterize battery dynamics more accurately than IOM, particularly for voltage transients under dynamic and non-equilibrium conditions. For instance, Reference [
22] demonstrated that under diverse operating conditions, FOMs capture battery characteristics more accurately, significantly enhancing the precision of terminal voltage estimation. Given these advantages, FOMs are widely utilized for battery state estimation and performance optimization [
23].
The accurate estimation of the State of Energy (SOE) is challenged by factors such as noise interference, state limitations, and parameter uncertainty during lithium-ion battery operation [
24,
25,
26]. To address these challenges, several joint estimation methods have been proposed. For instance, Reference [
27] presents a method that first updates battery model parameters and capacity in real-time before using UKF for joint SOE-SOH estimation. To mitigate SOE estimation errors caused by declining SOH, Reference [
28] utilizes an enhanced dual extended Kalman filter (DEKF) algorithm to estimate SOE and SOH. However, many existing methods struggle with the highly complex nature of battery operation. Focusing on SOE estimation errors induced by environmental temperature and parameter coupling, Reference [
25] proposes a collaborative estimation method of SOE and maximum available energy based on an adaptive dual-fractional-order Kalman filter, which improves SOE accuracy by updating the maximum available energy in real time. However, existing methods often lack the responsiveness and adaptability to accommodate shifting operational conditions. Moreover, they frequently fail to systematically address the impact of time-varying noise on the stability and accuracy of filter estimates, which constrains their reliability in real-world applications. This challenge of achieving robust and accurate state estimation under uncertainty is a significant frontier in battery research. As a recent review of energy storage technologies has highlighted, there is growing recognition of the need to augment model-based estimators with adaptive mechanisms. Looking ahead, the integration of multi-physics sensor data will be essential for overcoming inherent limitations and enhancing reliability [
29].
To address these gaps and meet the practical requirements of BMS, this study proposes a novel joint estimation approach for SOE and SOH based on a fractional-order adaptive strong-tracking robust EKF framework (FOASTFREKF-EKF).
The main contributions of this paper are as follows:
The algorithm incorporates adaptive theory and H∞ filtering to update noise statistics in real time, significantly enhancing the stability and accuracy of SOE estimation.
A time-varying attenuation factor is integrated into the filtering process to minimize dependence on historical data and improve sensitivity to sudden changes in operating conditions.
The framework explicitly accounts for the impact of battery aging on SOE. An EKF is employed for online battery parameter identification and SOH estimation, thereby improving the overall precision.
A multi-timescale strategy is adopted for the joint estimation of SOE and SOH to reduce computational complexity. The proposed method is validated using experimental data from a custom-built test platform. The results confirm its effectiveness and demonstrate its capabilities.
2. State Estimation of Lithium Batteries
The EKF is a prevalent technique for SOE estimation due to its effectiveness in dynamic state estimation. Although well-suited for high-dimensional nonlinear systems, the EKF algorithm suffers from reduced accuracy and robustness when applied to complex battery models. Furthermore, battery aging induces time-varying characteristics in the model parameters, causing batteries with identical SOE levels to exhibit markedly different behaviors depending on their varying degrees of degradation. Consequently, high-precision SOE estimation must account for the battery aging state as a critical influencing factor. To address these limitations, this section presents a novel FOASTFREKF-EKF algorithm. This method enhances the traditional EKF by integrating H∞ filtering and adaptive theory, and introduces a time-varying attenuation factor to lessen the model’s reliance on historical data. The proposed framework explicitly incorporates the impact of battery aging and performs simultaneous online estimation of battery parameters, SOH, and SOE, thereby achieving significant improvements in both stability and accuracy.
2.1. Fractional-Order Model
Electrochemical impedance spectroscopy (EIS) characterizes the impedance changes of lithium-ion batteries at different frequencies [
30]. The resulting data is commonly represented as a Nyquist plot, where the shape of specific regions corresponds to the changes in the internal state of the battery, as illustrated in
Figure 1.
Traditional integer-order equivalent circuit models use ordinary differential equations to describe battery dynamics. These models’ ideal capacitive elements neglect microscopic inhomogeneities at the electrode interface and thus fail to accurately fit the flattened semicircle observed in the mid-frequency region of EIS, i.e., the “dispersion effect”. This results in significant discrepancies between the models and the experimental data. To better represent the nonlinear and dynamic electrochemical processes in lithium-ion batteries, this paper replaces the ideal capacitive components with a constant phase element (CPE). This modification enables the establishment of a fractional-order equivalent circuit model, as shown in
Figure 2.
In this model,
Uocv is the open circuit voltage,
R0 is the ohmic internal resistance,
R1 and
CPE1 are the polarization resistance and capacitance, respectively;
R2 and
CPE2 are the diffusion resistance and capacitance, respectively; and
Ut is the terminal voltage. Based on Kirchhoff’s laws of current and voltage, the state equations and observation equation for the fractional-order model are derived:
where
U1 and
U2 are the voltages across the resistance and capacitance,
It is the operating current,
m and
n are respectively the orders of the
CPE1 and
CPE2,
TS is the time step, and
En is the maximum available energy of the battery.
Equation (1) must be discretized for battery state estimation. The Grünwald-Letnikov (G-L) fractional calculus introduces the concept of discrete differences, which makes it suitable for handling non-integer order calculus operations. Consequently, this paper processes fractional-order differential terms using the G-L fractional calculus. The definition of G-L fractional calculus is as follows:
where
is the fractional order differential operator,
a and
t are the lower and upper limits of integration, respectively, and
is the binomial coefficient.
Equation (1) can be discretized as follows:
where
,
,
,
,
.
Equation (2) simplifies to the following at time k after discretization:
where
,
.
2.2. Parameter Identification
Based on the fractional-order equivalent circuit model established here, the following parameters now require identification:
R0,
R1,
R2,
CPE1,
CPE2,
m, and
n. Fractional-order models usually use offline identification to guarantee identification accuracy and minimize computing complexity. To achieve optimal identification performance, this paper utilizes the Starfish Optimization Algorithm (SFOA), which has greater effectiveness than the mainstream Adaptive Genetic Algorithm (AGA) [
31,
32,
33] for multi-parameter optimization. The SFOA effectively addresses AGA’s limitations toward premature convergence and parameter sensitivity through its unique balanced search mechanism, which strategically integrates global exploration with local exploitation.
A recent heuristic algorithm called the Starfish Optimization Algorithm (SFOA) addresses optimization problems by emulating the collective behaviors of starfish, such as collaborative exploration, predation, and regeneration [
34]. Exploration and exploitation are the two main phases of the SFOA. The exploration resembles the exploratory behavior of starfish. Depending on the dimensionality (D) of the optimization problem, the algorithm uses either a five-dimensional or one-dimensional search model for different optimization tasks. The exploitation phase simulates starfish predation and regeneration behaviors to update the population and converge toward the global optimum. Since starfish move slowly during regeneration, the regeneration phase of the SFOA is applied only to the last individual in the population (
i = N).
The key advantage of the SFOA is its effective balance between global exploration and local exploitation, enabled by a unique collaborative branch exploration mechanism and an adaptive regenerative process. These features collectively ensure the algorithm’s efficient convergence and overall robustness.
The SFOA consists of the following steps:
- (1)
Initialization: An initial population of starfish individuals is generated randomly, each representing a potential solution.
- (2)
Calculate individual fitness: A fitness function is defined, and the fitness values for each starfish are computed at the current iteration.
- (3)
Update starfish positions: In the exploration phase, the positions are updated according to the problem’s dimensionality (D). In the exploitation phase, positions are updated by simulating predation and regeneration.
- (4)
Archive updates: The optimal positions of each starfish are updated by comparing its current fitness value with those of all other starfish.
- (5)
Output results: When the iteration termination criteria are met, the SFOA ends, achieving identification of circuit model parameters.
Figure 3 illustrates the algorithm’s flowchart, where rand denotes a random number within [0, 1], and
Gp is set to 0.5 in this study.
By searching for the optimal parameter set, the SFOA minimizes the error between the terminal voltage that the model predicts and the actual terminal voltage.
2.3. REKF Based on a Fractional-Order Model
A state-space representation of the fractional-order equivalent circuit model must be established before applying the EKF for dynamic system estimation:
where
xk is the state vector,
yk is the observation value, ω
k is the process noise whose covariance matrix is
Qk, and
vk is the observation noise whose covariance matrix is
Rk.
The EKF provides an optimal estimate in the minimum error sense only if both the process and measurement noise are Gaussian white noise with known statistical properties. If this condition is not satisfied, the EKF performance degrades. In contrast, the H∞ filter employs a minimax criterion, designed to minimize the worst-case estimation error caused by disturbances, thereby significantly improving robustness [
35,
36].
The robust Extended Kalman Filter based on the fractional-order (FOREKF) is formulated by integrating the robustness of the H∞ filter into the traditional EKF framework. Based on the fractional-order battery model from Equations (5) and (6), the cost function
J is defined as follows:
where
P0 is the covariance matrix of the initial error, and
Sj is a positive definite matrix.
The H∞ filter is designed to minimize the upper bound of the cost function J:
As a key design parameter, the value of γ must be balanced against the need for minimum variance and optimal filtering performance.
The specific FOREKF procedure is as follows:
- (1)
Initialize the parameters x0, P0, Q0, R0.
- (2)
Calculate the predicted values of the state variable and prior estimation error covariance matrix:
- (3)
Calculate the Kalman gain matrix and extended residual covariance matrix:
- (4)
Update of state variables, observations, and estimation error covariance matrix:
where
I is the identity matrix. Steps (2) and (4) are repeated iteratively for each time step
k = 1, 2, … until the sampling period concludes.
2.4. SOE Estimation Based on FOASTFREKF
The FOREKF, while based on the EKF framework, is optimal only under the assumption of fixed noise statistics. However, this assumption is often invalid for real-world battery systems, which exhibit time-varying noise properties, leading to reduced estimation accuracy. The REKF uses a first-order Taylor expansion to achieve local linearization in nonlinear systems. It retains only the Jacobian matrix but discards all higher-order terms. The iterative mechanism of the REKF means the current estimate depends heavily on the previous state estimate. When battery operating conditions change abruptly, this reliance can cause large estimation errors, which may accumulate over time and compromise performance or cause filter divergence.
To address these limitations and improve stability and accuracy, an adaptive mechanism is integrated into the FOREKF to enable real-time adjustment of noise statistics under dynamic operational conditions. Additionally, a time-varying attenuation factor λk is introduced to lessen the algorithm’s dependence on historical data.
- (1)
Adaptive updating of Qk and Rk:
The adaptive noise estimation mechanism uses a sliding window approach to dynamically adjust the Qk and Rk noise covariance matrices by monitoring the statistical characteristics of the new information sequence in real-time.
The new information
dk and the filtered residual information
rk are defined as follows:
where
is the covariance of the new interest rate estimate, and
ω is the length of the sliding data window. This paper uses a window length of 70.
Adaptive update noise is as follows:
- (2)
Strong tracking state update:
A time-varying attenuation factor,
λk, is introduced from the Strong Tracking Filter (STF) to modify the estimated error covariance matrix to enforce the orthogonality of the new state sequence. This technique strengthens the algorithm’s tracking capability during abrupt state changes by assigning less weight to historical data. The modified prior estimation error covariance matrix update formula is as follows:
where the calculation formula of
λk is as follows:
where
ρ is a forgetting factor, determined according to the specific model and application requirements.
2.5. Joint Estimation Method for SOE and SOH Across Multiple Time Scales
The SOE exhibits rapid changes during battery charging and discharging phases, whereas the SOH and related parameters are markedly more stable, often remaining consistent over one or more full charge–discharge cycles. Conventional single-timescale estimation methods struggle to accommodate these divergent dynamic characteristics, resulting in substantially increased computational complexity. To overcome this challenge, this paper proposes a multi-timescale joint estimation framework.
The discrete system equations for the multi-timescale joint estimation algorithm are as follows:
where
,
.
In the joint estimation framework, xk is the state observer, θl is the parameter observer, and Qn is the maximum available capacity. ωk−1, ωl−1, and vk is the process noise. k is the time scale of the state observer, and l is the time scale of the parameter observer. To ensure the validity of the estimation results, this paper sets k to 1 s and l to 60 s.
The system state observer utilizes the FOASTFREKF algorithm to estimate the SOE. It operates on a fast timescale of seconds, enabling real-time tracking of current and voltage dynamics. The system parameter observer employs FOEKF to estimate SOH and update battery model parameters online. It operates on a slow timescale of minutes, tracking parameters that change slowly, such as capacity decay and internal resistance drift.
The specific process for estimating system parameters using FOEKF is as follows:
- (1)
Initialize the parameters θ0, P0, Q0.
- (2)
Calculation of the predicted values of the state variable and prior estimation error covariance matrix:
- (3)
Calculation of the Kalman gain matrix:
- (4)
Update of state variables and estimation error covariance matrix:
Once the first state observer has completed its estimation, its state variables will serve as input for the second parameter observer. At the same time, the parameter variable estimates from the second observer will be fed into the first observer. This bidirectional data exchange, combined with the multi-timescale framework, enables the joint estimation of SOE and SOH. The complete workflow is depicted in
Figure 4.
4. Conclusions
To improve the accuracy and robustness of State of Energy (SOE) and State of Health (SOH) estimation while reducing computational complexity, this study proposes a joint estimation approach for lithium-ion batteries based on a fractional-order model. The proposed framework begins by establishing a fractional-order equivalent circuit model, whose parameters are identified offline using the Starfish Optimization Algorithm (SFOA) for enhanced model fidelity. Subsequently, an H∞ filter is integrated into the structure to improve robustness against model uncertainties and external disturbances, forming the Fractional-Order Robust Extended Kalman Filter (FOREKF) framework. Furthermore, an adaptive noise covariance adjustment mechanism is incorporated to minimize the influence of operational noise. A time-varying attenuation factor is also included to enhance state tracking and response capabilities during sudden system changes, enabling accurate online SOE estimation.
This paper employs an Extended Kalman Filtering (EKF) for online battery parameter identification and SOH estimation, thereby accounting for the influence of parameter aging on SOE accuracy. Furthermore, a multi-timescale joint estimation algorithm for SOE and SOH is introduced, which effectively decouples the state coupling between the fast-varying SOE and the slow-varying SOH. This approach mitigates the impact of model errors on SOE estimation.
Experimental validation under diverse operating conditions demonstrates that the proposed algorithm achieves SOE estimation ME, Max error, and RMSE values consistently fall below 0.005. Similarly, for SOH estimation, the ME, Max error, and RMSE values remain below 0.0057. In comparison to other mainstream methods, the proposed algorithm provides superior accuracy and adaptability, offering a reliable solution for the joint battery state estimation under complex operating conditions.