Handle |
Handle
http://hdl.handle.net/11134/20002:860637249
|
Persons |
|
Title |
|
Origin Information |
|
Parent Item |
|
Resource Type |
|
Digital Origin |
|
Description |
Description
This work presents a reachability analysis approach for dual active bridge (DAB) converters in the presence of heterogeneous uncertainties induced by manufacturing tolerance, temperature, humidity, etc. Reachability analysis can overapproximate the set of all possible reachable states from the set of initial states and parameter values based on the reachability algorithm. The novelty of this work 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; 3) different non-determined input values are incorporated in the reachability analysis to further improve the performance; and 4) multiple non-determined input values are the first time proposed to discover the influence of the system with diverse uncertain. Test results validate the effectiveness and excellent performance of the presented method.
|
Genre |
|
Organizations |
|
Held By |
|
Rights Statement |
|
Use and Reproduction |
Use and Reproduction
These materials are provided for educational and research purposes only.
|
Degree Name |
|
Degree Level |
|
Degree Discipline |
|
Local Identifier |
|