Performance evaluation of timed automata

Abstract : We introduce automata over the (max, +) algebra : this formalism encompasses in particular (max, +) linear systems and a subclass of stochastic timed event graphs. Performance evaluation is considered in the worst,mean, and optical cases. A simple algebraic reduction is provided for the worst case. The later cases are reduced to projective finiteness properties of semigroups of matrices. The mean performance is given by the Kolmogorov equation of a Markov chain in the projective space. The optimal performance is given by an analogous Hamilton-Jacobi-Bellman equation.
Type de document :
Rapport
[Research Report] RR-1922, INRIA. 1993
Liste complète des métadonnées

https://hal.inria.fr/inria-00074752
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 16:14:03
Dernière modification le : vendredi 25 mai 2018 - 12:02:05
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:55:23

Fichiers

Identifiants

  • HAL Id : inria-00074752, version 1

Collections

Citation

Stéphane Gaubert. Performance evaluation of timed automata. [Research Report] RR-1922, INRIA. 1993. 〈inria-00074752〉

Partager

Métriques

Consultations de la notice

133

Téléchargements de fichiers

122