Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Foundations of Modeling Read chapter Read first chapter

2015 | OriginalPaper | Chapter

6. Other Stochastic Methods and Prism

Authors : David J. Barnes, Dominique Chu

Published in: Guide to Simulation and Modeling for Biosciences

Publisher: Springer London

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This chapter introduces the reader to the concept of stochastic systems. It motivates the importance of noise and stochastic fluctuations in biological modeling and introduces some of the basic concepts of stochastic systems, including Markov chains and partition functions. The main objective of this theoretical part is to provide the reader with sufficient theoretical background to be able to understand original research papers in the field. Strong emphasis is placed on conveying a conceptual understanding of the topics, while avoiding burdening the reader with unnecessary mathematical detail. The second part of this chapter describes PRISM, which is a powerful computational tool for formulating, analyzing and simulating Markov-chain models. Throughout the chapter, concepts are illustrated using biologically-motivated case studies.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Mathematical Tools
next chapter Simulating Biochemical Systems
Footnotes
1
The binomial coefficient \(\left( {\begin{array}{c}n\\ k\end{array}}\right) \) is defined as the number of ways to choose k elements from a set of n. It can be calculated as follows:
$$\begin{aligned} \left( {\begin{array}{c}n\\ k\end{array}}\right) \doteq \frac{n!}{k! (n-k)!}. \end{aligned}$$
 
2
Here we truncate the values after two decimal places, which is why the state vectors do not sum to exactly 1.
 
3
Depending on the exact details of the reader’s working environment, it may be necessary to precede the prism command by a full specification of the path to the prism executable. Exact details of this will depend on the operating system and the installation.
 
4
From here, we omit the full command line unless it introduces a new feature.
 
5
We have truncated the time values to 3 decimal places.
 
6
The astute reader will notice that our sample path is only 16 lines long even though we specified a length of 20. The reason for this is that, after 16 transitions the chain has reached its absorbing state and no more transitions are possible. Hence it halted.
 
7
We are referring here to PRISM version 4.2.1.
 
Literature
1.
Gardiner, C.: Handbook of Stochastic Methods: For Physics, Chemistry and the Natural Sciences. Springer, Berlin (2008)
2.
3.
Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) Proceedings of the 23rd International Conference on Computer Aided Verification (CAV’11). LNCS, vol. 6806, pp. 585–591. Springer, Berlin (2011)
4.
Metadata
Title
Other Stochastic Methods and Prism
Authors
David J. Barnes
Dominique Chu
Copyright Year
2015
Publisher
Springer London
Book
Guide to Simulation and Modeling for Biosciences

Print ISBN: 978-1-4471-6761-7

Electronic ISBN: 978-1-4471-6762-4

Copyright Year: 2015

DOI
https://doi.org/10.1007/978-1-4471-6762-4_6

Premium Partner

    Image Credits