Formal Design and Verification of N-M Switching Control System

Changil Choe, Hyejong Hong, Kukhwan Kim

Production factories in which stable voltage is critical, e.g., electro-plating factory, require constantly stable voltage to minimize loss by adjusting incoming voltage in real ti…