J. Karl and . Åström, Introduction to stochastic control theory, 2012.

G. Baudart, L. Mandel, E. Atkinson, B. Sherman, M. Pouzet et al., , 2019.

G. Berry, Real time programming: Special purpose or general purpose languages. Information Processing, vol.89, pp.11-17, 1989.
URL : https://hal.archives-ouvertes.fr/inria-00075494

E. Bingham, J. P. Chen, M. Jankowiak, F. Obermeyer, N. Pradhan et al., Pyro: Deep universal probabilistic programming, Journal of Machine Learning Research, vol.20, issue.6, pp.1-28, 2019.

T. Bourke and M. Pouzet, Zélus, a Synchronous Language with ODEs, International Conference on Hybrid Systems: Computation and Control, 2013.

B. Carpenter, A. Gelman, D. Matthew, D. Hoffman, B. Lee et al., Stan: A probabilistic programming language, Journal of Statistical Software, vol.76, issue.1, pp.1-37, 2017.

J. Colaço, B. Pagano, and M. Pouzet, A Conservative Extension of Synchronous Data-flow with State Machines, ACM International Conference on Embedded Software, 2005.

J. Colaco, B. Pagano, and M. Pouzet, Scade 6: A formal language for embedded critical software development, International Symposium on Theoretical Aspects of Software Engineering, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01666470

P. Del-moral, A. Doucet, and A. Jasra, Sequential Monte Carlo samplers, Journal of the Royal Statistical Society: Series B (Statistical Methodology), vol.68, issue.3, pp.411-436, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01593880

D. Noah, A. Goodman, and . Stuhlmüller, The Design and Implementation of Probabilistic Programming Languages, pp.2019-2029, 2014.

D. Harel, Statecharts: A visual formalism for complex systems, Sci. Comput. Program, vol.8, issue.3, pp.231-274, 1987.

D. Huang, J. Tristan, and G. Morrisett, Compiling Markov chain Monte Carlo algorithms for probabilistic modeling, ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017.

D. Lunn, D. Spiegelhalter, A. Thomas, and N. Best, The bugs project: Evolution, critique and future directions, Statistics in medicine, vol.28, issue.25, pp.3049-3067, 2009.

M. Montemerlo, S. Thrun, D. Koller, and B. Wegbreit, FastSLAM: A factored solution to the simultaneous localization and mapping problem, AAAI National Conference on Artificial Intelligence, 2002.

L. M. Murray, D. Lundén, J. Kudlicka, D. Broman, and T. B. Schön, Delayed sampling and automatic rao-blackwellization of probabilistic programs, AISTATS Proceedings of Machine Learning Research, 2018.

M. Lawrence, T. B. Murray, and . Schön, Automated learning with a probabilistic programming language, Birch. Annual Reviews in Control, vol.46, pp.29-43, 2018.

A. Pfeffer, Functional specification of probabilistic process models, AAAI National Conference on Artificial Intelligence, 2005.

A. Pfeffer, CTPPL: A continuous time probabilistic programming language, International Jont Conference on Artifical Intelligence, 2009.

P. Raymond, Y. Roux, and E. Jahier, Lutin: A language for specifying and executing reactive scenarios, EURASIP Journal of Embedded Sytems, 2008.

D. Tolpin, J. Van-de-meent, H. Yang, and F. Wood, Design and implementation of probabilistic programming language Anglican, Symposium on the Implementation and Application of Functional Programming Languages, 2016.

D. Tran, M. D. Hoffman, R. A. Saurous, E. Brevdo, K. Murphy et al., Deep probabilistic programming, International Conference on Learning Representations, 2017.

Y. Wu, L. Li, S. J. Russell, and R. Bodík, Swift: Compiled inference for probabilistic programming languages, International Joint Conference on Artificial Intelligence, 2016.