吾人提議改進混合線性規劃方法，就是先對基本本虹吸管加入控制元件，再考慮 對複合元件加入控制元件。如此 (1)減輕列舉虹吸管的數量 迅速成指數隨著網 的大小增長的嚴重性。(2) 減少接下混合線性規劃的執行次數。(3) 避免重新調 整控制弧。(4) 避免可達分析引起的狀態爆炸問題。(5) 減少控制器的數量。(6) 比二行程的方式可達更多狀態數。吾人進一步將研討最佳化。 In this work, we propose an approach to improve the mixed integer programming (MIP) method by adding monitors to each basic siphon and find conditions for a compound siphon to be already controlled. This (1) relieves the problem of siphon enumeration which grows exponentially, (2) reduces the number of subsequent time-consuming mixed integer programming (MIP) iterations, (3) avoids the need to rearrange control arcs, (4) avoids the state-space explosion using reachability analysis, (5) reduce the number of monitors, and (6) achieve more number of states than the two-stage approach. We will further investigate how to optimize.
