DocumentCode
2833005
Title
Removing Timed Delays in Stochastic Automata
Author
Dankar, Fida Kamal ; Bocmann, Gregor V.
Author_Institution
Ottawa Univ., Que.
fYear
2006
fDate
Nov. 2006
Firstpage
247
Lastpage
253
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computing, 2006. CIC '06. 15th International Conference on
Conference_Location
Mexico City
Print_ISBN
0-7695-2708-6
Type
conf
DOI
10.1109/CIC.2006.60
Filename
4023817
Link To Document