IEEE International Conference on Control System, Computing and Engineering (ICCSCE), Penang, Malaysia, 29 November - 01 December 2013, pp.101-104
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.