Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)

Luan Viet Nguyen, Taylor T. Johnson. Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters). In Goran Frehse, Matthias Althoff, editors, 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015. Volume 34 of EPiC Series in Computing, pages 19-24, EasyChair, 2014. [doi]

Authors

Luan Viet Nguyen

This author has not been identified. Look up 'Luan Viet Nguyen' in Google

Taylor T. Johnson

This author has not been identified. Look up 'Taylor T. Johnson' in Google