2026-07-20T05:59:30Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1995 2024-03-06T11:08:38Z ddc:004 open_access

Symbolic Steady States and Dynamically Essential Subnetworks of Discrete Regulatory Networks Siebert, Heike Discrete networks logical analysis symbolic steady states Analyzing complex networks is a difficult task, regardless of the chosen modeling framework. For a discrete regulatory network, even if the number of components is in some sense manageable, we have to deal with the problem of analyzing the dynamics in an exponentially large state space. A well known idea to approach this difficulty is to identify smaller building blocks of the system the study of which in isolation still renders information on the dynamics of the whole network. In this talk, we introduce the notion of symbolic steady state which allows us to identify such building blocks. We state explicit rules how to derive attractors of the network from subnetwork attractors valid for synchronous as well as asynchronous dynamics. Illustrating those rules, we derive general conditions for circuits embedded in the network to transfer their behavioral characteristics pertaining number and size of attractors observed in isolation to the complex network. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Heike Siebert 2009 Is Part Of Dagstuhl Seminar Proceedings, Volume 9091, Formal Methods in Molecular Biology (2009) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.09091.8 urn:nbn:de:0030-drops-19957 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09091.8 eng https://creativecommons.org/licenses/by/4.0/legalcode