Title :
Removing Timed Delays in Stochastic Automata
Author :
Dankar, Fida Kamal ; Bocmann, Gregor V.
Author_Institution :
Ottawa Univ., Que.
Abstract :
We present a method to remove timed delays (transitions corresponding to timed internal actions) from a subset of stochastic automata. After removing the internal actions, the steady state probability of a subset of the states of the automata is preserved. The stochastic automata considered in this paper have the property of being Markov regenerative processes
Keywords :
Markov processes; probability; stochastic automata; Markov regenerative processes; steady state probability; stochastic automata; timed delays; timed internal actions; Algebra; Automata; Clocks; Delay effects; Failure analysis; Performance analysis; Random variables; Steady-state; Stochastic processes; Timing;
Conference_Titel :
Computing, 2006. CIC '06. 15th International Conference on
Conference_Location :
Mexico City
Print_ISBN :
0-7695-2708-6
DOI :
10.1109/CIC.2006.60
