A Gröbner bases approach for safety evaluation of logic control system

Abstract

This paper presents a method to analyze and design the safe control system using the safety function. The safety function is defined to represent a safety domain in the state space. Using a model of controlled plant and a number of control logic 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.