1 / 12

A Timed Automata Model of a Multilevel Converter

A Timed Automata Model of a Multilevel Converter. Mentee – Ted Hong Mentor – Taylor Johnson. Multilevel converters DC-to-AC: requires many DC sources and sums them to output a time-varying wave

jerome
Download Presentation

A Timed Automata Model of a Multilevel Converter

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. A Timed Automata Model of a Multilevel Converter Mentee – Ted Hong Mentor – Taylor Johnson

  2. Multilevel converters DC-to-AC: requires many DC sources and sums them to output a time-varying wave Ideal interface between a utility and renewable energy sources such as photovoltaics or fuel cells Simple and modular structure High efficiency (98%), less energy loss Claim: a timed automata model can be an accurate representation of multilevel converters Motivation and Problem

  3. Multilevel Converter: DC to AC Switching Supply L. M. Tolbert, F. Z. Peng and T. G. Habetler, “Multilevel Converters for Large Electric Drives,” IEEE Transactions on Industry Applications, Vol.35, No. 1, 1999, pp. 36-44. doi:10.1109/28.740843

  4. Model in Simulink 1) Generated by pulse signal generator: resulting waveform is a rectangle function with duty cycle depending on delay input 2) Then sum voltages

  5. Simulink Simulation 11-Level Converter from 5 DC sources at 5V each (+/-5V from H-bridge) Conducting angle set to minimize the total harmonic distortion from a sine wave

  6. Model in UPPAL • Model checker for timed automata • Finite state machines + simple differential equations, dx/dt = 1 • Integrate: x = t • Model: clock for each level of the multilevel converter, only need to keep track of duty cycle • Can automatically verify various properties (model check) • Range of output

  7. UPPAL Simulation 11-Level Converter from 5 DC sources at 1V each (+/-1V from H-bridge) Conducting angle set to minimize the total harmonic distortion from a sine wave

  8. Acknowledgments My Mentor, Taylor Johnson The P.U.R.E Committee

  9. Thank You

  10. Extra Slides

  11. H bridge—basic element • Simple Structure – fours switches • Each voltage level, with different duty cycle or conducting angles so that total harmonic distortion is minimized

  12. How does it work? One multilevel converter incorporated with cascaded single phase H bridges with separate DC sources, for instance provided by a solar cell Structure—connected in series One H bridge L. M. Tolbert, F. Z. Peng and T. G. Habetler, “Multilevel Converters for Large Electric Drives,” IEEE Transactions on Industry Applications, Vol.35, No. 1, 1999, pp. 36-44. doi:10.1109/28.740843

More Related