A Stabilizing Model Predictive Controller for Voltage Regulation of a DC/DC Boost Converter | Synapse