@inproceedings{d6d7030574cd4cddb16251e2123beecb,
title = "Reachability analysis of dual active bridge DC-DC converters",
abstract = "This paper presents a reachability analysis approach for dual active bridge (DAB) converters in the presence of heterogeneous uncertainties induced by manufacturing tolerance, temperature, humidity, etc. The novelty of this paper includes: 1) it gives a comprehensive introduction of how to build a hybrid automata model for a DAB converter, and use the hybrid automata model for the purpose of reachability analysis through SpaceEx; 2) it develops the procedures of building the SpaceEx model for an arbitrary model by using Atom Text Editor; and 3) different non-deterministic input values are incorporated in the reachability analysis to further improve the performance. Test results validate the effectiveness and excellent performance of the presented method.",
keywords = "DC-DC converter, Dual active bridge, Hybrid automaton, Reachability analysis, SpaceEx",
author = "Heqiang Wang and Zefan Tang and Yan Li and Peng Zhang",
note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 11th Annual IEEE Energy Conversion Congress and Exposition, ECCE 2019 ; Conference date: 29-09-2019 Through 03-10-2019",
year = "2019",
month = sep,
doi = "10.1109/ECCE.2019.8913224",
language = "English",
series = "2019 IEEE Energy Conversion Congress and Exposition, ECCE 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "3723--3728",
booktitle = "2019 IEEE Energy Conversion Congress and Exposition, ECCE 2019",
}