… timed automata, based on the possibility to update the clocks in a more elaborate way than
simply reset them to zero. We call these automata updatable timed automata… timed automata. …

… classical” timed automaton with … updatable timed automaton using only deterministic updates
is strongly bisimilar to a classical timed automaton and that any updatable timed automaton …

… decidable updatable timed automata, that is updatable timed automata that belong to some
decidable class Aut(C, U). We will associate with each decidable updatable timed automaton …

… 4 Undecidable Classes of Updatable Timed Automata In this section we exhibit some
important classes of updatable timed automata which are undecidable. All the proofs are …

… have concentrated on this subclass of timed automata with only resets [5, 23, 27]. Recently,
we have presented a zone based algorithm for updatable timed automata [16]. Due to the …

… subclasses of updatable timed automata. Furthermore, the decidable model is also useful
for soft real-time systems verification and modelling, since the singleton updatable clock can …

… updatable clock (UTA1s) with diagonal-free time … of updatable timed automata. The model
can be effectively used into soft real-time system modelling and analysis, where the updatable …

… time tasks whose best and worst execution times, and deadlines are known. We use timed
automata … In [FMPY03] tasks can update data variables shared between them and the control …

… , decision problems, and variants of timed automata. The other objective of this … of timed
automata in practice. To achieve the second aim, this article presents a survey on timed automata…

… In this paper, we have identified a decidable class of updatable automata, which is precisely
what we need to solve scheduling problems without assuming that preemptions occur only …