Abstract | ||
---|---|---|
This paper presents hybrid automaton modeling, comparative model validation, and formal verification of stability through reachability analysis of pulse width modulation (PWM) dc-dc converters. Conformance degree provides a measure of closeness between the proposed hybrid automata models and experimental data. Nondeterminism due to variations in circuit parameters is modeled using interval matrice... |
Year | DOI | Venue |
---|---|---|
2017 | 10.1109/TIE.2017.2688961 | IEEE Transactions on Industrial Electronics |
Keywords | Field | DocType |
Topology,Automata,Analytical models,Reachability analysis,Mathematical model,DC-DC power converters,Computational modeling | Monte Carlo method,Control theory,Automaton,Pulse-width modulation,Reachability,Control engineering,Converters,Buck converter,Mathematics,Formal verification,Hybrid automaton | Journal |
Volume | Issue | ISSN |
64 | 9 | 0278-0046 |
Citations | PageRank | References |
1 | 0.37 | 18 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Omar Beg | 1 | 24 | 1.09 |
Houssam Abbas | 2 | 90 | 16.31 |
Taylor T. Johnson | 3 | 214 | 31.54 |
Ali Davoudi | 4 | 347 | 35.39 |