12 daws c , yovine s . reducing the number of clock variables of timed automata . in proc . the 17th ieee real time systems symposium , rtss 96 , washington dc , usa , december 1996 , ieee computer society press , pp . 73 - 81 如果从某一个位置l出发，一个时间变量x在被重置之前，不会被任何转换用形如x
These unique celebrations - such as the annual phaung daw oo pagoda festival around inle lake - offer a perfect chance to visit villages and join the locals as they celebrate their festivals throughout the year 这些独特的庆典，如“茵莱”湖上一年一度的“泡朵吴”佛塔节则是游览乡村和体会与本地人一起欢庆节日的最佳机会。
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 。
