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

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...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on industrial informatics 2014-05, Vol.10 (2), p.1003-1011
Main Authors: Baronti, Federico, Bernardeschi, Cinzia, Cassano, Luca, Domenici, Andrea, Roncella, Roberto, Saletti, Roberto
Format: Article
Language:English
Subjects:
Batteries
Battery management system (BMS)
Charge
charge equalization
Checkers
DC-DC power converters
Electric batteries
Energy loss
Equalizers
formal verification
Informatics
lithium-ion (Li-ion) batteries
Lithium-ion batteries
Mathematical models
Matrix converters
model checking
Modular
Safety
symbolic analysis laboratory (SAL)
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1551-3203
1941-0050
DOI:10.1109/TII.2014.2299236