کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
2076406 | 1079443 | 2009 | 11 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Temporal constraints of a gene regulatory network: Refining a qualitative simulation
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
مدلسازی و شبیه سازی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
This paper fills this gap by describing a whole pipelined process which orchestrates the following stages: (i) model conversion from a piece-wise affine differential equation (PADE) modelization scheme into a discrete model with focal points, (ii) characterization of subgraphs through a graph simplification phase which is based on probabilistic criteria, (iii) conversion of the subgraphs into parametric linear hybrid automata, (iv) analysis of dynamical properties (e.g. cyclic behaviours) using hybrid model-checking techniques. The present work is the outcome of a methodological investigation launched to cope with the GRN responsible for the reaction of Escherichia coli bacterium to carbon starvation. As expected, we retrieve a remarkable cycle already exhibited by a previous analysis of the PADE model. Above all, hybrid model-checking enables us to infer temporal properties, whose biological signification is then discussed.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Biosystems - Volume 98, Issue 3, December 2009, Pages 149-159
Journal: Biosystems - Volume 98, Issue 3, December 2009, Pages 149-159
نویسندگان
Jamil Ahmad, Jérémie Bourdon, Damien Eveillard, Jonathan Fromentin, Olivier Roux, Christine Sinoquet,