Abstract : Regulatory and signalling networks control cell behaviours
in response to environmental cues. The logical formalism has been widely
employed to study these interaction networks, which are modelled as
discrete dynamical systems. While biologists identify networks
encompassing more and more components, properties of biological relevance
become hard to verify. Here, we report on the use of model-checking
techniques to address this challenge. This approach is illustrated by an
application dealing with the modelling of T-helper lymphocyte
differentiation.
Type de document :
Communication dans un congrès
Jean-Jacques Lesage; José E. Ribeiro; Bengt Lennartson. WODES'14, 12th IFAC - IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. Elsevier, The International Federation of Automatic Control, 〈http://wodes2014.lurpa.ens-cachan.fr/〉. 〈10.3182/20140514-3-FR-4046.00135〉
https://hal.inria.fr/hal-01099489
Contributeur : Jérôme Feret
<>
Soumis le : dimanche 4 janvier 2015 - 09:40:05
Dernière modification le : vendredi 25 mai 2018 - 12:02:07
Pedro T. Monteiro, Wassim Abou-Jaoudé, Denis Thieffry, Claudine Chaouiya. Model Checking logical regulatory networks. Jean-Jacques Lesage; José E. Ribeiro; Bengt Lennartson. WODES'14, 12th IFAC - IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. Elsevier, The International Federation of Automatic Control, 〈http://wodes2014.lurpa.ens-cachan.fr/〉. 〈10.3182/20140514-3-FR-4046.00135〉. 〈hal-01099489〉
