Action-based analysis of discrete regulatory networks with short-term stimuli

C. Krause, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Abstract

To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By maintaining a vector of recent changes, activities initiated by a steep increase or decrease can be captured in a qualitative setting. In order to compensate for the blow-up due to enhanced states, we focus on observable behavior. Identification of bisimilar states yields a compact system representation truthfully expressing the information relevant for deciding logical properties. The approach is implemented by means of a front-end to the mCRL2 tool set and illustrated for the switching of bacteriophage lambda and a bio-medical case study related to TGFß driven fibrotic conditions.
Original languageEnglish
Title of host publicationProceedings of the 8th Conference on Computational Methods in Systems Biology (CMSB 2010, Trento, Italy, September 29-October 1, 2010)
EditorsP. Quaglia
Place of PublicationNew York NY
PublisherAssociation for Computing Machinery, Inc
Pages65-75
ISBN (Print)978-1-4503-0068-1
DOIs
Publication statusPublished - 2010
Eventconference; The 8th Conference on Computational Methods in Systems Biology (CMSB 2010); 2010-09-29; 2010-10-01 -
Duration: 29 Sep 20101 Oct 2010

Conference

Conferenceconference; The 8th Conference on Computational Methods in Systems Biology (CMSB 2010); 2010-09-29; 2010-10-01
Period29/09/101/10/10
OtherThe 8th Conference on Computational Methods in Systems Biology (CMSB 2010)

Fingerprint Dive into the research topics of 'Action-based analysis of discrete regulatory networks with short-term stimuli'. Together they form a unique fingerprint.

Cite this