Modelling using probabilistic algorithms

  • Anna Borowska
  • Wiktor Dańko
  • Joanna Karbowska-Chilińska
Conference paper


Markov chains are typical tools for modelling real stochastic processes. The present paper suggest to use an equivalent model of Iterative Probabilistic Algorithms, interpreted in a finite structure. The Probabilistic Algorithms model gives the possibility of modelling subprocesses and obtaining the algorithm modelling the whole process as an (algorithmic) composition of algorithms modelling subprocesses. The typical parametres (the transition matrix of the algorithm, average number of steps,… ) can be determined without experiments and compared to results of the statistical analysis of computer simulations.


probabilistic algorithm Markov chain probabilistic model 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5 References

  1. [1]
    Borowska A., “Implementation of Algorithm Determining Probabilities of Behaves Probabilistic Algorithms”, MSc thesis, Technical University of Białystok, Białystok 2002Google Scholar
  2. [2]
    Borowska A., “Determining of Probabilities of Transitions in the Probabilistic Algorithms”, MSc thesis, University of Białystok, Bialystok 1999Google Scholar
  3. [3]
    Borowska A., Dańko W., Karbowska-Chilińska J., “Probabilistic Algorithms as a Tool for Modelling Stochastic Processes”, Proceedings of the conference CISIM 2004, 14–16 June 2004, Ełk; Poland, vol I, pp 380–389.Google Scholar
  4. [4]
    Dańko W., “The Set of Probabilistic Algorithmic Formulas Valid in a Finite Structure is Decidable with Respect to its Diagram”, Fundamenta Informaticae, vol. 19(3–4), pp. 417–431, 1993MathSciNetGoogle Scholar
  5. [5]
    Feldman Y., Harell D., ”A probabilistic dynamic logic”, ACM Journal of Comp., 1982Google Scholar
  6. [6]
    Feller W., ”An Introduction to Probability Theory”, PWN, Warsaw 1977Google Scholar
  7. [7]
    Iosifescu M., “Finite Markov Processes and Their Applications”, John Wiley & Sons, New York, London 1988Google Scholar
  8. [8]
    Karbowska J., “Probabilistic Iterative Algorithms with Continuous Time Parameter”, Proceedings of the conference CISIM 2003, 26–28 June, 2003, Ełk; Poland, pp 133–140.Google Scholar
  9. [9]
    Koszelew J., “The Methods for Verification Properties of Probabilistic Programs”, Ph. D. thesis IPI PAN, Warsaw 2000.Google Scholar

Copyright information

© Springer Science+Business Media, Inc. 2005

Authors and Affiliations

  • Anna Borowska
    • 1
  • Wiktor Dańko
    • 1
  • Joanna Karbowska-Chilińska
    • 1
  1. 1.Technical University of BialystokBialystok

Personalised recommendations