Deterministic Electrochemical Battery State Estimation via Volume-Weighted Lithium Mass Hyperplane Projections: Achieving Zero-Drift SoC and Hard Real-Time BMS on Microcontrollers
Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Advanced Battery Technologies Research
Abstract
Precise on-board estimation of State of Charge (SoC) and State of Health (SoH) in lithium-ion battery management systems (BMS) remains a critical bottleneck in electric vehicle range predictability, fast-charging safety, and pack longevity. Conventional BMS firmware is polarized between two inadequate paradigms: empirical Equivalent Circuit Models (ECM) paired with Extended Kalman Filters (EKF), which evaluate rapidly but suffer from cumulative sensor bias drift (2%–6% SoC error over typical drive cycles) and lack physical diffusion dynamics during pulse acceleration; and full Doyle-Fuller-Newman (DFN/P2D) electrochemical models, whose coupled nonlinear differential-algebraic equations (DAEs) require iterative Newton-Raphson solvers and multi-second compute budgets that exceed the memory and compute capacity of automotive microcontrollers (e.g., ARM Cortex-M4/M7, Infineon AURIX TC397). In this paper, we resolve this dichotomy by introducing IdemBattery, a deterministic, zero-heap electrochemical estimator based on an Enhanced Single Particle Model with Thermal and Degradation Coupling (SPM-T) accelerated by algebraic idempotent metric projectors (Π2 = Π). Solid-phase lithium transport is discretized via conservative spherical finite volumes and inverted in closed form using an unconditionally stable O(N) tridiagonal Thomas algorithm. Interfacial charge transfer is evaluated analytically via inverse hyperbolic sine Butler-Volmer kinetics with second-order boundary layer flux extrapolation, completely bypassing nonlinear root-finding. To eliminate numerical discretization truncation leakage, we formulate the Volume-Weighted Lithium Mass Projector (ΠmassL2), which rigorously satisfies exact mass conservation while provably preserving internal spatial concentration gradients: ∂/∂r(ΠmassL2 cs) ≡ ∂cs/∂r. Boundary lattice saturation is resolved simultaneously via an exact O(N) continuous quadratic knapsack projector (Mmass ∩ Mbox). Physical current-sensor zero-offset bias (+80 mA) is rejected via a closed-loop observer (IdemObserver) with terminal voltage innovation feedback. Parametrized with peer-reviewed experimental data from Chen et al. (2020) for NMC-811/Graphite (LG M50) and Safari & Delacourt (2011) for LFP/Graphite, and incorporating Pinson-Bazant SEI degradation, IdemBattery achieves: An average execution latency of 60.49 μs per step on host CPU (σ = 48.34 μs, P99 = 148.91 μs, ≈ 15,000 instruction cycles on automotive MCUs, comfortably fitting within 10–100 ms BMS loop deadlines); Provable machine-precision lithium mass invariance (|ΔQ| / Q0 < 10−14); Total dynamic rejection of sensor bias drift; and Strictly zero dynamic heap memory allocation (0.0 bytes), making it architecturally compatible with safety-critical automotive Electronic Control Units (ECUs).
The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.
Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al.· IEEE Transactions on Softwar...· 178 citations· ⚡14
Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.
M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al.· e-Informatica Software Engin...· 157 citations· ⚡17
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.
Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al.· Journal of Systems and Softw...· 111 citations· ⚡8
This study investigates how Lean internal startup facilitates software product innovation in large companies and identifies its enablers and inhibitors, and shows the potential of the method-in-action framework to investigate the Lean startup approach in non-startup context.
Henry Edison, Nina M. Smørsgård, Xiaofeng Wang et al.· Journal of Systems and Softw...· 78 citations· ⚡6
The application of agile software methods and more recently the integration of Lean practices contribute to the trend of continuous improvement in the software industry. One such area warranting proper empirical evidence is a project’s operational efficiency when using the Kanban method. This short paper takes a new angle and explores waste in the Kanban-driven software development project context. A preliminary research model is presented for helping the consequent replication of the study. The results from the empirical analysis suggest Kanban can be an effective method in visualizing and organizing the current work, but does not prevent waste from creeping in, although the overall project outcome may be successful.
Marko Ikonen, Petri Kettunen, Nilay V. Oza et al.· EUROMICRO Conference on Soft...· 67 citations· ⚡9
Custom-made molecules are advancing medicine, materials, and agriculture, but producing them is slow and expensive. A new Nature paper highlights RetroChimera, a predictive model that helps accelerate chemical synthesis, helping researchers explore a wide range of molecules. The post Improving synthesis prediction of small molecules at scale with RetroChimera appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduSep 14, 2026
The “HardFlow” algorithm could help generative AI models produce high-quality outputs that obey strict requirements when “pretty close” doesn’t cut it.
AI may appear weightless, but every model depends on physical infrastructure. To understand responsible AI, we need to look beyond algorithms and consider the entire lifecycle of the hardware behind them. The post Responsible AI Must Consider Its Afterlife appeared first on GPT-Lab.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.