Matches in SemOpenAlex for { <https://semopenalex.org/work/W2600694810> ?p ?o ?g. }
- W2600694810 endingPage "7059" @default.
- W2600694810 startingPage "7049" @default.
- W2600694810 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 matrices. In direct contrast to the unsound and computationally-intensive Monte Carlo simulation, reachability analysis is introduced to overapproximate the set of reachable states and ensure stable operation of PWM dc-dc converters. Using a 200 W experimental prototype of a buck converter, hybrid automata models of open-loop, and hysteresis-controlled converters are first validated against experimental data using their conformance degrees. Next, converter stability is formally verified through reachability analysis and informally validated using Monte Carlo simulations and experimental results." @default.
- W2600694810 created "2017-04-07" @default.
- W2600694810 creator A5004721001 @default.
- W2600694810 creator A5021880681 @default.
- W2600694810 creator A5053089078 @default.
- W2600694810 creator A5067901159 @default.
- W2600694810 date "2017-09-01" @default.
- W2600694810 modified "2023-10-16" @default.
- W2600694810 title "Model Validation of PWM DC–DC Converters" @default.
- W2600694810 cites W1507872748 @default.
- W2600694810 cites W1583515176 @default.
- W2600694810 cites W1585526574 @default.
- W2600694810 cites W172589331 @default.
- W2600694810 cites W1955710548 @default.
- W2600694810 cites W196021901 @default.
- W2600694810 cites W1967582658 @default.
- W2600694810 cites W1988004978 @default.
- W2600694810 cites W1989716069 @default.
- W2600694810 cites W1996174386 @default.
- W2600694810 cites W2001179151 @default.
- W2600694810 cites W2003622185 @default.
- W2600694810 cites W2018159038 @default.
- W2600694810 cites W2021857616 @default.
- W2600694810 cites W2034593859 @default.
- W2600694810 cites W2047277035 @default.
- W2600694810 cites W2048187985 @default.
- W2600694810 cites W2054704105 @default.
- W2600694810 cites W2069233435 @default.
- W2600694810 cites W2079374105 @default.
- W2600694810 cites W2084389240 @default.
- W2600694810 cites W2096204465 @default.
- W2600694810 cites W2115525758 @default.
- W2600694810 cites W2130151927 @default.
- W2600694810 cites W2133275969 @default.
- W2600694810 cites W2143190710 @default.
- W2600694810 cites W2143591652 @default.
- W2600694810 cites W2147340401 @default.
- W2600694810 cites W2147873985 @default.
- W2600694810 cites W2152622956 @default.
- W2600694810 cites W2163177691 @default.
- W2600694810 cites W2163842654 @default.
- W2600694810 cites W2175372888 @default.
- W2600694810 cites W2176215692 @default.
- W2600694810 cites W2329811151 @default.
- W2600694810 cites W2337712807 @default.
- W2600694810 cites W3098347101 @default.
- W2600694810 cites W3121891435 @default.
- W2600694810 cites W2125108900 @default.
- W2600694810 doi "https://doi.org/10.1109/tie.2017.2688961" @default.
- W2600694810 hasPublicationYear "2017" @default.
- W2600694810 type Work @default.
- W2600694810 sameAs 2600694810 @default.
- W2600694810 citedByCount "28" @default.
- W2600694810 countsByYear W26006948102017 @default.
- W2600694810 countsByYear W26006948102019 @default.
- W2600694810 countsByYear W26006948102020 @default.
- W2600694810 countsByYear W26006948102021 @default.
- W2600694810 countsByYear W26006948102022 @default.
- W2600694810 countsByYear W26006948102023 @default.
- W2600694810 crossrefType "journal-article" @default.
- W2600694810 hasAuthorship W2600694810A5004721001 @default.
- W2600694810 hasAuthorship W2600694810A5021880681 @default.
- W2600694810 hasAuthorship W2600694810A5053089078 @default.
- W2600694810 hasAuthorship W2600694810A5067901159 @default.
- W2600694810 hasBestOaLocation W26006948101 @default.
- W2600694810 hasConcept C105795698 @default.
- W2600694810 hasConcept C112505250 @default.
- W2600694810 hasConcept C112972136 @default.
- W2600694810 hasConcept C11413529 @default.
- W2600694810 hasConcept C119599485 @default.
- W2600694810 hasConcept C119857082 @default.
- W2600694810 hasConcept C127413603 @default.
- W2600694810 hasConcept C136643341 @default.
- W2600694810 hasConcept C150818752 @default.
- W2600694810 hasConcept C154945302 @default.
- W2600694810 hasConcept C165801399 @default.
- W2600694810 hasConcept C19499675 @default.
- W2600694810 hasConcept C24326235 @default.
- W2600694810 hasConcept C2775924081 @default.
- W2600694810 hasConcept C2776028153 @default.
- W2600694810 hasConcept C2778422915 @default.
- W2600694810 hasConcept C33923547 @default.
- W2600694810 hasConcept C41008148 @default.
- W2600694810 hasConcept C47446073 @default.
- W2600694810 hasConcept C80444323 @default.
- W2600694810 hasConcept C92746544 @default.
- W2600694810 hasConceptScore W2600694810C105795698 @default.
- W2600694810 hasConceptScore W2600694810C112505250 @default.
- W2600694810 hasConceptScore W2600694810C112972136 @default.
- W2600694810 hasConceptScore W2600694810C11413529 @default.
- W2600694810 hasConceptScore W2600694810C119599485 @default.
- W2600694810 hasConceptScore W2600694810C119857082 @default.
- W2600694810 hasConceptScore W2600694810C127413603 @default.
- W2600694810 hasConceptScore W2600694810C136643341 @default.
- W2600694810 hasConceptScore W2600694810C150818752 @default.
- W2600694810 hasConceptScore W2600694810C154945302 @default.
- W2600694810 hasConceptScore W2600694810C165801399 @default.
- W2600694810 hasConceptScore W2600694810C19499675 @default.