Skip to Main content Skip to Navigation
Conference papers

Programmation d'Applications Réactives Probabilistes

Résumé : Les langages synchrones ont été introduits pour concevoir des systèmes embarqués temps-réel. Ces langages dédiés permettent d'écrire une spécification précise du système, de la simuler, la valider par du test ou de la vérification formelle puis de la compiler vers du code exécutable. Cependant, ils offrent un support limité pour modéliser les comportements non-déterministes qui sont omniprésents dans les systèmes embarqués. Dans cet article, nous présentons ProbZélus, une extension probabiliste d'un langage synchrone descendant de Lustre. ProbZélus permet de décrire des modèles probabilistes réactifs en interaction avec un environnement observable. Lors de l'exécution, un ensemble de techniques d'inférence peut être utilisé pour apprendre les distributions de paramètres du modèle à partir de données observées. Nous illustrons l'expressivité de ProbZélus avec des exemples comme un détecteur de trajectoire à partir d'observations bruitées, ou un contrôleur de robot capable d'inférer à la fois sa position et une carte de son environnement.
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-02430070
Contributor : Timothy Bourke <>
Submitted on : Tuesday, January 7, 2020 - 9:59:05 AM
Last modification on : Tuesday, May 4, 2021 - 2:06:02 PM

File

jfla20.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02430070, version 1

Citation

Guillaume Baudart, Louis Mandel, Marc Pouzet, Eric Atkinson, Benjamin Sherman, et al.. Programmation d'Applications Réactives Probabilistes. JLFA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. ⟨hal-02430070⟩

Share

Metrics

Record views

99

Files downloads

326