Reachability Analysis of Dual Active Bridge DC-DC Converters

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.