Reducing the number of clock variables of timed automata.

Conrado Daws Sergio Yovine

Published in: RTSS (1996)

Keyphrases

small number
timed automata
power consumption
real time
data mining
dynamic programming
high speed
variable selection
maximum number