Sciweavers

Share
RTSS
1996
IEEE

Reducing the number of clock variables of timed automata

9 years 4 months ago
Reducing the number of clock variables of timed automata
We propose a method for reducing the number of clocks of a timed automaton by combining two algorithms. The first one consists in detecting active clocks, that is, those clocks whose values are relevant for the evolution of the system. The second one detects sets of clocks thatare always equal. We implemented the algorithms and applied them to several case studies. These experimental results show that an appropriate encoding of the state space, based on the output of the algorithms, leads to a considerable reduction of the memory space allowing a more efficient verification.
Conrado Daws, Sergio Yovine
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1996
Where RTSS
Authors Conrado Daws, Sergio Yovine
Comments (0)
books