Code ERC :

LS2 Genetics, ’Omics’, Bioinformatics and Systems Biology
LS2_12 Bioinformatics
LS2_15 Systems biology

Chapter PDF
7.00
Clear

Les enjeux de l’inférence de modèles dynamiques à partir de séries temporelles

Tony RIBEIRO, Maxime FOLSCHETTE, Laurent TRILLING, Nicolas GLADE, Katsumi INOUE, Morgan MAGNIN et Olivier ROUX
(pages : 97-139)
DOI : 10.51926/ISTE.9029.ch3

Résumé :

Ce chapitre dresse un panorama des approches portant sur l’élaboration de modèles qualitatifs de réseaux de régulation, via des démarches s’apparentant au model-checking (pour l’analyse) et à la programmation logique (pour l’inférence). Nous nous attachons à étudier ce problème dans un contexte large-échelle, autrement dit avec potentiellement plusieurs centaines de composants interagissant.

Mots-clés :

Apprentissage, programmation logique, model-checking, modélisation hybride, dynamique
Tous les chapitres :