In this study, first, a new definition is proposed for the state of the boost converter. In this approach, the state is defined based on the relative value of two successive samples of the output voltage with respect to the reference voltage. Then a finite-state-machine (FSM) model, which takes into account the possible variations of the input voltage and load resistance, is proposed. This model is discrete-time and represents the evolution of states implicitly based on the events like load and input voltage variation. One advantage of this model is that it is valid both in continuous conduction mode and discontinuous conduction mode. At the next step, a voltage-mode controller, which can regulate the output voltage at the presence of load and input voltage variations, is proposed. Stability of the resulting closed-loop system is studied using the FSM model and the discrete-time Lyapunov method. Simulations and experimental results are presented.