zone graph

       引言：算法        在時間自動機（TA）裏，由於時鐘值是實數值的關係，TA的狀態空間多是無限大的，這對於狀態空間的搜索和驗證問題不是樂觀的，爲此，想要將這種無限的狀態空間轉化成對等的有限狀態空間的符號化的遷移系統，從而提出了region graph和zone graph。region graph用region來表示狀態空間，但對等轉化時region數量可能會出現指數型的增加，因

>>阅读原文<<