le travail présenté dans ce mémoire de thèse apporte sa contribution à la synthèse de<br />lois de commande en contexte incertain des systèmes automatisés de production. L'incertain est ici<br />caractérisé d'une part par les variations imprévues des demandes client, mais également par les aléas<br />de fonctionnement déclarés au niveau de la partie opérative. L'approche, localisée au niveau 1 du<br />CIM, et en particulier au sein des modules de coordination des chaînes fonctionnelles, s'intègre au<br />sein d'un système plus général de Supervision, Surveillance et Commande. L'approche se distingue en<br />considérant la globalité du processus qui mène à la reconguration des lois de commande. En eet,<br />elle propose non seulement une méthode de modélisation de la partie opérative utilisant un formalisme<br />particulièrement adapté à la complexité des procédés considérés mais aussi une technique de synthèse<br />de lois de commande basée sur un mécanisme de recherche de chemins dans un graphe. La modélisation<br />proposée, proche de celle utilisée en planication automatique, est basée sur un ensemble d'opérations<br />qui décrivent la dynamique des chaînes fonctionnelles et leurs eets sur le ux de produits tout en<br />prenant en considération les contraintes sécuritaires et environnementales associées. Toute l'originalité<br />du mécanisme de synthèse proposé réside dans le compromis réalisé entre la complexité du graphe<br />manipulé et les performances de la solution obtenue.<br />Un exemple d'application basé sur un processus manufacturier réel, la plate-forme SAPHIR du<br />Laboratoire d'Automatique de Grenoble, et sur l'atelier logiciel développé sur la base du mécanisme<br />de synthèse proposé illustre les apports de notre approche.

Ce travail est une contribution à la commande des systèmes manufacturiers et plus particulièrement à leur reconfiguration dynamique. En cas de reconfiguration, l'idée de base est de synthétiser les contrôleurs de commande en tenant compte d'une part des besoins de l'utilisateur et d'autre part de l'état du système. L'approche proposée est inspirée de la théorie du supervisory control, mais est adaptée à l'exploitation du formalisme des réseaux de Petri.<br />Dans ce travail, nous proposons un nouveau problème pour la modélisation des spécifications utilisateurs : le « Problème des Séquences Interdites de Transitions d'États» (PSITE). Nous proposons alors le « Graphe d'Accessibilité Synchrone Contraint » (GASC) pour synthétiser le modèle du procédé et le modèle des spécifications tous les deux basés sur les RdPs. Pour réaliser la synthèse, nous utilisons la théorie des régions revisitée par les travaux de thèse de A. Gaffari. <br />Dans la deuxième partie du travail nous montrons dans un premier temps que cette approche peut être utilisée pour la synthèse d'allocateurs de ressources, pour rendre déterministe l'interprétation de gammes opératoires. L'idée à ce niveau est de pouvoir synthétiser des contrôleurs déterministes qui mettent en œuvre un ordonnancement cyclique donné, établi en tenant compte de l'état du procédé et des objectifs de production. Ce travail est complété par la proposition d'un outil logiciel dont nous présentons le fonctionnement, l'intérêt et également les limites actuelles.

Disposant d'un jeu de données sur des infections nosocomiales, nous utilisons des techniques de vraisemblance empirique pour construire des bandes de confiance pour certaines quantité d'intérêt. Cette étude nous amène à renforcer les outils déjà existants afin qu'ils s'adaptent à notre cadre. Nous présentons dans une première partie les outils mathématiques issus de la littérature que nous utilisons dans ce travail de thèse. Nous les appliquons ensuite à diverses situations et donnons de nouvelles démonstrations lorsque cela est nécessaire. Nous conduisons aussi des simulations et obtenons des résultats concrets concernant notre jeu de données. Enfin, nous détaillons les algorithmes utilisés.

Nous présentons une nouvelle approche pour formuler et calculer le temps de séparation des événements utilisé dans l’analyse et la vérification de différents systèmes cycliques et acycliques sous des contraintes linéaires-min-max avec des composants ayant des délais finis et infinis. Notre approche consiste à formuler le problème sous la forme d’un programme entier mixte, puis à utiliser le solveur Cplex pour avoir les temps de séparation entre les événements. Afin de démontrer l’utilité en pratique de notre approche, nous l’avons utilisée pour la vérification et l’analyse d’une puce asynchrone d’Intel de calcul d’équations différentielles. Comparée aux travaux précédents, notre approche est basée sur une formulation exacte et elle permet non seulement de calculer le maximum de séparation, mais aussi de trouver un ordonnancement cyclique et de calculer les temps de séparation correspondant aux différentes périodes possibles de cet ordonnancement. / We present a new approach for formulating and computing time separation of events used for timing analysis of different types of cyclic and acyclic systems that obey to linear-min-max type constraints with finite and infinite bounded component delays. Our approach consists of formulating the problem as a mixed integer program then using the solver Cplex to get time separations between events. In order to demonstrate the practical use of our approach we apply it for the verification and analysis of an Intel asynchronous differential equation solver chip. Compared to previous work, our approach is based on exact formulation and it allows not only the maximum separation computing, but it can also provide cyclic schedules and compute bound on possible periods of such schedules.

Le travail présenté dans cette thèse constitue une contribution originale à lamodélisation et à l'analyse de performances des systèmes de vélos en libre-service. De nombreuses villes en Europe ont suscité un intérêt considérable et un engouement à l'égard de ce nouveau mode de transport écologique (Vélib' à Paris, Vélov'v à Lyon, Bicing à Barcelone, ...) et dont les progrès technologiques ne cessent de les faire émerger dans les quatre coins dumonde. Contrairement aux systèmes de transport traditionnels, très peu d'étudesfondamentales ont été menées et pourtant, de nombreuses questions émergent, la principale étant celle d'un rééquilibrage (régulation) de la distribution de vélos dans les différentes stations afin de satisfaire au mieux les demandes des usagers. C'est dans ce cadre que s'inscrit cette thèse de doctorat portant sur la modélisation, l'analyse et l'évaluation de performances de ce mode de transport en libre service. Ce travail, basé sur les réseaux de Petri, est d'une aide précieuse pour la mise en oeuvre, l'exploitation et la régulation de ce type de systèmes.La complexité dynamique de tels systèmes, perçus comme des systèmes à événements discrets, nous a conduit au développement d'une approche à base d'une classe particulière de réseaux de Petri stochastiques ayant des arcs à poids variables pertinents aussi bien pour l'analyse que pour la simulation. Un ensemble de modèles et de méthodes d'analyse associées sont développés en vue de leur régulation, en prenant en compte différents paramètres de décision qui les caractérisent notamment le nombre de stations, la capacité de chaque station, les seuils de régulation, la capacité des véhicules de régulation, le type et/ou la fréquence de régulation choisi (périodique ou continue), .... En plus d'être paramétrables, les modèles proposés permettent d'étudier plusieurs configurations en fonction de différents modes de fonctionnement possibles (mode sans régulation, mode avec régulation, mode dynamique, mode statique, etc). La présentation de cette thèse comporte plusieurs illustrations et applicationspermettant d'aider le lecteur à la compréhension du travail développé.A notre connaissance, il s'agit d'un premier travail du genre dans la littérature sur les réseaux de Petri et plus généralement, l'un des premiers sur les systèmes de vélos en libre-service.

La course à la miniaturisation des circuits électroniques pousse à développer des systèmes faible coût, quece soit en terme de consommation d'énergie ou de ressources de calcul. Il est ainsi possible de réduire la consommationen diminuant la tension d'alimentation et/ou la fréquence d'horloge, mais ceci a pour conséquence de diminuer aussila vitesse de fonctionnement du circuit. Une commande prédictive rapide permet alors de gérer dynamiquement un telcompromis, de manière à ce que la consommation d'énergie soit minimisée tout en garantissant de bonnes performances.Les stratégies de commande proposées ont notamment l'avantage d'être très robustes aux dispersions technologiquesqui sont un problème récurrent dans les nanopuces. Des solutions sont également proposées afin de réduire le coût decalcul du contrôleur. Les systèmes à échantillonnage non-uniforme, dont la loi de commande est calculée et mise à jourlorsqu'un événement est déclenché, sont ainsi étudiés. Ce principe permet de réduire le nombre d'échantillons et, parconséquent, d'économiser des ressources de calcul, tout en garantissant de bonnes performances du système commandé.Des résultats de simulation, et surtout expérimentaux, valident finalement l'intérêt d'utiliser une telle approche.

Le diagnostic est aujourd'hui plus que jamais un thème de recherche pertinent. La sécurité est en effet au cSur des préoccupations de la société d'aujourd'hui. Les enjeux tant économiques, sociétaux qu'environnementaux en font un des axes majeurs d'innovation pour l'industrie actuelle. Aujourd'hui la conception et l'exploitation des systèmes doivent être abordées en intégrant une dimension sécurité dont le diagnostic fait partie intégrante. C'est dans cette problématique du diagnostic (incluant la détection et le pronostic) que s'inscrivent nos travaux. Deux thèmes de recherches sont explorés : - les modèles et les sources de connaissances pour le diagnostic. Ce thème de recherche couvre les aspects multi-modèles (modèle du procédé, modèle de surveillance, modèle de stratégie &) pour la surveillance, et met en avant la pertinence d'utiliser des sources d'informations variées (ordonnancement, AMDE, historiques &) pour mettre en place une fonction diagnostic. La génération d'un modèle de comportement à partir de données classifiées est également abordée dans ce thème. Une approche de surveillance reposant sur l'observation de la trajectoire d'un système dynamique au travers d'une séquence d'assignations de l'état courant à des classes est développée. - le diagnostic distribué. Les approches proposées ici se focalisent sur la distribution des fonctions et des modèles. Une approche de détection distribuée basée sur un modèle temporel (contraintes) du comportement est développée. Une extension vers le diagnostic embarqué dans le domaine automobile s'appuyant sur un modèle du comportement issu des données de conception est également présentée. Sur la base de ces travaux notre projet de recherche concerne d'une part l'utilisation des approches basées données pour structurer les connaissances et générer automatiquement des modèles exploitables par des méthodes de diagnostic basées modèles, d'autre part la problématique du diagnostic pour l'aide à la décision, notamme nt dans les systèmes où la dimension humaine doit être considérée

L'objectif de cette thèse est de montrer que, contrairement aux idées reçues, les mots de basses fréquences peuvent être mis à profit de façon efficace en traitement automatique des langues. Nous les mettons à contribution en alignement sous-phrastique, tâche qui constitue la première étape de la plupart des systèmes de traduction automatique fondée sur les données (traduction probabiliste ou par l'exemple). Nous montrons que les mots rares peuvent servir de fondement même dans la conception d'une méthode d'alignement sous-phrastique multilingue, à l'aide de techniques différentielles proches de celles utilisées en traduction automatique par l'exemple. Cette méthode est réellement multilingue, en ce sens qu'elle permet le traitement simultané d'un nombre quelconque de langues. Elle est de surcroît très simple, anytime, et permet un passage à l'échelle naturel. Nous comparons notre implémentation, Anymalign, à deux ténors statistiques du domaine sur des tâches bilingues. Bien qu'à l'heure actuelle ses résultats sont en moyenne légèrement en retrait par rapport à l'état de l'art en traduction automatique probabiliste par segments, nous montrons que la qualité propre des lexiques produits par notre méthode est en fait supérieure à celle de l'état de l'art.

Cette thèse propose une méthode de détection et diagnostic basée cohérence pour les systèmes à événements discrets. La méthode prend en compte la possibilité d'erreurs dans les modèles utilisés comme référence du bon comportement du système. La détection est réalisée par la vérification de cohérence entre le comportement observé et le comportement décrit par les modèles du système. Dans la mesure où les modèles utilisés ne sont pas exempts d'erreurs, la perte de cohérence détectée peut correspondre à une réelle défaillance au niveau du procédé ou à une erreur dans les modèles. Pour distinguer ces deux cas, il est nécessaire de déterminer les sous-modèles communs. Chaque observation émanant du procédé apporte une information utile pour l'identification de la ou des types de configuration entre les modèles. L'identification est réalisée en ligne et repose sur le parcours d'un graphe décrivant exhaustivement l'ensemble des configurations des modèles. Enfin, le rétablissement de la cohérence avec les observations par modification des modèles constitue le principe du diagnostic

Cette thèse s'inscrit dans le domaine de la reconfiguration dynamique des systèmes de production. Elle apporte sa contribution au diagnostic de services en présence de défaillances de la partie opérative. L'objectif visé est de mettre à jour, en ligne, un modèle représentant les capacités offertes par une partie opérative. Aussi, sur la base d'un tel modèle reprenant les principes issus de la planification automatique, nous avons tout d'abord proposé un mécanisme de suivi permettant de construire et de gérer un modèle d'historique. Ensuite, un algorithme de recherche avant/arrière basé sur un système de règles a été développé afin, sous l'occurrence de défaillances, de localiser non seulement les services étant à l'origine possible du dysfonctionnement constaté mais aussi ceux potentiellement affectés. Après quoi, une mise à jour du modèle de partie opérative est opérée afin de présenter au système de reconfiguration une image "honnête" des capacités opératoires encore disponibles.