Towards a hybrid approach to SoC estimation for a smart Battery Management System (BMS) and battery supported Cyber-Physical Systems (CPS)

One of the most important and indispensable parameters of a Battery Management System (BMS) is to accurately estimate the State of Charge (SoC) of battery. Precise estimation of SoC can prevent battery from damage or premature aging by avoiding over charge or discharge. Due to the limited capacity of a battery, advanced methods must be used to estimate precisely the SoC in order to keep battery safely being charged and discharged at a suitable level and to prolong its life cycle. We review several existing effective approaches such as Coulomb counting, Open Circuit Voltage (OCV) and Kalman Filter method for performing the SoC estimation. Then we investigate both Artificial Intelligence (AI) approach and Formal Methods (FM) approach that can be efficiently used to precisely determine the SoC estimation for the smart battery management system as presented in [1]. By using presented approach, a more accurate SoC measurement can be obtained for the smart battery management system and battery supported Cyber-Physical Systems (CPS).

[1]  Yamei Li,et al.  Battery Management System , 2010, 2010 International Conference on Measuring Technology and Mechatronics Automation.

[2]  M. Fadali,et al.  A Fourier/Hopfield neural network for identification of nonlinear periodic systems , 2003, Proceedings of the 35th Southeastern Symposium on System Theory, 2003..

[3]  Chi-Hsu Wang,et al.  Fuzzy B-spline membership function (BMF) and its applications in fuzzy-neural control , 1995, IEEE Trans. Syst. Man Cybern..

[4]  Sandy Irani,et al.  Formal Methods for Dynamic Power Management , 2003, ICCAD 2003.

[5]  T. Krilavi,et al.  Simulation of Mechatronic Systems using Behavioural Hybrid Process Calculus , 2008 .

[6]  Kevin Lee,et al.  Modeling and Analysis of Radiation Therapy System with Respiratory Compensation Using Uppaal , 2011, 2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications Workshops.

[7]  Tomas Krilavi,et al.  Simulation of the radiation therapy system for respiratory movement compensation , 2012 .

[8]  Prudence W. H. Wong,et al.  Design and realization of a smart battery management system , 2012 .

[9]  Luca Benini,et al.  Extending lifetime of portable systems by battery scheduling , 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

[10]  K. L. Man,et al.  Recent Advanced Languages and Tools for Hybrid Systems , 2010 .

[11]  Ching Chuen Chan,et al.  Adaptive neuro-fuzzy modeling of battery residual capacity for electric vehicles , 2002, IEEE Trans. Ind. Electron..

[12]  Alberto Bellini,et al.  Battery choice and management for new-generation electric vehicles , 2005, IEEE Transactions on Industrial Electronics.

[13]  T. Başar,et al.  A New Approach to Linear Filtering and Prediction Problems , 2001 .

[14]  Ka Lok Man,et al.  Process algebraic specification of DI circuits , 2010, 2010 International SoC Design Conference.

[15]  Kai Ding,et al.  Battery-Management System (BMS) and SOC Development for Electrical Vehicles , 2011, IEEE Transactions on Vehicular Technology.

[16]  Kurt Hornik,et al.  Multilayer feedforward networks are universal approximators , 1989, Neural Networks.

[17]  Sungkwon Park.  Bearing estimation using Hopfield neural network , 1990, [1990] Proceedings. The Twenty-Second Southeastern Symposium on System Theory.

[18]  Sandeep K. Shukla,et al.  Using probabilistic model checking for dynamic power management , 2005, Formal Aspects of Computing.

[19]  L X Wang,et al.  Fuzzy basis functions, universal approximation, and orthogonal least-squares learning , 1992, IEEE Trans. Neural Networks.

[20]  Yuang-Shung Lee,et al.  Soft Computing for Battery State-of-Charge (BSOC) Estimation in Battery String Systems , 2008, IEEE Transactions on Industrial Electronics.

[21]  Naotake Kamiura,et al.  Learning based on fault injection and weight restriction for fault-tolerant Hopfield neural networks , 2004, 19th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2004. DFT 2004. Proceedings..

[22]  Peng Rong,et al.  Battery-aware power management based on Markovian decision processes , 2002, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[23]  R. Bucy,et al.  Comment on "The Kalman filter and nonlinear estimates of multivariate normal processes" , 1965 .

[24]  Yuang-Shung Lee,et al.  A Merged Fuzzy Neural Network and Its Applications in Battery State-of-Charge Estimation , 2007, IEEE Transactions on Energy Conversion.

[25]  Li-Xin Wang,et al.  Adaptive fuzzy systems and control , 1994 .

[26]  L. Ulrich,et al.  State of charge , 2012, IEEE Spectrum.

[27]  Jie Xu,et al.  EKF-Ah Based State of Charge Online Estimation for Lithium-ion Power Battery , 2009, 2009 International Conference on Computational Intelligence and Security.

[28]  Chi-Hsu Wang,et al.  Function approximation using fuzzy neural networks with robust learning algorithm , 1997, IEEE Trans. Syst. Man Cybern. Part B.

[29]  Ziyad M. Salameh,et al.  A mathematical model for lead-acid batteries , 1992 .

[30]  M. Sami Fadali,et al.  Nonlinear system identification using a Gabor/Hopfield network , 1996, IEEE Trans. Syst. Man Cybern. Part B.

[31]  Syed Islam,et al.  A battery management system for stand alone photovoltaic energy systems , 1999, Conference Record of the 1999 IEEE Industry Applications Conference. Thirty-Forth IAS Annual Meeting (Cat. No.99CH36370).

[32]  Alessandro Aldini,et al.  A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management , 2005, SFM.