一般而言，為防止嚴重意外事故的發生，多在化工製程中重要單元上，設置控制及(或)保護系統，然而當這些系統的故障發生後，可能會在不同情境下造成不同的效應，過去的研究對象多僅限於單一單元的保護措施，但實際工廠中常涉及複雜的多層及多單元的監控及停車，因此本研究將發展以有向圖為基礎的事件樹分析流程，以便針對不同連鎖組態深入比較分析。另外，由於前述連鎖程序可被視為可自動執行的緊急應變操作步驟，本研究以有向圖為基礎，建構連續系統自動機模型，並發展出根據自動機模型搜尋監督控制器的系統化方法，以便得到對應的最佳連鎖結構。

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.

Andrews, J. D., and Bartlett, L. M., “A Branching Search Approach to Safety System Design Optimization,” Reliab. Eng. Syst. Saf., 87, 23 (2005).

Blanke, M., Kinnaert, M., Lunze, J., and Staroswiecki, M., “Diagnosis and
Fault-Tolerant Control,” Springer-Verlag, Berlin (2003).

Chang, C. T., and Hwang, H. C., “New Developments of the Digraph-Based Techniques for Fault-Tree Synthesis,” Industrial and Engineering Chemistry
Research, 31, 1490–1502 (1992).

Chen, J. Y., and Chang, C. T., “Systematic Enumeration of Fuzzy Diagnosis Rules for Identifying Multiple Faults in Chemical Processes,” Industrial and
Engineering Chemistry Research, 46, 3635–3655 (2007).

Dowell III, A. M., “Layer of Protection Analysis for Determining Safety
Integrity Level,” ISA Trans., 37, 155 (1998).

Green, D. L., and A. M. Dowell III, “How to Design, Verify and Validate
Emergency Shutdown Systems,” ISA Trans., 34, 261 (1995).

Hashimme, S., Yajima, T., Kuwashita, Y., and Onogi, K., “Integration of Fault Analysis and Interlock Controller Synthesis for Batch Processes,”
Chinese Journal of Chemica1 Engineering, 16, 57-61 (2008).

Kim, J., and Moon, I., “ Automatic Verification of Control Logics in Safety Instrumented System Design for Chemical Process Industry,” Journal of
Loss Prevention in the Process Industry, 22, 975-980 (2009).

Kohda, T., and M. Nakagawa, “Accident Sequence Evaluation of Complex Systems with Multiple Independent Protective Systems, Proceedings of Reliability and Maintainability Symposium,” p. 577, Alexandria, Virginia,
USA, Jan. 24-27 (2005).

Lapp, S. A., and Powers, G. J., “Computer-aided Synthesis of Fault-Trees
,’’IEEE Transactions on Reliability, 26, 2–13 (1977).

Maurya, M. R., Rengaswamy, R., and Venkatasubramanian, V., ”A Systematic Framework for the Development and Analysis of Signed Digraphs for Chemical Processes. 1. Algorithms and Analysis,” Industrial & Engineering
Chemistry Research, 42(20), 4789–4810 (2003a).

Maurya, M. R., Rengaswamy, R., and Venkatasubramanian, V., “A Systematic Framework for the Development and Analysis of Signed Digraphs for Chemical Processes. 2. Control loops and Flowsheet Analysis,” Industrial & Engineering Chemistry Research, 42(20), 4811–4827 ( 2003b).

Maurya, M. R., Rengaswamy, R., and Venkatasubramanian, V., “A Signed Directed Graph and Qualitative Trend Analysis-Based Framework for Incipient Fault Diagnosis,” Chemical Engineering Research & Design,
85(A10), 1407–1422 (2007).

Patton, R.J., “Fault-Tolerant Control, the 1997 Situation,” Proceedings of
Safe Process, Hull, UK, 1033-1055 (1997).

Tan, K.S., and Yamashita, Y., “Design of a Dependable Process Control System,” Proceedings of the 5th International Symposium on Design,
Operation and Control of Chemical Processes 446-453 (2010).

Ramadge, P.J., and Wonham, W.M., “Supervisory Control of a Class of Discrete Event Processes,” SIAM Journal on Control and Optimization, 25,
206-230 (1987).

Yamashita, Y., “Toward Dependable Process Control Systems: Integration of Fault Diagnosis and Controller Redesign,” PSE Asia 2007, Xi’an (2007).

Zhang, Y., and Jiang, J., “Bibliographical Review on Reconfigurable Fault-Tolerant Control systems,” Proceedings of Safe Process, Washington,
USA, 265-276 (2003).