P. Bessiére, Probability as an Alternative to Logic for Rational SensoryMotor Reasoning and Decision, 2008.

J. Yang, Y. Xu, and C. Chen, Hidden markov model approach to skill learning and its application to telerobotics , Robotics and Automation, IEEE Transactions on, vol.10, issue.5, p.621631, 1994.

K. Han and M. Veloso, Automated Robot Behavior Recognition, p.249256, 2000.
DOI : 10.1109/5.18626

N. Kuge, T. Yamamura, O. Shimoyama, and A. Liu, A Driver Behavior Recognition Method Based on a Driver Model Framework, SAE Technical Paper Series, 2000.
DOI : 10.4271/2000-01-0349

S. Sekizawa, S. Inagaki, T. Suzuki, S. Hayakawa, N. Tsuchida et al., Modeling and recognition of driving behavior based on stochastic switched ARX model, Intelligent Transportation Systems, IEEE Transactions on, vol.8, issue.4, p.593606, 2007.

X. Meng, K. Lee, and Y. Xu, Human Driving Behavior Recognition Based on Hidden Markov Models, 2006 IEEE International Conference on Robotics and Biomimetics, p.274279, 2006.
DOI : 10.1109/ROBIO.2006.340166

C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins et al., Symbolic planning and control of robot motion [grand challenges of robotics], Robotics & Automation Magazine, p.6170, 2007.

A. Sowmya, D. Tsz-wang, W. H. So, and . Tang, Design of a Mobile Robot Controller using Esterel Tools, Electronic Notes in Theoretical Computer Science, vol.65, issue.5, p.310, 2002.
DOI : 10.1016/S1571-0661(05)80435-9

S. Levinson, L. Rabiner, and M. Sondhi, An introduction to the application of the theory of probabilistic functions of a Markov process to automatic speech recognition, The Bell System Technical Journal, p.10351074, 1983.

L. R. Rabiner, A tutorial on HMM and selected applications in speech recognition, Proceedings of the IEEE, p.257286, 1989.

A. Nean, M. Hayes, and I. , Hidden Markov models for face recognition, Acoustics, Speech and Signal Processing Proceedings of the 1998 IEEE International Conference on, p.27212724, 1998.

J. Lee, J. Kim, and J. Kim, Data-driven design of hmm topology for on-line handwriting recognition, The 7th International Workshop on Frontiers in Handwriting Recognition, Citeseer, 2000.

N. Oliver and A. Pentland, Graphical models for driver behavior recognition in a SmartCar, Proceedings of the IEEE Intelligent Vehicles Symposium 2000 (Cat. No.00TH8511), pp.7-12, 2000.
DOI : 10.1109/IVS.2000.898310

A. Pentland and A. Liu, Modeling and Prediction of Human Behavior, Neural Computation, vol.83, issue.1, p.229242, 1999.
DOI : 10.1109/3468.553220

N. Halbwachs, Synchronous programming of reactive systems, 1998.

E. Clarke, Model checking, in Foundations of Software Technology and Theoretical Computer Science, pp.54-56, 1997.

A. Charles, Representation and analysis of reactive behaviors: A synchronous approach, 1996.

G. Berry, P. Couronne, and G. Gonthier, Synchronous programming of reactive systems: an introduction to ESTEREL, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00075906

V. Papailiopoulou, Automatic Test Generation for LUSTRE/SCADE Programs, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, p.517520, 2008.
DOI : 10.1109/ASE.2008.96

A. Benveniste, P. L. Guernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, p.103149, 1991.
DOI : 10.1016/0167-6423(91)90001-E

G. Berry and G. Gonthier, The esterel synchronous programming language; design, semantics, implementation , Science of computer programming, p.87152, 1992.

S. Elloumi, J. Marmorat, V. Roy, and N. Maizi, Modeling Ship Behavior based on Hidden Markov Models, Signal Processing, Pattern Recognition, and Applications / 722: Computer Graphics and Imaging, 2011.
DOI : 10.2316/P.2011.721-107
URL : https://hal.archives-ouvertes.fr/hal-00614412