Passivity-based control of PFC boost converter with high-level programming | IEEE Conference Publication | IEEE Xplore