Title :
A Gröbner bases approach for safety evaluation of logic control system
Author :
Bin Alwi, Saifulza ; Fujimoto, Yasutaka
Author_Institution :
Dept. of Electr. & Comput. Eng., Yokohama Nat. Univ., Yokohama, Japan
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.
Keywords :
discrete event systems; reliability theory; safety systems; state-space methods; Gröbner bases approach; logic control system; safe control system; safety evaluation; state space; Automatic control; Control systems; Design engineering; Electrical safety; Logic; Maintenance; Manufacturing processes; Power system modeling; Process control; Programmable control;
Conference_Titel :
Industrial Informatics (INDIN), 2010 8th IEEE International Conference on
Conference_Location :
Osaka
Print_ISBN :
978-1-4244-7298-7
DOI :
10.1109/INDIN.2010.5549592
