L(?) L(? n ) + ?(?, ? n ) (4.24) et on dénit : l(?/? n ) = L(? n ) + (?, p.25 ,
human motion analysis : A review, p.90102, 1997. ,
gompilers X riniplesD ehE niquesD nd ools, 1986. ,
he rhiteture of ognition, 1996. ,
Synchronous programming: introduction and application to industrial process control, 1993 CompEuro Proceedings Computers in Design, Manufacturing, and Production, p.461470 ,
DOI : 10.1109/CMPEUR.1993.289839
Measuring HMM similarity with the Bayes probability of error and its application to online handwriting recognition, Proceedings of Sixth International Conference on Document Analysis and Recognition, p.406411, 2001. ,
DOI : 10.1109/ICDAR.2001.953822
ulmn (ltering theory, 1987. ,
wultitrgetEmultisensor trking X priniples nd tehniques, 1995. ,
An equality and associated maximization technique in statistical estimation for probabilistic functions of markov processes. snequlities, p.18, 1972. ,
An inequality with applications to statistical estimation for probabilistic functions of markov processes and to a model for ecology. fullF emerF wthF o, p.360363, 1967. ,
Statistical inference for probabilistic functions of nite state markov chains. he ennls of wthemtil ttistis, pp.1554-1563, 1966. ,
A maximization technique occurring in the statistical analysis of probabilistic functions of markov chains. he nnls of mthemtil sttistis, pp.164171-160, 1970. ,
Growth transformations for functions on manifolds. i( tournl of wthemtis, p.211227, 1968. ,
DOI : 10.2140/pjm.1968.27.211
URL : http://projecteuclid.org/download/pdf_1/euclid.pjm/1102983899
Comportement maritime en haute mer : détection, intervention, 2008. ,
Fusion de données avec des réseaux bayésiens pour la modélisation des systèmes dynamiques et son application en télémédecine, 2002. ,
Symbolic planning and control of robot motion [grand challenges of robotics]. ootis 8 eutomtion wgzineD siii, p.6170, 2007. ,
The synchronous approach to reactive and realtime systems. roeedings of the siii, p.12701282, 1991. ,
URL : https://hal.archives-ouvertes.fr/inria-00075115
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
The synchronous languages 12 years later. roeedings of the siii, 2003. ,
SIGNAL as a model for real-time and hybrid systems, 1992. ,
DOI : 10.1007/3-540-55253-7_2
URL : https://hal.archives-ouvertes.fr/inria-00074952
The constructive semantics of pure esterel, 1996. ,
he isterel vS vnguge rimerEersion SFIHD relese PFH. Citeseer, 1998. ,
Synchronous programming of reactive systems : an introduction to ESTEREL, 1987. ,
URL : https://hal.archives-ouvertes.fr/inria-00075906
Programmation synchrone des systèmes réactifs : le langage ESTEREL= Synchronous programming of reactive systems : the language ESTEREL. sF ehnique et siene informtiques, p.305316, 1987. ,
The esterel synchronous programming language ; design , semantics, implementation. iene of omputer progrmming, pp.87-152, 1992. ,
URL : https://hal.archives-ouvertes.fr/inria-00075711
The foundations of esterel, roofD vngugeD nd sntertion, p.425454, 2000. ,
Synchronous Programming Techniques for Embedded Systems: Present and Future, iwyp, p.50, 2001. ,
DOI : 10.1007/3-540-45449-7_4
Synchronous design and verication of critical embedded systems using scade and esterel, pwsg, 2007. ,
ESTEREL : A formal method applied to avionic software development. iene of gomputer rogrmming, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00579632
The esterel synchronous programming language : Design, semantics, implementation. iF gomputF rogrmF, p.87152, 1992. ,
URL : https://hal.archives-ouvertes.fr/inria-00075711
System level design and verication using a synchronous language, sggeh, p.433440, 2003. ,
roility s n elterntive to vogi for tionl ensory!wotor esoning nd heision, 2008. ,
A gentle tutorial of the em algorithm and its application to parameter estimation for gaussian mixture and hidden markov models. snterE ntionl gomputer iene snstitute, p.126, 1998. ,
Multiple hypothesis tracking for multiple target tracking. eeE rospe nd iletroni ystems wgzineD siii, p.518, 2004. ,
DOI : 10.1109/maes.2004.1263228
Movement, activity and action : the role of knowledge in the perception of motion. hilosophil rnstions of the oyl oiety of vondonF eries f X fiologil ienes, p.1257, 1358. ,
Coupled hidden Markov models for modeling interacting processes. umitted to xeurl gomputtion, 1996. ,
Coupled hidden Markov models for complex action recognition, Proceedings of IEEE Computer Society Conference on Computer Vision and Pattern Recognition, pp.994-999, 1997. ,
DOI : 10.1109/CVPR.1997.609450
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.611
Graph-based algorithms for boolean function manipulation. siii rnstions on gomputers, p.677691, 1986. ,
DOI : 10.1109/tc.1986.1676819
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.4027
Abstract hidden markov models for online probabilistic plan recognition, 2002. ,
Tracking and surveillance in wide-area spatial environments using the Abstract Hidden Markov Model, p.177196, 2001. ,
Representation and analysis of reactive behaviors : A synchronous approach, 1996. ,
Performance limits of trackto-track fusion versus centralized estimation : theory and application [sensor fusion]. eerospe nd iletroni ystemsD siii rnstions on, pp.386-400, 2003. ,
Distributed tracking in distributed sensor networks, emerin gontrol gonfereneD IWVT, p.18631868, 1986. ,
Model checking In poundtions of oftwre ehnology nd heoE retil gomputer iene, p.5456, 1997. ,
Orna Grumberg, and Doron A. Peled. wodel heking, 2000. ,
Holistic aggregates in a networked world, Proceedings of the 2005 ACM SIGMOD international conference on Management of data , SIGMOD '05 ,
DOI : 10.1145/1066157.1066161
Haziness for Common Sensical Inference from Uncertain and Inconsistent Linear Knowledge Base, 2008 20th IEEE International Conference on Tools with Artificial Intelligence, p.163170, 2008. ,
DOI : 10.1109/ICTAI.2008.11
URL : https://hal.archives-ouvertes.fr/hal-00614432
Maximum likelihood from incomplete data via the EM algorithm. tournl of the oyl ttistil oietyF eries f @wethodologilA, p.138, 1977. ,
v rte yésienne X un modèle proiliste hiérrhique pour l nvigtion en rootique moile, 2003. ,
Métiers de l'ingénieur généraliste, 2010. ,
A metageography of port-city relationships, 2007. ,
URL : https://hal.archives-ouvertes.fr/halshs-00458067
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
Securing harbors by modeling and calssifying ships behavior, roeedings on the PHth fehvior epresenttion in wodeling nd imultion @fswA, 2011. ,
Monocular pedestrian detection : Survey and experiments. siii rnstions on ttern enlysis nd whine sntelliE gene, p.21792195, 2008. ,
DOI : 10.1109/tpami.2008.260
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.5794
An introduction to mathematical optimal control theory version 0.2. veture notes ville t http XGGmthF erkeleyF eduG£ evnsGontrolF ourseF pdf, 1983. ,
Human action recognition by sequence of movelet codewords, 2002. ,
Transport maritime conteneurisé et mondialisation, p.187200, 2005. ,
The visual analysis of human movement : A survey* 1. gomputer vision nd imge understnding, p.8298, 1999. ,
émntiques et modèles d9exéution des lngges rétifs synhrones Y pplition à isterel, 1988. ,
Tabu search, 1998. ,
URL : https://hal.archives-ouvertes.fr/hal-01389283
Genetic algorithms in search, optimization, and machine learning, 1989. ,
Economic policies and seaports: The economic functions of seaports, Maritime Policy & Management, vol.17, issue.3, p.207219, 1990. ,
DOI : 10.1080/03088839000000028
ynhronous progrmming of retive systems, 1998. ,
Programming and verifying critical systems by means of the synchronous data-ow programming language lustre. siii rnstions on oftwre ingineeringD peil sssue on the pei(tion nd enlysis of elEime ystems, 1992. ,
Synchronous observers and the verication of reactive systems, hird sntF gonfF on elgeri wethodology nd oftwre ehnologyD ewe9WQD wente, 1993. ,
en introdution to multisensor dt fusion, IEEE, vol.85, 1997. ,
Automated Robot Behavior Recognition, p.249256, 2000. ,
DOI : 10.1109/5.18626
The symbol grounding problem. hysi h X xonliner henomen, p.335346, 1990. ,
Reference manual for the ada programming language. proposed standard document, 1980. ,
e forml theory of pln reognition, 1987. ,
Particle swarm optimization, Proceedings of ICNN'95, International Conference on Neural Networks, 1995. ,
DOI : 10.1109/ICNN.1995.488968
Modeling of driver's collision avoidance maneuver based on controller switching model. ystemsD wnD nd gyernetisD rt f X gyerE netisD siii rnstions on, p.3511311143, 2005. ,
e driver ehvior reogE nition method sed on driver model frmework, 2000. ,
Structural test coverage criteria for lustre programs, Proceedings of the 10th international workshop on Formal methods for industrial critical systems , FMICS '05, p.3543, 2005. ,
DOI : 10.1145/1081180.1081186
émntique opértionnelle du lngge synhrone isterel, 1985. ,
Reconnaissance des comportements d'une personne âgée vivant seule dans un habitat intelligent pour la santé, 2008. ,
Exploitation de données ais pour la cartographie du transport maritime, 2012. ,
Programmation visuelle pour la description du comportement d'un robot autonome, 1999. ,
Data-driven design of hmm topology for online handwriting recognition, he Uth snterntionl orkshop on prontiers in rndwriting eognition. Citeseer, 2000. ,
vexD e vexil enlyzer qenertor, Bell Laboratories, 1975. ,
An introduction to the application of the theory of probabilistic functions of a Markov process to automatic speech recognition. he fell ystem ehnil tournl, p.10351074, 1983. ,
Training hidden markov models with multiple observations-a combinatorial method. ttern enlysis nd whine sntelligeneD siii rnstions on, pp.371-377, 2000. ,
Behavior recognition in assisted cognition, roeedings he eeesEHR orkshop on upervisory gontrol of verning nd edptive ystems, 2004. ,
Maximum likelihood estimation for multivariate observations of markov sources. snformtion heoryD siii rnstions on, pp.729-734, 1982. ,
Towards real-time recognition of driver intentions, Proceedings of Conference on Intelligent Transportation Systems, p.236241 ,
DOI : 10.1109/ITSC.1997.660481
Pattern recognition techniques to infer driver intentions, 2004. ,
ports et ux de conteneurs dans le monde, 1983-1992, wpE pemonde, vol.1, p.2934, 1995. ,
Distributed detection and tracking in sensor networks In ignlsD ystems nd gomputersD PHHPF gonferene eord of the hirtyEixth esilomr gonferene on, p.11741178, 2002. ,
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
Human Driving Behavior Recognition Based on Hidden Markov Models, 2006 IEEE International Conference on Robotics and Biomimetics, pp.274-279, 2006. ,
DOI : 10.1109/ROBIO.2006.340166
Rapport nal d'exécution de secmar, 2012. ,
Optimal Passive Source Localization, 2007 International Conference on Sensor Technologies and Applications (SENSORCOMM 2007), p.295300, 2007. ,
DOI : 10.1109/SENSORCOMM.2007.4394937
On possibilities of driver behavior prediction for driving simulator control, 2006. ,
Hidden Markov models for face recognition, eoustisD peeh nd ignl roessingD IWWVF roeedings of the IWWV siii snterntionl gonferene on, p.27212724, 2002. ,
goneption des systèmes rétifsF ves lngges synhrones, 1991. ,
A health monitoring system for elderly people living alone. tournl of telemediine nd telere, p.151156, 2002. ,
Driver behavior recognition and prediction in a SmartCar, yg si sx yg y ixq, p.280290 ,
Graphical models for driver behavior recognition in a SmartCar, Proceedings of the IEEE Intelligent Vehicles Symposium 2000 (Cat. No.00TH8511), p.12, 2000. ,
DOI : 10.1109/IVS.2000.898310
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
Toward augmented control systems, Proceedings of the Intelligent Vehicles '95. Symposium, p.350355, 1995. ,
DOI : 10.1109/IVS.1995.528306
Modeling and prediction of human behavior. xeurl gomputtion, p.229242, 1999. ,
editor, rndook of heoretil gomputer ieneF olume f X porml wodels nd emntis, p.157, 1990. ,
e struturl epproh to opertionl emntis, Journal of Logic and Algebraic Programming, 2004. ,
Vision-based human motion analysis : An overview. gomputer ision nd smge
nderstnding, p.418, 2007. ,
DOI : 10.1016/j.cviu.2006.10.016
URL : http://doc.utwente.nl/61911/1/sdarticle.pdf
A survey on vision-based human action recognition. smge nd ision gomputing, p.976990, 2010. ,
Trajectory distance metric using hidden markov model based representation, 2004. ,
Learning algorithm of environmental recognition in driving vehicle, p.917925, 1995. ,
A tutorial on HMM and selected applications in speech recognition. roeedings of the siii, p.257286, 1989. ,
Fundamentals of speech recognition. PTR Prentice-Hall. snFD inglewood gli'sD xt, 1993. ,
An algorithm for tracking multiple targets. eutomti gontrolD siii rnstions on, p.843854, 1979. ,
Modular Compilation of a Synchronous Language, oftwre ingineering eserhD wngement nd epplitions gomputtionl sntelE ligene, p.151171, 2008. ,
DOI : 10.1007/978-3-540-70561-1_12
URL : https://hal.archives-ouvertes.fr/inria-00213472
Projections de population 2005-2050 : vieillissement de la population en france métropolitaine. Éonomie et sttistique, p.95112, 2007. ,
Simulated annealing algorithms : An overview. giruits nd hevies wgzineD siii, p.1926, 1989. ,
DOI : 10.1109/101.17235
 tracking driver intentions with the act-r driver model, p.1 ,
Inferring driver intent : A case study in lane-change detection, rumn ptors nd irgonomis oiety ennul weeting roeedings, p.22282231, 2004. ,
Toward a unied framework for tracking cognitive processes, roeedings of the PSth ennul gonferene of the gognitive iene oiety, p.10231028, 2003. ,
Modeling and recognition of driving behavior based on stochastic switched ARX model. sntelligent rnsporttion ystemsD siii rnstions on, p.593606, 2007. ,
Variable-and Fixed-Structure Augmented Interacting Multiple Model Algorithms for Manoeuvring Ship Tracking Based on New Ship Models. snterntionl tournl of epplied wtehmtis nd gomputer iene, p.591604, 2000. ,
DOI : 10.11610/isij.0211
Derivation and evaluation of improved tracking lter for use in dense multitarget environments. snformtion heoryD siii rnstions on, p.423432, 1974. ,
Design of a mobile robot controller using esterel tools. iletroni xotes in heoretil gomputer iene, p.310, 2002. ,
A revealing introduction to hidden Markov models. heprtment of gomputer iene n tose tte niversity, 2004. ,
La mise en place d'une technologie pour observer le comportement nocturne des personnes âgées en institution. sfwEfw, p.2530, 2001. ,
DOI : 10.1016/s1297-9562(01)90043-9
Modeling and recognition of human driving behavior based on stochastic switched arx model. In heision nd gontrolD PHHS nd PHHS iuE ropen gontrol gonfereneF ghgEigg9HSF RRth siii gonferene on, p.50955100, 2005. ,
A study on automated shifting and shift timing using a driver's mental model, Proceedings of Conference on Intelligent Vehicles, p.300305, 1996. ,
DOI : 10.1109/IVS.1996.566395
Sigma-point Kalman lters for nonlinear estimation and sensor-fusion : Applications to integrated navigation, 2004. ,
Error bounds for convolutional codes and an asymptotically optimum decoding algorithm. snformtion heoryD siii rnstions on, p.260269, 1967. ,
Hidden Markov models for modeling and recognizing gesture under variation. snterntionl tournl of ttern eognition nd erti(il sntelligene, p.123160, 2001. ,
Assistive intelligent environments for automatic health monitoring, 2006. ,
he orml emntis of rogrmming vnguges, 1993. ,
On the convergence properties of the em algorithm. he ennls of ttistis, p.95103, 1983. ,
A particle swarm optimization for hidden markov model training. ignl roessingD PHHT Vth snterntionl gonferene on, 2006. ,
Recognizing human action in time-sequential images using hidden Markov model, Proceedings 1992 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, p.379385, 1992. ,
DOI : 10.1109/CVPR.1992.223161
An eective hybrid optimization algorithm for hmm, xturl gomputtionD PHHVF sgxg9HVF pourth snterntionl gonferene on, p.8084, 2008. ,
DOI : 10.1109/icnc.2008.367
Comparison of Particle Swarm Optimization and Genetic Algorithm for HMM training, 2008 19th International Conference on Pattern Recognition, p.14 ,
DOI : 10.1109/ICPR.2008.4761282
Hidden markov model approach to skill learning and its application to telerobotics. ootis nd eutomtionD siii rnsE tions on, p.621631, 1994. ,
A new distance measure for hidden Markov models. ixpert ystems with epplitions, p.15501555, 2010. ,