Programmation d'Applications Réactives Probabilistes
HAL (Le Centre pour la Communication Scientifique Directe)(2020)
摘要
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.
更多查看译文
关键词
dapplications
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要