Loading [MathJax]/extensions/MathMenu.js
Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries | IEEE Journals & Magazine | IEEE Xplore

Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries


Abstract:

This paper presents a novel charge equalization technique seamlessly integrated into a modular Battery Management System (BMS) for lithium-ion (Li-ion) batteries. The cha...Show More

Abstract:

This paper presents a novel charge equalization technique seamlessly integrated into a modular Battery Management System (BMS) for lithium-ion (Li-ion) batteries. The charge equalizer is a crucial element for an effective use of a Li-ion battery consisting of many series-connected cells. We describe a fully distributed charge equalizer based on a circular balancing bus, which outperforms other recently published approaches. Its safety requirements have formally been verified using a model checker, showing that formal methods and, in particular, the Symbolic Analysis Laboratory environment, can be effective to verify the safety requirements of a BMS.
Published in: IEEE Transactions on Industrial Informatics ( Volume: 10, Issue: 2, May 2014)
Page(s): 1003 - 1011
Date of Publication: 09 January 2014

ISSN Information:


References

References is not available for this document.