Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS


AMETIST Streszczenie raportu

Project ID: IST-2001-35304
Źródło dofinansowania: FP5-IST
Kraj: 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
Faks: +31-53-4893247
Adres e-mail
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę