Design and safety verification of a distributed charge equalizer for modular li-ion batteries

IEEE Transactions on Industrial Informatics

Volumn 10, Issue 2, 2014, Pages 1003-1011

  Baronti, Federico ^a   Bernardeschi, Cinzia ^a   Cassano, Luca ^a   Domenici, Andrea ^a   Roncella, Roberto ^a   Saletti, Roberto ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Battery management system (BMS); charge equalization; formal verification; lithium ion (Li ion) batteries; model checking; safety; Symbolic analysis laboratory (SAL)

Indexed keywords

ACCIDENT PREVENTION; EQUALIZERS; LITHIUM; LITHIUM ALLOYS; MANAGEMENT; MODEL CHECKING;

BATTERY MANAGEMENT SYSTEM; CHARGE EQUALIZATION; FORMAL VERIFICATIONS; LITHIUM IONS; SYMBOLIC ANALYSIS;

LITHIUM BATTERIES;

EID: 84900526606     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2014.2299236     Document Type: Article

References (34)

1. M. S. Whittingham, "History, evolution, and future status of energy storage," Proc. IEEE, Special Centennial Issue, vol. 100, pp. 1518-1534, May 2012.
2. S. Vazquez, S. M. Lukic, E. Galvan, L. G. Franquelo, and J. M. Carrasco, "Energy storage systems for transport and grid applications," IEEE Trans. Ind. Electron., vol. 57, no. 12, pp. 3881-3895, Dec. 2010.
3. W. Su, H. Eichi, W. Zeng, and M.-Y. Chow, "Asurvey on the electrification of transportation in a smart grid environment," IEEE Trans. Ind. Informat., vol. 8, no. 1, pp. 1-10, Feb. 2012.
4. H. Rahimi-Eichi, U. Ojha, F. Baronti, and M.-Y. Chow, "Battery management system: An overview of its application in the smart grid and electric vehicles," IEEE Ind. Electron. Mag., vol. 7, no. 2, pp. 4-16, Jun. 2013.
5. H.-T. Lin, T.-J. Liang, and S.-M. Chen, "Estimation of battery state of health using probabilistic neural network," IEEE Trans. Ind. Informat., vol. 9, no. 2, pp. 679-685, May 2013.
6. G. Cengic and K. Akesson, "On formal analysis of IEC 61499 applications, Part A: Modeling," IEEE Trans. Ind. Informat., vol. 6, no. 2, pp. 136-144, May 2010.
7. G. Cengic and K. Akesson, "On formal analysis of IEC 61499 applications, Part B: Execution semantics," IEEE Trans. Ind. Informat., vol. 6, no. 2, pp. 145-154, May 2010.
8. D. Gessner, M. Barranco, and J. Proenza, "Design and verification of a media redundancy management driver for a CAN star topology," IEEE Trans. Ind. Informat., vol. 9, no. 1, pp. 237-245, Feb. 2013.
9. D. Herrero-Perez and H. Martinez-Barbera, "Modeling distributed transportation systems composed of flexible automated guided vehicles in flexible manufacturing systems," IEEE Trans. Ind. Informat., vol. 6, no. 2, pp. 166-180, May 2010.
10. C. Bernardeschi, L. Cassano, A. Domenici, and P. Masci, "Simulation and test-case generation for PVS specifications of control logics," Int. J. Advances Softw., vol. 4, no. 3 and 4, pp. 327-341, 2011.
11. C. Yan, M. Greenstreet, and J. Eisinger, "Formal verification of an Arbiter circuit," in Proc. IEEE Symp. Asynchronous Circuits Syst. (ASYNC), Gernoble, France, May 2010, pp. 165-175.
12. D. Grosse and R. Drechsler, "Formal verification of LTL formulas for SystemC designs," in Proc. 2003 Int. Symp. Circuits Syst. (ISCAS ?03), Bangkok, Thailand, vol. 5, May 2003, pp. V-245-V-248.
13. D. Karlsson, P. Eles, and Z. Peng, "Formal verification of SystemC designs using a Petri net based representation," in Proc. Design Autom. Test Europe (DATE ?06), Munich, Germany, 2006, pp. 1228-1233.
14. International Organization for Standardization (ISO), "26262-5: Road vehicles-Functional safety-Part 5. Product development: Hardware level," Dec. 2009, draft.
15. European Committee for Electrotechnical Standardization (CENELEC), "EN50129: Railway applications-Communications, signaling and processing systems-Safety related electronic systems for signaling," Feb. 2003.
16. International Atomic Energy Agency (IAEA), "NS-G-1.3: Instrumentation and control systems important to safety in nuclear power plants," 2002, IAEA Safety Standards Series.
17. S. Bensalem, V. Ganesh, Y. Lakhnech, C. Muoz, S. Owre, H. Rue, J. Rushby, V. Rusu, H. Sadi, N. Shankar, E. Singerman, and A. Tiwari, "An overview of SAL," in Proc. 5th NASA Langley Formal Methods Workshop (LFM 2000), Williamsburg, VA, USA, 2000, pp. 187-196.
18. K. Rozier, "Linear temporal logic symbolic model checking," Comput. Sci. Rev., vol. 5, no. 2, pp. 163-203, 2011.
19. W. Steiner and B. Dutertre, "Automated formal verification of the ethernet synchronization quality," in NASA Formal Methods, ser. Lecture Notes in Computer Science, vol. 6617, M. Bobaru, K. Havelund, G. Holzmann, and R. Joshi, Eds. Berlin, Germany: Springer-Verlag, 2011, pp. 375-390.
20. I. Wenzel, R. Kirner, B. Rieder, and P. Puschner, "Cross-platform verification framework for embedded systems," in Software Technologies for Embedded and Ubiquitous Systems, ser. Lecture Notes in Computer Science, vol. 4761, R. Obermaisser, Y. Nah, P. Puschner, and F. Rammig, Eds. Berlin, Germany: Springer-Verlag, 2007, pp. 137-148.
21. C. Bernardeschi, L. Cassano, and A.Domenici, "Seu-x: Aseu un-excitability prover for SRAM-FPGAs," in Proc. IEEE 18th Int. On-Line Test. Symp. (IOLTS), Sitges, Spain, 2012, pp. 25-30.
22. A. Baughman and M. Ferdowsi, "Double-tiered switched-capacitor battery charge equalization technique," IEEE Trans. Ind. Electron., vol. 55, no. 6, pp. 2277-2285, Jun. 2008.
23. S.-H. Park, K.-B. Park, H.-S. Kim, G.-W. Moon, and M.-J. Youn, "Singlemagnetic cell-to-cell charge equalization converter with reduced number of transformer windings," IEEE Trans. Power Electron., vol. 27, no. 6, pp. 2900-2911, Jun. 2012.
24. M. Einhorn, W. Guertlschmid, T. Blochberger, R. Kumpusch, R. Permann, F. V. Conte et al., "A current equalization method for serially connected battery cells using a single power converter for each cell," IEEE Trans. Veh. Technol., vol. 60, no. 9, pp. 4227-4237, Nov. 2011.
25. P. A. Cassani and S. S. Williamson, "Design, testing, and validation of a simplified control scheme for a novel plug-in hybrid electric vehicle battery cell equalizer," IEEE Trans. Ind. Electron., vol. 57, no. 12, pp. 3956-3962, Dec. 2010.
26. M. Uno and K. Tanaka, "Single-switch multi-output charger using voltage multiplier for series-connected lithium-ion battery/supercapacitor equalization," IEEE Trans. Ind. Electron., vol. 60, no. 8, pp. 3227-3239, Aug. 2013.
27. C.-H. Kim, M.-Y. Kim, H.-S. Park, and G.-W. Moon, "A modularized twostage charge equalizer with cell selection switches for series-connected lithium-ion battery string in an HEV," IEEE Trans. Power Electron., vol. 27, no. 8, pp. 3764-3774, Aug. 2012.
28. Y. Zhang, G. Adam, T. Lim, S. Finney, and B. Williams, "Hybrid multilevel converter: Capacitor voltage balancing limits and its extension," IEEE Trans. Ind. Informat., vol. 9, no. 4, pp. 2063-2073, Nov. 2013.
29. F. Baronti, G. Fantechi, R. Roncella, and R. Saletti, "High-efficiency digitally controlled charge equalizer for series-connected cells based on switching converter and super-capacitor," IEEE Trans. Ind. Informat., vol. 9, no. 2, pp. 1139-1147, May 2013.
30. J.Kim, J. Shin,C.Chun, andB.H.Cho, "Stable configuration of a Li-ion series battery pack based on a screening process for improved voltage/SOC balancing," IEEE Trans. Power Electron., vol. 27, no. 1, pp. 411-424, Jan. 2012.
31. A. Manenti, A. Abba, A. Merati, S. M. Savaresi, and A. Geraci, "A new BMS architecture based on cell redundancy," IEEE Trans. Ind. Electron., vol. 58, no. 9, pp. 4314-4322, Sep. 2011.
32. F. Baronti, G. Fantechi, R. Roncella, and R. Saletti, "Design of a module switch for battery pack reconfiguration in high-power applications," in Proc. IEEE Int. Symp. Ind. Electron. (ISIE), Hangzhou, China,May2012, pp. 1330-1335.
33. T. Kim, W. Qiao, and L. Qu, "Power electronics-enabled self-X multicell batteries: A design toward smart batteries," IEEE Trans. Power Electron., vol. 27, no. 11, pp. 4723-4733, Nov. 2012.
34. F. Vellucci, G. Pede, M. Ceraolo, and T. Huria, "Electrification of off-road vehicles: Examining the feasibility for the Italian market," in Proc. Int. Battery Hybrid Fuel Cell Electr. Veh. Symp. (EVS26), Los Angeles, CA, USA, 2012, pp. 1-17.