Toward Integration of Systems Biology Formalism: the Gene Regulatory Networks Case
Overview
Authors
Affiliations
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.
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.