Handling large logical models: the role of model reduction
Aurélien Naldi
19 March 2015, 14h30 - 19 March 2015, 15h30 Salle/Bat : 475/PCRI-N
Contact :
Activités de recherche : Biologie des systèmes
Résumé :
Logical (discrete) models have been used to study numerous biological
regulatory networks over the last 40 years.
The increasing size of the networks of interest calls for formal methods for
their dynamical analysis. Model reduction aims at constructing "simpler"
version of the models by taking out selected components while preserving
important dynamical properties.
Here we will discuss the effect of model reduction on the dynamical behaviour
of logical models, in particular the attractors and their reachability, as
well as its connections with other formal methods.
