On a safety of sequential control system based on Gro¨bner bases computation

This paper provides an approach of safety verification of logic control system with application of Gröbner bases method. We propose a method to analyze and design a safe control system using a safety function. In this case, the safety is defined to represent a safety domain in the state space. Using a plant model and controller examples with appropriate predetermined safety function, we can evaluate whether the whole system is safe or not. Illustrative example shows that the proposed method is effective for verifying safety and designing safe control system.