Robustness analysis of stochastic biochemical systems
We propose a new framework for rigorous robustness analysis of stochastic biochemical systems that is based on probabilistic model checking techniques. We adapt the general definition of robustness introduced by Kitano to the class of stochastic systems modelled as continuous time Markov Chains in o...
Main Authors: | Česka, M, Šafránek, D, Dražan, S, Brim, L |
---|---|
Format: | Journal article |
Published: |
Public Library of Science
2014
|
Similar Items
-
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
by: Brim, L, et al.
Published: (2013) -
Precise parameter synthesis for stochastic biochemical systems
by: Kwiatkowska, M, et al.
Published: (2016) -
Precise Parameter Synthesis for Stochastic Biochemical Systems
by: Češka, M, et al.
Published: (2014) -
Precise Parameter Synthesis for Stochastic Biochemical Systems
by: Češka, M, et al.
Published: (2014) -
Precise Parameter Synthesis for Stochastic Biochemical Systems
by: Ceska, M, et al.
Published: (2015)