2 daws c , olivero a , tripakis s , yovine s . the tool kronos . in dimacs workshop on verification and control of hybrid systems , lncs 1066 , springer - verlag , october 1995 . 3 henzinger t a , ho p h . hytech : the cornell hybrid technology tool 當自動機當前狀態(tài)為l時,轉換l , g , r , l的使能條件是時鐘變量的取值滿足g ,而當轉換發(fā)生之后, r中時鐘的值被重置為0 。