Mathematical modelling of biological networks can help us understand the complex mechanisms that are behind cell proliferation, differentiation or other cellular processes. From these models, we are able to replicate and predict system behaviour that can help in the design of experiments in the systems biology context. Multiple formalisms capture the evolution or dynamics of a system as implied by the network. Ordinary differential equation (ODE) models provide a precise representation of the system, where the concentrations of network components evolve based on chemical kinetics, e.g. mass action kinetics. The kinetic parameters required to generate the dynamics accurately, however, are often lacking, which has led to the development of more qualitative or discrete modelling methods. Discrete formalisms, like the well known Thomas formalism, provide a very coarse representation of the systems dynamics, whilst still highlighting fundamental features of the network structure. When modelling a given system, it could occur that the different approaches yield contrary dynamics. From a modelling perspective, this is highly impractical as we expect the system to behave uniquely irrespective of the modelling approach used. By mathematically relating different formalisms, we can analyse the dynamics of the formalisms and determine conditions for which the dynamics of each formalism are common or contrary between formalisms. Hybrid modelling approaches, that is formalisms that combine discrete and continuous methods, help in relating the purely discrete Thomas formalism with the purely continuous ODE formalism. Approximating the ODEs, we obtain piecewise affine differential equations (PADEs), which have well defined dynamics that can be discretised to reflect features of the Thomas formalism. Incorporating the hybrid formalism of PADEs into our analysis, we can break up the otherwise rough transformation between ODE and Thomas formalisms in order to specify the conditions for contrary dynamics to occur between formalisms. Our main result compares the qualitative approach of PADEs with the Thomas formalism. In particular, we show that even though the qualitative parameter information of the PADEs is inherent in the Thomas formalism and vice versa, the dynamics in both models still yield contrary dynamics. However, with the well-defined correspondences of the transition systems implied by the two approaches, we can provide proofs of paths and terminal strongly connected components that are common between both formalisms. With our analysis, we bridge the gap between discrete and continuous modelling methods. More specifically, we establish the dynamics that is common regardless of the choice of formalism and the dynamics that can be seen as artefacts of the formalism. From this analysis, therefore, we achieve a more rigorous modelling framework that allows us to model and predict biological systems with greater accuracy.
Mathematische Modellierung von biologischen Netzwerken hilft uns, die komplexen Mechanismen hinter Zelldifferenzierung, Proliferation oder anderen zellulären Prozessen zu verstehen. Abstrakte Modelle erlauben uns, das Verhalten eines Systems bis zu einem gewissen Grad nachzubilden und vorherzusagen. Die Evolution bzw. Dynamik eines durch ein Netzwerk implizierten Systems kann durch verschiedene Formalismen beschrieben werden. Modelle auf Basis gewöhnlicher Differentialgleichungen (ODE-Modelle) geben eine präzise Beschreibung eines Systems, in dem sich die Konzentrationen der Netzwerkkomponenten gemäß chemischer Kinetik, z.B. Massenwirkungsgesetzes, verhalten. In der Praxis sind die kinetischen Parameter eines ODE-Modells, die für die Beschreibung der Dynamik notwendig sind, oft unbekannt, was verstärkt zur Entwicklung von qualitativen und diskreten Modellierungsmethoden geführt hat. Diskrete Modelle, wie zum Beispiel der bekannte Thomas-Formalismus, liefern oft nur eine sehr grobe Beschreibung der Systemdynamik in der Form eines Transitionssystems, zeigen aber dennoch die fundamentalen Eigenschaften, die durch die Netzwerkstruktur vorgegeben sind. Obwohl ein System sich eindeutig verhalten sollte, können verschiedene Modellierungsansätze widersprüchliche Ergebnisse liefern. Dies kann die Verlässlichkeit der Modelle grundsätzlich in Frage stellen. Ein mathematischer Vergleich der unterschiedlichen Formalismen kann Bedingungen aufzeigen, unter denen sie sich gleich bzw. verschieden verhalten. ODE-Modelle können durch stückweise affine Differentialgleichungen (PADEs) approximiert werden, die eine wohldefinierte Dynamik vorweisen, gleichzeitig aber auch diskretisiert werden können und dabei Eigenschaften des Thomas-Formalismus zeigen. Mit dieser Eigenschaft bilden PADEs eine Brücke zwischen den ODE-Modellen und dem Thomas-Formalismus, die uns erlaubt, die Bedingungen für widersprüchliche Dynamiken zu analysieren. Unser Hauptergebnis besteht in einem detaillierten Vergleich von qualitativen PADE-Modellen und dem Thomas-Formalismus. Insbesondere zeigen wir, dass die qualitative Parameterinformation der PADEs inhärent im Thomas- Formalismus enthalten ist und umgekehrt. Die entsprechenden Transitionssysteme, welche aus den jeweiligen Methoden hervorgegangen sind, zeigen auf, dass es sowohl Modelle mit gemeinsamen Dynamiken als auch Gegenbeispiele mit widersprüchlichen Ergebnissen gibt. Daraus leiten wir ab, ob die Pfade und terminal stark zusammenhängenden Komponenten sich in beiden Formalismen entsprechen oder nicht. Unsere Analyse schlägt eine Brücke zwischen diskreten und kontinuierlichen Modellierungsmethoden. Insbesondere trennen wir die Dynamiken, die den Formalismen gemeinsam sind, von denen, die sich als Artefakte des gewählten Modellierungsansatzes ergeben. Damit führen unsere Ergebnisse zu einem genaueren Rahmen für die Modellbildung und erlauben akkuratere Modelle und Vorhersagen über biologische Systeme.
