A new approach for the design of relay control circuits

Nowadays, the use of electronic control units are limited in applications that require high safety integrity. Therefore, to satisfy the conditions for applications requiring high reliability, control circuits are used instead of digital electronic control units like PLCs. Due to the lack of efficient, simple and applicable methods in the literature, design of control circuits are mainly based on heuristic methods. In this study, existing problems related to the application of the known formal methods will be examined and an effective solution will be proposed.