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

Abstract

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.