Nonlinear Control with Integral Compensation for Output Voltage of Boost Converters Based on Discretized Bilinear Model―II: ―Derivation of a Control Law and Verification by Experiments@@@―制御則の導出と実験による検証