HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Omar Beg

Publications
Reachability Analysis of Transformer-Isolated DC-DC Converters
Omar Beg, Ali Davoudi and Taylor T. Johnson
In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis
Omar Beg, Ali Davoudi and Taylor T Johnson
In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems

Keyphrases

AMS, analog mixed signal circuits, benchmark, DC-DC power converters, hybrid automata, Hybrid automaton model, MATLAB, PLL, reachability, reachability analysis, Rectifiers, Simulink, Stateflow, VHDL-AMS.

Copyright © 2012-2025 easychair.org. All rights reserved.