-
Pseudo-random sequences for low-cost operando impedance measurements of Li-ion batteries
Authors:
Jussi Sihvo,
Noël Hallemans,
Ai Hui Tan,
David A. Howey,
Stephen. R. Duncan,
Tomi Roinila
Abstract:
Operando impedance measurements are promising for monitoring batteries in the field. In this work, we present pseudo-random sequences for low-cost operando battery impedance measurements. The quadratic-residue ternary sequence and direct-synthesis ternary sequence exhibit specific properties related to eigenvectors of the discrete Fourier transform matrix that allow computationally efficient compe…
▽ More
Operando impedance measurements are promising for monitoring batteries in the field. In this work, we present pseudo-random sequences for low-cost operando battery impedance measurements. The quadratic-residue ternary sequence and direct-synthesis ternary sequence exhibit specific properties related to eigenvectors of the discrete Fourier transform matrix that allow computationally efficient compensation for drifts and transients in operando impedance measurements. We describe the application of pseudo-random sequences and provide the data processing required to suppress drift and transients, validated on simulations. Finally, we perform experimental operando impedance measurements on a Li-ion battery cell during fast-charging, demonstrating the applicability of the proposed method. It's low-cost hardware requirements, fast measurements, and simple data-processing make the method practical for embedding in battery management systems.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
Physics-based battery model parametrisation from impedance data
Authors:
Noël Hallemans,
Nicola E. Courtier,
Colin P. Please,
Brady Planden,
Rishit Dhoot,
Robert Timms,
S. Jon chapman,
David Howey,
Stephen R. Duncan
Abstract:
Non-invasive parametrisation of physics-based battery models can be performed by fitting the model to electrochemical impedance spectroscopy (EIS) data containing features related to the different physical processes. However, this requires an impedance model to be derived, which may be complex to obtain analytically. We have developed the open-source software PyBaMM-EIS that provides a fast method…
▽ More
Non-invasive parametrisation of physics-based battery models can be performed by fitting the model to electrochemical impedance spectroscopy (EIS) data containing features related to the different physical processes. However, this requires an impedance model to be derived, which may be complex to obtain analytically. We have developed the open-source software PyBaMM-EIS that provides a fast method to compute the impedance of any PyBaMM model at any operating point using automatic differentiation. Using PyBaMM-EIS, we investigate the impedance of the single particle model, single particle model with electrolyte (SPMe), and Doyle-Fuller-Newman model, and identify the SPMe as a parsimonious option that shows the typical features of measured lithium-ion cell impedance data. We provide a grouped parameter SPMe and analyse the features in the impedance related to each parameter. Using the open-source software PyBOP, we estimate 18 grouped parameters both from simulated impedance data and from measured impedance data from a LG M50LT lithium-ion battery. The parameters that directly affect the response of the SPMe can be accurately determined and assigned to the correct electrode. Crucially, parameter fitting must be done simultaneously to data across a wide range of states-of-charge. Overall, this work presents a practical way to find the parameters of physics-based models.
△ Less
Submitted 23 April, 2025; v1 submitted 14 December, 2024;
originally announced December 2024.
-
Graded lithium-ion battery pouch cells to homogenise current distributions and mitigate lithium plating
Authors:
Ross Drummond,
Eloise C. Tredenick,
Toby L. Kirk,
Marveh Forghani,
Patrick S. Grant,
Stephen R. Duncan
Abstract:
Spatial distributions in current, temperature, state-of-charge and degradation across the plane of large format lithium-ion battery pouch cells can significantly impact their performance, especially at high C-rates. In this paper, a method to smooth out these spatial distributions by grading the electrode microstructure in-the-plane is proposed. A mathematical model of a large format pouch cell is…
▽ More
Spatial distributions in current, temperature, state-of-charge and degradation across the plane of large format lithium-ion battery pouch cells can significantly impact their performance, especially at high C-rates. In this paper, a method to smooth out these spatial distributions by grading the electrode microstructure in-the-plane is proposed. A mathematical model of a large format pouch cell is developed and validated against both temperature and voltage experimental data. An analytical solution for the optimal graded electrode that achieves a uniform current distribution across the pouch cell is then derived. The model predicts that the graded electrodes could significantly reduce the likelihood of lithium plating in large format pouch cells, with grading increasing the C-rate at which plating occurs from 2.4C to 4.3C. These results indicate the potential of designing spatially varying electrode architectures to homogenise the response of large format pouch cells and improve their high rate performance.
△ Less
Submitted 18 December, 2024; v1 submitted 28 July, 2024;
originally announced July 2024.
-
Bounding the difference between model predictive control and neural networks
Authors:
Ross Drummond,
Stephen R. Duncan,
Matthew C. Turner,
Patricia Pauli,
Frank Allgöwer
Abstract:
There is a growing debate on whether the future of feedback control systems will be dominated by data-driven or model-driven approaches. Each of these two approaches has their own complimentary set of advantages and disadvantages, however, only limited attempts have, so far, been developed to bridge the gap between them. To address this issue, this paper introduces a method to bound the worst-case…
▽ More
There is a growing debate on whether the future of feedback control systems will be dominated by data-driven or model-driven approaches. Each of these two approaches has their own complimentary set of advantages and disadvantages, however, only limited attempts have, so far, been developed to bridge the gap between them. To address this issue, this paper introduces a method to bound the worst-case error between feedback control policies based upon model predictive control (MPC) and neural networks (NNs). This result is leveraged into an approach to automatically synthesize MPC policies minimising the worst-case error with respect to a NN. Numerical examples highlight the application of the bounds, with the goal of the paper being to encourage a more quantitative understanding of the relationship between data-driven and model-driven control.
△ Less
Submitted 13 April, 2022;
originally announced April 2022.
-
Regional Stability Analysis of Transitional Fluid Flows
Authors:
Leonardo F. Toso,
Ross Drummond,
Stephen R. Duncan
Abstract:
A method to bound the maximum energy perturbation for which regional stability of transitional fluid flow models can be guaranteed is introduced. The proposed method exploits the fact that the fluid model's nonlinearities are both lossless and locally bounded and uses the axes lengths of the ellipsoids for the trajectory set containment as variables in the stability conditions. Compared to existin…
▽ More
A method to bound the maximum energy perturbation for which regional stability of transitional fluid flow models can be guaranteed is introduced. The proposed method exploits the fact that the fluid model's nonlinearities are both lossless and locally bounded and uses the axes lengths of the ellipsoids for the trajectory set containment as variables in the stability conditions. Compared to existing approaches, the proposed method leads to an average increase in the maximum allowable energy perturbation of 29% for the Waleffe-KimHamilton (WKH) shear flow model and of 38% for the 9-state reduced model of Couette flow.
△ Less
Submitted 15 October, 2021;
originally announced October 2021.
-
Model Predictive Control for Electron Beam Stabilization in a Synchrotron
Authors:
Idris Kempf,
Paul J. Goulart,
Stephen R. Duncan
Abstract:
Electron beam stabilization in a synchrotron is a disturbance rejection problem, with hundreds of inputs and outputs, that is sampled at frequencies higher than $10$ kHz. In this feasibility study, we focus on the practical issues of an efficient implementation of model predictive control (MPC) for the heavily ill-conditioned plant of the electron beam stabilization problem. To obtain a tractable…
▽ More
Electron beam stabilization in a synchrotron is a disturbance rejection problem, with hundreds of inputs and outputs, that is sampled at frequencies higher than $10$ kHz. In this feasibility study, we focus on the practical issues of an efficient implementation of model predictive control (MPC) for the heavily ill-conditioned plant of the electron beam stabilization problem. To obtain a tractable control problem that can be solved using only a few iterations of the fast gradient method, we investigate different methods for preconditioning the resulting optimization problem and relate our findings to standard regularization techniques from cross-directional control. We summarize the single- and multi-core implementations of our control algorithm on a digital signal processor (DSP), and show that MPC can be executed at the rate required for synchrotron control. MPC overcomes various problems of standard electron beam stabilization techniques, and the successful implementation can increase the stability of photon beams in synchrotron light sources.
△ Less
Submitted 4 July, 2021;
originally announced July 2021.
-
A Higher-Order Generalized Singular Value Decomposition for Rank Deficient Matrices
Authors:
Idris Kempf,
Paul J. Goulart,
Stephen R. Duncan
Abstract:
The higher-order generalized singular value decomposition (HO-GSVD) is a matrix factorization technique that extends the GSVD to $N \ge 2$ data matrices, and can be used to identify shared subspaces in multiple large-scale datasets with different row dimensions. The standard HO-GSVD factors $N$ matrices $A_i\in\mathbb{R}^{m_i\times n}$ as $A_i=U_iΣ_i V^\text{T}$, but requires that each of the matr…
▽ More
The higher-order generalized singular value decomposition (HO-GSVD) is a matrix factorization technique that extends the GSVD to $N \ge 2$ data matrices, and can be used to identify shared subspaces in multiple large-scale datasets with different row dimensions. The standard HO-GSVD factors $N$ matrices $A_i\in\mathbb{R}^{m_i\times n}$ as $A_i=U_iΣ_i V^\text{T}$, but requires that each of the matrices $A_i$ has full column rank. We propose a modification of the HO-GSVD that extends its applicability to rank-deficient data matrices $A_i$. If the matrix of stacked $A_i$ has full rank, we show that the properties of the original HO-GSVD extend to our approach. We extend the notion of common subspaces to isolated subspaces, which identify features that are unique to one $A_i$. We also extend our results to the higher-order cosine-sine decomposition (HO-CSD), which is closely related to the HO-GSVD. Our extension of the standard HO-GSVD allows its application to datasets with with $m_i<n$ or $\text{rank}(A_i)<n$, such as are encountered in bioinformatics, neuroscience, control theory or classification problems.
△ Less
Submitted 20 June, 2022; v1 submitted 19 February, 2021;
originally announced February 2021.
-
Reduced-Order Neural Network Synthesis with Robustness Guarantees
Authors:
Ross Drummond,
Mathew C. Turner,
Stephen R. Duncan
Abstract:
In the wake of the explosive growth in smartphones and cyberphysical systems, there has been an accelerating shift in how data is generated away from centralised data towards on-device generated data. In response, machine learning algorithms are being adapted to run locally on board, potentially hardware limited, devices to improve user privacy, reduce latency and be more energy efficient. However…
▽ More
In the wake of the explosive growth in smartphones and cyberphysical systems, there has been an accelerating shift in how data is generated away from centralised data towards on-device generated data. In response, machine learning algorithms are being adapted to run locally on board, potentially hardware limited, devices to improve user privacy, reduce latency and be more energy efficient. However, our understanding of how these device orientated algorithms behave and should be trained is still fairly limited. To address this issue, a method to automatically synthesize reduced-order neural networks (having fewer neurons) approximating the input/output mapping of a larger one is introduced. The reduced-order neural network's weights and biases are generated from a convex semi-definite programme that minimises the worst-case approximation error with respect to the larger network. Worst-case bounds for this approximation error are obtained and the approach can be applied to a wide variety of neural networks architectures. What differentiates the proposed approach to existing methods for generating small neural networks, e.g. pruning, is the inclusion of the worst-case approximation error directly within the training cost function, which should add robustness. Numerical examples highlight the potential of the proposed approach. The overriding goal of this paper is to generalise recent results in the robustness analysis of neural networks to a robust synthesis problem for their weights and biases.
△ Less
Submitted 7 December, 2021; v1 submitted 18 February, 2021;
originally announced February 2021.
-
Structural Identifiability of a Pseudo-2D Li-ion Battery Electrochemical Model
Authors:
Ross Drummond,
Stephen R. Duncan
Abstract:
Growing demand for fast charging and optimised battery designs is fuelling significant interest in electrochemical models of Li-ion batteries. However, estimating parameter values for these models remains a major challenge. In this paper, a structural identifiability analysis was applied to a pseudo-2D Li-ion electrochemical battery model that can be considered as a linearised and decoupled form o…
▽ More
Growing demand for fast charging and optimised battery designs is fuelling significant interest in electrochemical models of Li-ion batteries. However, estimating parameter values for these models remains a major challenge. In this paper, a structural identifiability analysis was applied to a pseudo-2D Li-ion electrochemical battery model that can be considered as a linearised and decoupled form of the benchmark Doyle-Fuller-Newman model. From an inspection of the impedance function, it was shown that this model is uniquely parametrised by 21 parameters, being combinations of the electrochemical parameters like the conductivities and diffusion coefficients. The well-posedness of the parameter estimation problem with these parameters was then established. This result could lead to more realistic predictions about the internal state of the battery by identifying the parameter set that can be uniquely identified from the data.
△ Less
Submitted 3 December, 2020;
originally announced December 2020.
-
Robust error bounds for quantised and pruned neural networks
Authors:
Jiaqi Li,
Ross Drummond,
Stephen R. Duncan
Abstract:
With the rise of smartphones and the internet-of-things, data is increasingly getting generated at the edge on local, personal devices. For privacy, latency and energy saving reasons, this shift is causing machine learning algorithms to move towards decentralisation with the data and algorithms stored, and even trained, locally on devices. The device hardware becomes the main bottleneck for model…
▽ More
With the rise of smartphones and the internet-of-things, data is increasingly getting generated at the edge on local, personal devices. For privacy, latency and energy saving reasons, this shift is causing machine learning algorithms to move towards decentralisation with the data and algorithms stored, and even trained, locally on devices. The device hardware becomes the main bottleneck for model capability in this set-up, creating a need for slimmed down, more efficient neural networks. Neural network pruning and quantisation are two methods that have been developed for this, with both approaches demonstrating impressive results in reducing the computational cost without sacrificing significantly on model performance. However, the understanding behind these reduction methods remains underdeveloped. To address this issue, a semi-definite program is introduced to bound the worst-case error caused by pruning or quantising a neural network. The method can be applied to many neural network structures and nonlinear activation functions with the bounds holding robustly for all inputs in specified sets. It is hoped that the computed bounds will provide certainty to the performance of these algorithms when deployed on safety-critical systems.
△ Less
Submitted 27 April, 2021; v1 submitted 30 November, 2020;
originally announced December 2020.
-
Multi-Array Electron Beam Stabilization using Block-Circulant Transformation and Generalized Singular Value Decomposition
Authors:
Idris Kempf,
Stephen R. Duncan,
Paul J. Goulart,
Guenther Rehm
Abstract:
We introduce a novel structured controller design for the electron beam stabilization problem of the UK's national synchrotron light source. Because changes to the synchrotron will not allow the application of existing control approaches, we develop a novel method to diagonalize the multi-input multi-output (MIMO) system. A generalized singular value decomposition (GSVD) is used to simultaneously…
▽ More
We introduce a novel structured controller design for the electron beam stabilization problem of the UK's national synchrotron light source. Because changes to the synchrotron will not allow the application of existing control approaches, we develop a novel method to diagonalize the multi-input multi-output (MIMO) system. A generalized singular value decomposition (GSVD) is used to simultaneously diagonalize the actuator response matrices, which is applicable to an arbitrary number of actuator dynamics in a cross-directional setting. The resulting decoupled systems are regulated using mid-ranged control and the controller gains derived as a function of the generalized singular values. In addition, we exploit the inherent block-circulant symmetry of the system. The performance of our controller is demonstrated using simulations that involve machine data.
△ Less
Submitted 1 September, 2020;
originally announced September 2020.
-
Symmetry Exploitation in Orbit Feedback Systems of Synchrotron Storage Rings
Authors:
Idris Kempf,
Paul J. Goulart,
Stephen R. Duncan,
Guenther Rehm
Abstract:
Structural symmetries in the storage ring of synchrotrons are intentionally created during the design phase of the magnetic lattices, but they are not considered in the design of control algorithms that stabilize the beam of accelerated particles. The choice of control algorithm, however, is limited by the speed requirements of the synchrotron. Standard control algorithms for synchrotrons are base…
▽ More
Structural symmetries in the storage ring of synchrotrons are intentionally created during the design phase of the magnetic lattices, but they are not considered in the design of control algorithms that stabilize the beam of accelerated particles. The choice of control algorithm, however, is limited by the speed requirements of the synchrotron. Standard control algorithms for synchrotrons are based on a singular value decomposition (SVD) of the orbit response matrix. SVD controllers neither exploit the structural symmetries nor exhibit any speed advantages. Based on the periodicity and the reflection properties of the betatron function, we show that these structural symmetries are inherited by the orbit response matrix. We show that the resulting block-circulant and centrosymmetric properties of the matrix can be used for different computationally efficient decompositions of the controller. We also address the case of broken symmetry due to odd placements of magnets and monitors. Our efficient decomposition could enable the use of more advanced control techniques for synchrotrons, such as control algorithms that require real-time optimization. These advanced control techniques could in turn increase the quality of research in synchrotron light sources.
△ Less
Submitted 31 August, 2020;
originally announced August 2020.
-
Identifiability and parameter estimation of the single particle lithium-ion battery model
Authors:
Adrien M. Bizeray,
Jin-Ho Kim,
Stephen R. Duncan,
David A. Howey
Abstract:
This paper investigates the identifiability and estimation of the parameters of the single particle model (SPM) for lithium-ion battery simulation. Identifiability is addressed both in principle and in practice. The approach begins by grouping parameters and partially non-dimensionalising the SPM to determine the maximum expected degrees of freedom in the problem. We discover that, excluding open…
▽ More
This paper investigates the identifiability and estimation of the parameters of the single particle model (SPM) for lithium-ion battery simulation. Identifiability is addressed both in principle and in practice. The approach begins by grouping parameters and partially non-dimensionalising the SPM to determine the maximum expected degrees of freedom in the problem. We discover that, excluding open circuit voltage, there are only six independent parameters. We then examine the structural identifiability by considering whether the transfer function of the linearised SPM is unique. It is found that the model is unique provided that the electrode open circuit voltage functions have a known non-zero gradient, the parameters are ordered, and the electrode kinetics are lumped into a single charge transfer resistance parameter. We then demonstrate the practical estimation of model parameters from measured frequency-domain experimental electrochemical impedance spectroscopy (EIS) data, and show additionally that the parametrised model provides good predictive capabilities in the time domain, exhibiting a maximum voltage error of 20 mV between model and experiment over a 10 minute dynamic discharge.
△ Less
Submitted 24 January, 2018; v1 submitted 8 February, 2017;
originally announced February 2017.
-
Circuit Synthesis of Electrochemical Supercapacitor Models
Authors:
Ross Drummond,
Shi Zhao,
David A. Howey,
Stephen R. Duncan
Abstract:
This paper is concerned with the synthesis of RC electrical circuits from physics-based supercapacitor models describing conservation and diffusion relationships. The proposed synthesis procedure uses model discretisation, linearisation, balanced model order reduction and passive network synthesis to form the circuits. Circuits with different topologies are synthesized from several physical models…
▽ More
This paper is concerned with the synthesis of RC electrical circuits from physics-based supercapacitor models describing conservation and diffusion relationships. The proposed synthesis procedure uses model discretisation, linearisation, balanced model order reduction and passive network synthesis to form the circuits. Circuits with different topologies are synthesized from several physical models. This work will give greater understanding to the physical interpretation of electrical circuits and will enable the development of more generalised circuits, since the synthesized impedance functions are generated by considering the physics, not from experimental fitting which may ignore certain dynamics.
△ Less
Submitted 30 March, 2016;
originally announced March 2016.
-
Observability analysis and state estimation of lithium-ion batteries in the presence of sensor biases
Authors:
Shi Zhao,
Stephen R. Duncan,
David A. Howey
Abstract:
This paper investigates the observability of one of the most commonly used equivalent circuit models (ECMs) for lithium-ion batteries and presents a method to estimate the state of charge (SOC) in the presence of sensor biases, highlighting the importance of observability analysis for choosing appropriate state estimation algorithms. Using a differential geometric approach, necessary and sufficien…
▽ More
This paper investigates the observability of one of the most commonly used equivalent circuit models (ECMs) for lithium-ion batteries and presents a method to estimate the state of charge (SOC) in the presence of sensor biases, highlighting the importance of observability analysis for choosing appropriate state estimation algorithms. Using a differential geometric approach, necessary and sufficient conditions for the nonlinear ECM to be observable are derived and are shown to be different from the conditions for the observability of the linearised model. It is then demonstrated that biases in the measurements, due to sensor ageing or calibration errors, can be estimated by applying a nonlinear Kalman filter to an augmented model where the biases are incorporated into the state vector. Experiments are carried out on a lithium-ion pouch cell and three types of nonlinear filters, the first-order extended Kalman filter (EKF), the second-order EKF and the unscented Kalman filter (UKF) are applied using experimental data. The different performances of the filters are explained from the point of view of observability.
△ Less
Submitted 11 March, 2016; v1 submitted 22 October, 2015;
originally announced October 2015.
-
Lithium-ion battery thermal-electrochemical model-based state estimation using orthogonal collocation and a modified extended Kalman filter
Authors:
A. M. Bizeray,
S. Zhao,
S. R. Duncan,
D. A. Howey
Abstract:
This paper investigates the state estimation of a high-fidelity spatially resolved thermal- electrochemical lithium-ion battery model commonly referred to as the pseudo two-dimensional model. The partial-differential algebraic equations (PDAEs) constituting the model are spatially discretised using Chebyshev orthogonal collocation enabling fast and accurate simulations up to high C-rates. This imp…
▽ More
This paper investigates the state estimation of a high-fidelity spatially resolved thermal- electrochemical lithium-ion battery model commonly referred to as the pseudo two-dimensional model. The partial-differential algebraic equations (PDAEs) constituting the model are spatially discretised using Chebyshev orthogonal collocation enabling fast and accurate simulations up to high C-rates. This implementation of the pseudo-2D model is then used in combination with an extended Kalman filter algorithm for differential-algebraic equations to estimate the states of the model. The state estimation algorithm is able to rapidly recover the model states from current, voltage and temperature measurements. Results show that the error on the state estimate falls below 1 % in less than 200 s despite a 30 % error on battery initial state-of-charge and additive measurement noise with 10 mV and 0.5 K standard deviations.
△ Less
Submitted 29 June, 2015;
originally announced June 2015.
-
Low-Order Mathematical Modelling of Electric Double Layer Supercapacitors Using Spectral Methods
Authors:
Ross Drummond,
David A. Howey,
Stephen R. Duncan
Abstract:
This work investigates two physics-based models that simulate the non-linear partial differential algebraic equations describing an electric double layer supercapacitor. In one model the linear dependence between electrolyte concentration and conductivity is accounted for, while in the other model it is not. A spectral element method is used to discretise the model equations and it is found that t…
▽ More
This work investigates two physics-based models that simulate the non-linear partial differential algebraic equations describing an electric double layer supercapacitor. In one model the linear dependence between electrolyte concentration and conductivity is accounted for, while in the other model it is not. A spectral element method is used to discretise the model equations and it is found that the error convergence rate with respect to the number of elements is faster compared to a finite difference method. The increased accuracy of the spectral element approach means that, for a similar level of solution accuracy, the model simulation computing time is approximately 50% of that of the finite difference method. This suggests that the spectral element model could be used for control and state estimation purposes. For a typical supercapacitor charging profile, the numerical solutions from both models closely match experimental voltage and current data. However, when the electrolyte is dilute or where there is a long charging time, a noticeable difference between the numerical solutions of the two models is observed. Electrical impedance spectroscopy simulations show that the capacitance of the two models rapidly decreases when the frequency of the perturbation current exceeds an upper threshold.
△ Less
Submitted 28 November, 2014;
originally announced December 2014.
