雖然現今化工廠的製程日趨複雜，但其操作步驟仍然是由人工方式制定出來的，這種方式顯然是費時費力且易出錯的。為了確保操作的效率與安全無虞，在本研究中利用自動機模式及動態模擬驗證，將合成、驗證並評估操作步驟的工作系統化，具體來說可以依以下方法進行。 首先，須將系統中所有狀態變數離散化，並根據工程知識，利用非時間自動機對所有一般單元進行建模。再來須利用Aspen Plus Dynamics預做模擬，找出程序單元狀態之間的轉移時間，並據以建構時間自動機模型。接下來再將操作步驟劃分為若干階段後，並設計各階段之控制規範，及建造相應自動機。最後須利用模擬軟體UPPAAL將上述所建之自動機整合，並找出最短或最快之路徑，且將各階段之路徑圖整理並合併成順序?能圖(SFC)。我們利用模擬軟體Aspen Plus Dynamics驗證前述之SFC，若為驗證失敗或希望尋找更多路徑時，須回到控制規範進行增減或修改，再重複上述流程進行合成其餘操作步驟。 根據此一方法我們已成?合成出驟餾罐開車、蒸餾塔開車及反應蒸餾塔啟動之操作步驟，並利用Aspen Plus Dynamics評估其可行性及經濟性。
Design Approach to Synthesize Validate and Evaluate Operating Procedures Based on Timed Automata and Dynamic Simulation
淳仁, 張. (Author). 2019
學生論文: Doctoral Thesis