This paper provides an approach of safety verification of logic control system with application of Grobner bases method. We propose a method to analyze and design a safe control system using a safety fucntion. In this case, the safety is defined to re...
This paper provides an approach of safety verification of logic control system with application of Grobner bases method. We propose a method to analyze and design a safe control system using a safety fucntion. 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.