| 1. | 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
当自动机当前状态为l时，转换l , g , r , l的使能条件是时钟变量的取值满足g ，而当转换发生之后， r中时钟的值被重置为0 。 |
