A Study on Model Based Control of DC-DC Converter with Simple Enumeration and Pruning Restriction Computation.