Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata

Details Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata

2011-01-21

arxiv.org/abs/1101.4204v1

Computer Science

Systems and Control

Scientific paper

We propose deterministic timed automata (DTA) as a model-independent language for specifying performance and dependability measures over continuous-time stochastic processes. Technically, these measures are defined as limit frequencies of locations (control states) of a DTA that observes computations of a given stochastic process. Then, we study the properties of DTA measures over semi-Markov processes in greater detail. We show that DTA measures over semi-Markov processes are well-defined with probability one, and there are only finitely many values that can be assumed by these measures with positive probability. We also give an algorithm which approximates these values and the associated probabilities up to an arbitrarily small given precision. Thus, we obtain a general and effective framework for analysing DTA measures over semi-Markov processes.

Affiliated with

Also associated with

No associations

Rating

Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-19864