Koopman-based Optimal Control of Boost DC-DC Converter | IEEE Conference Publication | IEEE Xplore