DocumentCode
1594152
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
fYear
2010
Firstpage
1073
Lastpage
1078
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial Informatics (INDIN), 2010 8th IEEE International Conference on
Conference_Location
Osaka
Print_ISBN
978-1-4244-7298-7
Type
conf
DOI
10.1109/INDIN.2010.5549592
Filename
5549592
Link To Document