Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074752
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 4:14:03 PM
Last modification on : Friday, May 25, 2018 - 12:02:05 PM
Long-term archiving on: : Sunday, April 4, 2010 - 9:55:23 PM

Identifiers

  • HAL Id : inria-00074752, version 1

Collections

Citation

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

Share

Metrics

Record views

159

Files downloads

179