» Articles » PMID: 16901104

Toward Integration of Systems Biology Formalism: the Gene Regulatory Networks Case

Overview
Journal Genome Inform
Specialty Genetics
Date 2006 Aug 12
PMID 16901104
Citations 2
Authors
Affiliations
Soon will be listed here.
Abstract

We consider the problem of integrating different systems biology formalisms, namely, the process calculi based formalism, the modeling approach based on systems of differential equations, and the one relying on automata-like descriptions (and model checking). Specifically, we define automatic procedures for translating stochastic pi-calculus descriptions of gene regulatory networks to S-systems differential equations. Tools for extracting and reasoning on (approximate) solutions of S-systems have been recently developed in the literature, and can be exploited to establish a link with automata-based systems biology and model checking techniques.

Citing Articles

A model comparison study of the flowering time regulatory network in Arabidopsis.

Wang C, Chang P, Ng K, Chang C, Sheu P, Tsai J BMC Syst Biol. 2014; 8:15.

PMID: 24513114 PMC: 3938817. DOI: 10.1186/1752-0509-8-15.


Intervention in Biological Phenomena via Feedback Linearization.

Fnaiech M, Nounou H, Nounou M, Datta A Adv Bioinformatics. 2012; 2012:534810.

PMID: 23209459 PMC: 3502753. DOI: 10.1155/2012/534810.