Model based controller and observer for boost converter | IEEE Conference Publication | IEEE Xplore