http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
On A Safety of Sequential Control System Based on Gröbner Bases Computation
Saifulza Alwi,Yasutaka Fujimoto 제어로봇시스템학회 2010 제어로봇시스템학회 국제학술대회 논문집 Vol.2010 No.10
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.