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

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. DOI : 10.51926/ISTE.9029.ch3 Chapitre de l'ouvrage : Approches symboliques de la modélisation et de l’analyse des systèmes biologiques / DOI : 10.51926/ISTE.480290 / ISBN : 9781789480290