This paper presents a novel charge equalization technique seamlessly integrated into a modular Battery Man- agement 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.
Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-ion Batteries
BARONTI, FEDERICO;BERNARDESCHI, CINZIA;CASSANO, LUCA MARIA;DOMENICI, ANDREA;RONCELLA, ROBERTO;SALETTI, ROBERTO
2014-01-01
Abstract
This paper presents a novel charge equalization technique seamlessly integrated into a modular Battery Man- agement 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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
