On Parameter Synthesis by Parallel Model Checking

Authors:
Jiri Barnat;Lubos Brim;Adam Krejci;Adam Streck;David Safranek;Martin Vejnar;Tomas Vejpustek
Affiliations:
Masaryk University, Brno;Masaryk University, Brno;Masaryk University, Brno;Masaryk University, Brno;Masaryk University, Brno;Masaryk University, Brno;Masaryk University, Brno
Venue:
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Year:
2012

Citing 16
Cited 3

Fundamentals of statistical signal processing: estimation theory

Fundamentals of statistical signal processing: estimation theory
Using HyTech to Synthesize Control Parameters for a Steam Boiler

Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic

CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Bifurcation analysis of the regulatory modules of the mammalian G1/S transition

Bioinformatics
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge

Bioinformatics
BUSpec: A framework for generation of verification aids for standard bus protocol specifications

Integration, the VLSI Journal
Robustness analysis and tuning of synthetic gene networks

Bioinformatics
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata

HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications

HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Temporal logic patterns for querying dynamic models of cellular interaction networks

Bioinformatics
A Model Checking Approach to the Parameter Estimation of Biochemical Pathways

CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models

HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
A general computational method for robustness analysis with applications to synthetic gene networks

Bioinformatics
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology

RECOMB 2'09 Proceedings of the 13th Annual International Conference on Research in Computational Molecular Biology
Inverse bifurcation analysis of a model for the mammalian G1/S regulatory module

BIRD'07 Proceedings of the 1st international conference on Bioinformatics research and development
Parameter Scanning by Parallel Model Checking with Applications in Systems Biology

PDMC-HIBI '10 Proceedings of the 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology

Time Series Dependent Analysis of Unparametrized Thomas Networks

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Parameter identification and model ranking of thomas networks

CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
Temporal Logics for Phylogenetic Analysis via Model Checking

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)

Quantified Score

Hi-index	0.00

Visualization

Abstract

An important problem in current computational systems biology is to analyze models of biological systems dynamics under parameter uncertainty. This paper presents a novel algorithm for parameter synthesis based on parallel model checking. The algorithm is conceptually universal with respect to the modeling approach employed. We introduce the algorithm, show its scalability, and examine its applicability on several biological models.