Back to Search
Start Over
A theory of stochastic systems part I: Stochastic automata
- Source :
-
Information & Computation . Nov2005, Vol. 203 Issue 1, p1-38. 38p. - Publication Year :
- 2005
-
Abstract
- Abstract: This paper presents the theoretical underpinning of a model for symbolically representing probabilistic transition systems, an extension of labelled transition systems for the modelling of general (discrete as well as continuous or singular) probability spaces. These transition systems are particularly suited for modelling softly timed systems, real-time systems in which the time constraints are of random nature. For continuous probability spaces these transition systems are infinite by nature. Stochastic automata represent their behaviour in a finite way. This paper presents the model of stochastic automata, their semantics in terms of probabilistic transition systems, and studies several notions of bisimulation. Furthermore, the relationship of stochastic automata to generalised semi-Markov processes is established. [Copyright &y& Elsevier]
- Subjects :
- *STOCHASTIC systems
*STOCHASTIC processes
*MARKOV processes
*SYSTEM analysis
Subjects
Details
- Language :
- English
- ISSN :
- 08905401
- Volume :
- 203
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- Information & Computation
- Publication Type :
- Academic Journal
- Accession number :
- 18984900
- Full Text :
- https://doi.org/10.1016/j.ic.2005.07.001