Martin Lukasiewycz
Sebastian Steinhorst
Swaminathan Narayanaswamy
ABSTRACT
Large battery packs consisting of a high number of cells are essential in electric vehicles as well as in smart grids as stationary energy buffers. In this context, active cell balancing techniques improve the lifetime and capacity of battery packs significantly by equalizing charge at runtime. Modern balancing circuits rely on switching schemes to transfer charge between cells via energy storage elements such as inductors or capacitors. Verifying correct functionality of complex architectures can become a non-trivial task where circuit and control have to be considered concurrently. For this purpose, we provide a framework for the verification of balancing architectures, using a methodology that takes advantage of graph search algorithms. While this paper focuses on inductor-based architectures, the proposed approach might also be extended to other storage elements such as capacitors or transformers. The experimental results based on several case studies give evidence that a manual verification becomes impractical and our framework is capable of either proving correctness or delivering a counter-example.
- M. Kauer, S. Naranayaswami, S. Steinhorst, M. Lukasiewycz, S. Chakraborty, and L. Hedrich, "Modular system-level architecture for concurrent cell balancing," in Proc. of DAC, 2013. Google Scholar
Digital Library
- M. Brandl, H. Gall, M. Wenger, V. Lorentz, M. Giegerich, F. Baronti, G. Fantechi, L. Fanucci, R. Roncella, R. Saletti, S. Saponara, A. Thaler, M. Cifrain, and W. Prochazka, "Batteries and battery management systems for electric vehicles," in Proc. of DATE, 2012. Google ScholarDigital Library
- S. Mandal, P. Bhojwani, S. Mohanty, and R. Mahapatra, "IntellBatt: Towards smarter battery design," in Proc. of DAC, 2008. Google ScholarDigital Library
- Q. Xie, Y. Wang, Y. Kim, N. Chang, and M. Pedram, "Charge allocation for hybrid electrical energy storage systems," in Proc. of CODES+ISSS, 2011. Google ScholarDigital Library
- S. Park, Y. Kim, and N. Chang, "Hybrid energy storage systems and battery management for electric vehicles," in Proc. of DAC, 2013. Google ScholarDigital Library
- D. Zhu, S. Yue, Y. Wang, Y. Kim, N. Chang, and M. Pedram, "Designing a residential hybrid electrical energy storage system based on the energy buffering strategy," in Proc. of CODES+ISSS, 2013. Google ScholarDigital Library
- Q. Xie, X. Lin, Y. Wang, M. Pedram, D. Shin, and N. Chang, "State of Health Aware Charge Management in Hybrid Electrical Energy Storage Systems," in Proc. of DATE, 2012. Google ScholarDigital Library
- W. Chang, M. Lukasiewycz, S. Steinhorst, and S. Chakraborty, "Dimensioning and configuration of EES systems for electric vehicles with boundary-conditioned adaptive scalarization," in Proc. of CODES+ISSS, 2013. Google ScholarDigital Library
- J. Cao, N. Schofield, and A. Emadi, "Battery balancing methods: A comprehensive review," in Proc. of VPPC, Sept 2008.Google Scholar
- S. W. Moore and P. J. Schneider, "A review of cell equalization methods for lithium ion and lithium polymer battery systems," SAE Publication 2001-01-0959, 2001.Google Scholar
- M. Daowd, N. Omar, P. Van den Bossche, and J. Van Mierlo, "Passive and active battery balancing comparison based on MATLAB simulation," in Proc. of VPPC, 2011.Google Scholar
- N. Kutkut and D. Divan, "Dynamic equalization techniques for series battery stacks," in Proc. of INTELEC, 1996.Google Scholar
- T. Stuart and W. Zhu, "Fast equalization for large lithium ion batteries," Aerospace and Electronic Systems Magazine, IEEE, vol. 24, no. 7, July 2009.Google Scholar
- C. Pascual and P. Krein, "Switched capacitor system for automatic series battery equalization," in Proc. of APEC, 1997.Google Scholar
- R. Fukui and H. Koizumi, "Double-tiered switched capacitor battery charge equalizer with chain structure," in Proc. of IECON, 2013.Google Scholar
- A. Baughman and M. Ferdowsi, "Double-tiered switched-capacitor battery charge equalization technique," IEEE Transactions on Industrial Electronics, vol. 55, no. 6, June 2008.Google Scholar
- C. Speltino, A. Stefanopoulou, and G. Fiengo, "Cell equalization in battery stacks through state of charge estimation polling," in Proc. of ACC, 2010.Google Scholar
- J.-W. Shin, G.-S. Seo, C.-Y. Chun, and B.-H. Cho, "Selective flyback balancing circuit with improved balancing speed for series connected lithium-ion batteries," in Proc. of IPEC, 2010.Google Scholar
- A. Imtiaz and F. Khan, "Time shared flyback converter based regenerative cell balancing technique for series connected li-ion battery strings," IEEE Transactions on Power Electronics, vol. 28, no. 12, Dec 2013.Google Scholar
- M. Einhorn, W. Roessler, and J. Fleig, "Improved performance of serially connected li-ion batteries with active cell balancing in electric vehicles," IEEE Transactions on Vehicular Technology, vol. 60, no. 6, July 2011.Google Scholar
- D. V. Cadar, D. M. Petreus, and T. M. Patarau, "An energy converter method for battery cell balancing," in Proc. of ISSE, 2010.Google Scholar
- S.-H. Park, T.-S. Kim, J.-S. Park, G.-W. Moon, and M.-J. Yoon, "A new buck-boost type battery equalizer," in Proc. of APEC 2009, 2009.Google Scholar
- N. Kutkut, "A modular nondissipative current diverter for ev battery charge equalization," in Proc. of APEC, 1998.Google Scholar
- S. Steinhorst, M. Lukasiewycz, S. Narayanaswamy, M. Kauer, and S. Chakraborty, "Smart cells for embedded battery management," in Proc. of CPSNA, 2014.Google Scholar
- J. Guerin and W. Liu, "Cell balancing algorithm verification through a simulation model for lithium ion energy storage systems," SAE Publication 2010-01-1079, 2010.Google Scholar
- S. Narayanaswamy, S. Steinhorst, M. Lukasiewycz, M. Kauer, and S. Chakraborty, "Optimal dimensioning of active cell balancing architectures," in Proc. of DATE, 2014. Google ScholarDigital Library
- F. Baronti, C. Bernardeschi, L. Cassano, A. Domenici, R. Roncella, and R. Saletti, "Design and safety verification of a distributed charge equalizer for modular li-ion batteries," IEEE Transactions on Industrial Informatics, vol. 10, no. 2, 2014.Google Scholar
- S. Bensalem, V. Ganesh, Y. Lakhnech, C. Munoz, S. Owre, H. Rueß, J. Rushby, V. Rusu, H. Saıdi, N. Shankar et al., "An overview of SAL," in Proc. of LFM, 2000.Google Scholar
- N. Eén and N. Sörensson, "An extensible SAT-solver," in Theory and applications of satisfiability testing, 2004.Google Scholar
- L. W. Nagel and D. O. Pederson, SPICE: Simulation program with integrated circuit emphasis. Electronics Research Laboratory, College of Engineering, University of California, 1973.Google Scholar
Index Terms
- Verification of balancing architectures for modular batteries
Recommendations
Multiple Input Bidirectional DC/DC Converter for Energy Supervision in Fuel Cell Electric Vehicles
ICECE '10: Proceedings of the 2010 International Conference on Electrical and Control EngineeringA hybrid power system for fuel cell electric vehicles(FCEV) was proposed. The fuel cell and the battery and/or ultracapacitor are connected to the same voltage bus through an appropriate unidirectional dc-dc converter (UDC) and a buck/boost ...
Reconsidering batteries in energy harvesting sensing
ENSsys '18: Proceedings of the 6th International Workshop on Energy Harvesting & Energy-Neutral Sensing SystemsFor the past decade, the status-quo for energy harvesting sensors has been to buffer small amounts of energy in capacitors to intermittently work through a sensing task. While using capacitors for storage offers these systems indefinite lifetime, it ...
Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN
ASE '99: Proceedings of the 14th IEEE international conference on Automated software engineeringThe Unified Modeling Language (UML) is fast becoming an industry standard for object-oriented modeling and analysis. Applying the UML to model, analyze and design dependable systems require methods and tools for model checking that are integrated with ...
Comments