Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

FP5

AMETIST Informe resumido

Project ID: IST-2001-35304
Financiado con arreglo a: FP5-IST
País: 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.

Reported by

UNIVERSITEIT TWENTE
DRIENERLOLAAN 5
7522 NB ENSCHEDE
Netherlands
See on map
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba