Model Checking logical regulatory networks

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〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01099489
Contributeur : Jérôme Feret <>
Soumis le : dimanche 4 janvier 2015 - 09:40:05
Dernière modification le : mardi 17 avril 2018 - 11:34:05

Identifiants

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

102