Author:Ali Davoudi

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