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, dynamiqueTous les chapitres :