research-article

SHAVE: stochastic hybrid analysis of markov population models

Authors:

Maksim Lapin,

Linar Mikeev,

Verena WolfAuthors Info & Claims

HSCC '11: Proceedings of the 14th international conference on Hybrid systems: computation and control

Pages 311 - 312

https://doi.org/10.1145/1967701.1967746

Published: 12 April 2011 Publication History

Get Access

Abstract

We present a tool called SHAVE that approximates the transient distribution of a continuous-time Markov population process by combining moment-based and state-based representations of probability distributions. As an intermediate step, SHAVE constructs a stochastic hybrid model from the original process which is then solved numerically.

References

[1]

P. Buchholz and P. Kemper. Numerical analysis techniques in the APNN toolbox. In Workshop on Formal Methods in Performance Evaluation and Applications, pages 1--6, 1999.

Google Scholar

[2]

F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf. Fast adaptive uniformization of the chemical master equation. IET Systems Biology Journal, 2010. To appear.

Google Scholar

[3]

S. Engblom. Computing the moments of high dimensional solutions of the master equation. Appl. Math. Comput., 180:498--515, 2006.

Crossref

Google Scholar

[4]

D. Henderson, R. Boys, C. Proctor, and D. Wilkinson. Linking systems biology models to data: a stochastic kinetic model of p53 oscillations. In Handbook of Appl. Bayesian Analysis. Oxford University Press, 2009.

Google Scholar

[5]

T. A. Henzinger, M. Mateescu, L. Mikeev, and V. Wolf. Hybrid numerical solution of the chemical master equation. In Proc. of CMSB'10. ACM Digital Library, 2010.

Digital Library

Google Scholar

[6]

T. G. Kurtz. Strong approximation theorems for density dependent Markov chains. Stochastic Processes Appl., 6(3):223--240, 1977/78.

Crossref

Google Scholar

[7]

M. Kwiatkowska, G. Norman, and D. Parker. Prism: Probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review, 36(4):40--45, 2009.

Digital Library

Google Scholar

[8]

H. H. McAdams and A. Arkin. Stochastic mechanisms in gene expression. PNAS, USA, 94:814--819, 1997.

Crossref

Google Scholar

[9]

P. Patel, B. Arcangioli, S. Baker, A. Bensimon, and N. Rhind. DNA replication origins fire stochastically in fission yeast. Mol. Biol. Cell, 17:308--316, 2006.

Crossref

Google Scholar

[10]

A. Singh and J. P. Hespanha. Approximate moment dynamics for chemically reacting systems. IEEE Trans. on Automat. Contr., 2010. To appear.

Google Scholar

Cited By

View all

Jeppson JVolk MIsraelsen BRoberts RWilliams ABuecherl LMyers CZheng HWinstead CZhang Z(2023)STAMINA in C++: Modernizing an Infinite-State Probabilistic Model CheckerQuantitative Evaluation of Systems10.1007/978-3-031-43835-6_7(101-109)Online publication date: 15-Sep-2023
https://doi.org/10.1007/978-3-031-43835-6_7
Roberts RNeupane TBuecherl LMyers CZhang Z(2022)STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model CheckingVerification, Model Checking, and Abstract Interpretation10.1007/978-3-030-94583-1_16(319-331)Online publication date: 14-Jan-2022
https://doi.org/10.1007/978-3-030-94583-1_16
Backenköhler MBortolussi LGroßmann GWolf V(2021)Abstraction-Guided Truncations for Stationary Distributions of Markov Population ModelsQuantitative Evaluation of Systems10.1007/978-3-030-85172-9_19(351-371)Online publication date: 19-Aug-2021
https://doi.org/10.1007/978-3-030-85172-9_19
Show More Cited By

Index Terms

SHAVE: stochastic hybrid analysis of markov population models
1. Mathematics of computing
  1. Probability and statistics
2. Theory of computation
  1. Theory and algorithms for application domains
    1. Machine learning theory
      1. Markov decision processes

Recommendations

Transient analysis of non-Markovian models using stochastic state classes

The method of stochastic state classes approaches the analysis of Generalised Semi Markov Processes (GSMPs) through the symbolic derivation of probability density functions over supports described by Difference Bounds Matrix (DBM) zones. This makes ...
Stationary distribution of the Milstein scheme for stochastic differential delay equations with first-order convergence
Highlights
- We are very grateful to the editor and the reviewer for evaluating our manuscript and for the comments. In accordance with the comments, we have carefully and thoroughly revised and rewritten our manuscript. To our best knowledge, this ...
Abstract
This paper focuses on the stationary distribution of the Milstein scheme for stochastic differential delay equations. The numerical segment process is constructed, which is proved to be a time homogeneous Markov process. We show that this ...
A fluid model with upward jumps at the boundary

We consider a single buffer fluid system in which the instantaneous rate of change of the fluid is determined by the current state of a background stochastic process called "environment". When the fluid level hits zero, it instantaneously jumps to a ...

Comments

Information & Contributors

Information

Published In

HSCC '11: Proceedings of the 14th international conference on Hybrid systems: computation and control

April 2011

330 pages

ISBN:9781450306294

DOI:10.1145/1967701

General Chair:
Marco Caccamo
University of Illinois at Urbana-Champaign, USA
,
Program Chairs:
Emilio Frazzoli
Massachusetts Institute of Technology, USA
,
Radu Grosu
State University of New York at Stony Brook, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

IEEE

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 April 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

HSCC '11

Sponsor:

SIGBED

HSCC '11: Hybrid Systems: Computation and Control

April 12 - 14, 2011

IL, Chicago, USA

Acceptance Rates

Overall Acceptance Rate 153 of 373 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
175
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Jeppson JVolk MIsraelsen BRoberts RWilliams ABuecherl LMyers CZheng HWinstead CZhang Z(2023)STAMINA in C++: Modernizing an Infinite-State Probabilistic Model CheckerQuantitative Evaluation of Systems10.1007/978-3-031-43835-6_7(101-109)Online publication date: 15-Sep-2023
https://doi.org/10.1007/978-3-031-43835-6_7
Roberts RNeupane TBuecherl LMyers CZhang Z(2022)STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model CheckingVerification, Model Checking, and Abstract Interpretation10.1007/978-3-030-94583-1_16(319-331)Online publication date: 14-Jan-2022
https://doi.org/10.1007/978-3-030-94583-1_16
Backenköhler MBortolussi LGroßmann GWolf V(2021)Abstraction-Guided Truncations for Stationary Distributions of Markov Population ModelsQuantitative Evaluation of Systems10.1007/978-3-030-85172-9_19(351-371)Online publication date: 19-Aug-2021
https://doi.org/10.1007/978-3-030-85172-9_19
Backenköhler MBortolussi LGroßmann GWolf V(2021)Analysis of Markov Jump Processes under Terminal ConstraintsTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-030-72016-2_12(210-229)Online publication date: 20-Mar-2021
https://doi.org/10.1007/978-3-030-72016-2_12
Neupane TMyers CMadsen CZheng HZhang Z(2019)STAMINA: STochastic Approximate Model-Checker for INfinite-State AnalysisComputer Aided Verification10.1007/978-3-030-25540-4_31(540-549)Online publication date: 12-Jul-2019
https://doi.org/10.1007/978-3-030-25540-4_31
Neupane TZhang ZMadsen CZheng HMyers C(2019)Approximation Techniques for Stochastic Analysis of Biological SystemsAutomated Reasoning for Systems Biology and Medicine10.1007/978-3-030-17297-8_12(327-348)Online publication date: 12-Jun-2019
https://doi.org/10.1007/978-3-030-17297-8_12
Andreychenko ABortolussi LGrima RThomas PWolf V(2017)Distribution Approximations for the Chemical Master Equation: Comparison of the Method of Moments and the System Size ExpansionModeling Cellular Systems10.1007/978-3-319-45833-5_2(39-66)Online publication date: 9-May-2017
https://doi.org/10.1007/978-3-319-45833-5_2
Liò PMerelli EPaoletti N(2012)Disease processes as hybrid dynamical systemsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.92.1192(152-166)Online publication date: 15-Aug-2012
https://doi.org/10.4204/EPTCS.92.11
Mikeev LWolf VDang TMitchell I(2012)Parameter estimation for stochastic hybrid models of biochemical reaction networksProceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control10.1145/2185632.2185657(155-166)Online publication date: 17-Apr-2012
https://dl.acm.org/doi/10.1145/2185632.2185657
Andreychenko AKrüger TSpieler D(2012)Analyzing Oscillatory Behavior with Formal MethodsAdvanced Lectures of the International Autumn School on Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - Volume 845310.1007/978-3-662-45489-3_1(1-25)Online publication date: 22-Oct-2012
https://dl.acm.org/doi/10.1007/978-3-662-45489-3_1

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Transient analysis of non-Markovian models using stochastic state classes

Stationary distribution of the Milstein scheme for stochastic differential delay equations with first-order convergence

A fluid model with upward jumps at the boundary

Comments

Information

Published In

Sponsors

In-Cooperation

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations