Service Communautaire d'Information sur la Recherche et le Développement - CORDIS


AMETIST Résumé de rapport

Project ID: IST-2001-35304
Financé au titre de: FP5-IST
Pays: 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)
Tél.: +31-53-4893676
Fax: +31-53-4893247