A Digraphs and Automata Based Method for Synthesizing Interlock Structures

• Main Authors: Peng-ChunLin, 林芃均
• Other Authors: Chuei-Tin Chang
• Format: Others
• Language: zh-TW
• Published: 2013
• Online Access: http://ndltd.ncl.edu.tw/handle/53026030183956292591

碩士 === 國立成功大學 === 化學工程學系碩博士班 === 101 === Generally, in order to prevent serious accidents, we set the controls and (or) protection system in the chemical manufacturing process unit. However, when these systems malfunction occurs, it may result different effects in different contexts. It should be noted that the scope of previous studies were primarily limited to the protective measures of a single unit. This is also impractical since, in many industrial processes, the interlocking mechanisms often involve the monitoring and tripping actions performed in multiple layers and/or units. A digraph-based approach is thus taken in this project to perform event-tree analysis for evaluating and comparing various interlocking structures.Finally, from the viewpoint that an interlock is essentially an emergency response procedure executed automatically, the last issue addressed in this study is concerned with systematic development and identification of supervisory controllers and also the corresponding interlock structures on the basis of automata.