Programmation d'Applications Réactives Probabilistes

Les langages synchrones ont ete introduits pour concevoir des systemes embarques temps-reel. Ces langages dedies permettent d'ecrire une specification precise du systeme, de la simuler, la valider par du test ou de la verification formelle puis de la compiler vers du code executable. Cependant, ils offrent un support limite pour modeliser les comportements non-deterministes qui sont omnipresents dans les systemes embarques. Dans cet article, nous presentons ProbZelus, une extension probabiliste d'un langage synchrone descendant de Lustre. ProbZelus permet de decrire des modeles probabilistes reactifs en interaction avec un environnement observable. Lors de l'execution, un ensemble de techniques d'inference peut etre utilise pour apprendre les distributions de parametres du modele a partir de donnees observees. Nous illustrons l'expressivite de ProbZelus avec des exemples comme un detecteur de trajectoire a partir d'observations bruitees, ou un controleur de robot capable d'inferer a la fois sa position et une carte de son environnement.