Ce mémoire de thèse prèsente une approche pour la surveillance des systèmes à événements discrets commandés. L'étude se restreint aux défauts interruptibles : intermittents et permanents. Le comportement acceptable de ces systèmes est introduit afin d'accroître la disponibilité des systèmes commandés. Ce comportement présente une tolérance aux défauts intermittents. Une démarche de construction du système de surveillance est présentée. Nous modélisons, dans un premier temps, le comportement du système sujet aux défauts interruptibles par un automateà chronomètres. Nous appliquons, dans un deuxième temps, une procédure de synthèse à cet automate. Cette procédure est basée aux opérateurs d'analyse en avant et en arriérer de l'automate. Un nouveau modèle appelé réseaux de Petri à chronomètres post- et Pré-initialisés est également présenté. Ce modèle général du RdP a été utilisé, dans le cadre de ce mémoire, pour modéliser le comportement des systèmes sujets aux défauts interruptibles. L'implémentation de notre méthode de surveillance se fait par un automate programmable industriel. Pour ce faire, le système de surveillance étant sous la forme d'un automate àchronomètres est traduit structurellement en programme SFC.

L'organisme À nous le Podium a pour objectif de développer le système sportif canadien, notamment par le financement de la recherche et l'innovation. À la veille des Jeux de 2010, l'équipe de patinage de vitesse courte piste y a présenté un projet faisant l'objet du présent mémoire. Un réseau de quatre caméras synchronisées a été installé à Vancouver et à Montréal. La calibration est réalisée par appariement de cibles à des points de contrôle dans un référentiel orthonormé pour ainsi rectifier les trames par l'application d'une méthode polynomiale. Le suivi optique est basé sur un filtre particulaire qui extrait les trajectoires des patineurs. Tout le système est supporté par un système d'information géographique pour fins de manipulation et visualisation des données. Parallèlement, un outil de simulation a été réalisé pour estimer les forces subies et déployées par l'athlète sous des contraintes de friction et de caractéristiques géométriques imposées au tracé.