Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS


AMETIST Sintesi della relazione

Project ID: IST-2001-35304
Finanziato nell'ambito di: FP5-IST
Paese: Netherlands

Stochastic extensions of timed automata

Probabilities can be added to timed automata in two ways.

The first is by adding probabilities to transitions, extensions, which transform reachable sets from unions of zones into probabilities on zones.

The second and more challenging extension is to replace delay bounds by probabilities on delays, similar to the way this done in continuous time Markov chains.

Numerous topics related to both extensions were investigated within the project leading to results that clarify some of the relation between timing and probability, in particular for continuous-time Markov chains and branching time. A stochastic variant of the Axxom case study has been treated.


Ed BRINKSMA, (Full professor)
Tel.: +31-53-4893676
Fax: +31-53-4893247