This switched power supply converts a 30V DC supply into a regulated 15V DC supply. The model can be used to both size the inductance L and smoothing capacitor C, as well as to design the feedback controller. By selecting between continuous, discrete and fixed-point controllers, the impact of discretization and using limited numerical precision can be explored.