Formal Design and Verification of N-M Switching Control System

TL;DR

This paper presents the design and formal verification of an N-M switching control system to maintain stable voltage in factories with unstable power supplies, ensuring minimal operational loss.

Contribution

It introduces a novel N-M switching control system and verifies its correctness using LTL model checking, addressing voltage stability in unstable electricity regions.

Findings

Successfully verified the system’s correctness with LTL model checking.

Demonstrated the system's effectiveness in stabilizing voltage in unstable power environments.

Provides a formal framework for designing reliable voltage control systems.

Abstract

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 time, even if low-quality electricity is supplied from outside. To solve such problem often being raised from the factories located in the area with unstable electricity supply, we designed N-M switching control system and verified its correctness using LTL model checking technique.