© 2004-2012 IEEE. In this paper, we consider the modeling and (robust) control of a DC-DC Boost converter. In particular, we derive a mathematical model consisting of a constrained switched differential inclusion that includes all possible modes of operation of the converter. The obtained model is carefully selected to be amenable for the study of various important robustness properties. For this model, we design a control algorithm that induces robust, global asymptotic stability of a desired output voltage value. The guaranteed robustness properties ensure proper operation of the converter in the presence of noise in the state, unmodeled dynamics, and spatial regularization to reduce the high rate of switching. The establishment of these properties is enabled by recent tools for the study of robust stability in hybrid systems. Simulations illustrating the main results are included.