Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways
- Cite this paper as:
- Hajnal M., Šafránek D., Demko M., Pastva S., Krejčí P., Brim L. (2016) Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. In: Cinquemani E., Donzé A. (eds) Hybrid Systems Biology. HSB 2016. Lecture Notes in Computer Science, vol 9957. Springer, Cham
Signalling pathways provide a complex cellular information processing machinery that evaluates particular input stimuli and transfers them into the genome by means of regulation of specific genes expression. In this short paper, we provide a preliminary study targeting minimal models representing the topology of main signalling mechanisms. A special emphasis is given to distinguishing between monotonous (sustained) and non-monotonous (transient) time-course behaviour. A set of minimal parametrised ODE models is formulated and analysed in a workflow based on formal methods.