L'intégration d'équipements d'électronique de puissance dans un réseau continu peut mener le système à fonctionnement instable. Dans ces travaux, nous nous intéressons à la question suivante : comment dimensionner les systèmes de génération aéronautique de façon à garantir la stabilité de la tension continue tout en minimisant la masse ? Dans le premier chapitre, nous montrons que le problème de l'intégration d'un équipement dans le réseau est fortement lié à la robustesse de son dimensionnement vis-à-vis d'incertitudes portant sur son environnement final de fonctionnement. Nous proposons alors une nouvelle approche pour la conception des futurs réseaux continus aéronautiques, utilisant la robustesse comme un indicateur de la "capacité d'intégration" d'un équipement dans le réseau. Dans le deuxième chapitre, nous montrons en particulier comment une loi de commande robuste peut aider à la résolution du problème de l'intégration tout en minimisant la masse du système. Dans le troisième chapitre, cette méthodologie a finalement été appliquée à trois structures d'électronique de puissance pour la génération d'énergie dans les avions futurs (ATRU, redresseur hexaphasé à diodes, et redresseur contrôlé en pleine onde).

La plupart des travaux en ordonnancement repose sur un modèle déterministe, peu adapté à la réalité de l'ordonnancement d'atelier. En effet, les ateliers de production sont soumis à un certain nombre d'incertitudes. C'est pourquoi l'ordonnancement sous incertitudes est un domaine en pleine expansion.<br /><br />D'autre part, l'humain n'est généralement pas pris en compte dans l'élaboration de la méthode d'ordonnancement. Pourtant, l'humain joue un rôle central dans le processus d'ordonnancement, et ses connaissances du terrain sont précieuses. C'est pourquoi nous pensons que des systèmes homme-machine efficaces sont nécessaires au bon fonctionnement des méthodes d'ordonnancement d'atelier.<br /><br />Pour cela, nous nous reposons sur l'ordonnancement de groupes. Cette méthode d'ordonnancement d'atelier comporte différents avantages pour notre recherche : c'est une méthode d'ordonnancement sous incertitudes et sa structure est facilement manipulable par l'humain. Nous étudions les systèmes homme-machine existant pour cette méthode d'ordonnancement. Nous proposons ensuite un nouveau système homme-machine, afin d'améliorer la coopération. Dans ce système, nous utilisons la qualité dans le meilleur des cas dans un ordonnancement de groupes. Comme ce thème n'est pas encore abordé dans la littérature, nous proposons des bornes inférieures, des heuristiques et une méthode exacte pour résoudre ce problème.

Cette thèse présente une étude statistique du problème de la trajectographie passive. On s'intéresse dans une première partie à la question de l'observabilité pour des trajectoires paramétriques puis paramétriques par morceaux et ensuite des trajectoires à vitesse constante. La deuxième partie est consacrée à l'estimation : on présente les propriétés de l'estimateur du maximum de vraisemblance pour des trajectoires paramétriques et paramétriques par morceaux. On expose également le caractère non robuste de cette estimation en dépit de propriétés asymptotiques satisfaisantes. On s'intéresse alors à la sensibilité de l'estimation quand le modèle d'état n'est pas totalement spécifié. Son comportement est décrit pour des perturbations d'état déterministes puis stochastiques et un cadre semiparamétrique est considéré quand la loi du bruit d'état est inconnue. Dans la dernière partie, on aborde le problème de la trajectographie passive comme chaîne de Markov cachée. On s'intéresse à l'étude du filtre optimal et à sa résolution par des méthodes algorithmiques. Le filtre de Kalman étendu est expérimenté sous différentes conditions de bruit d'état. On présente ensuite des résultats de stabilité asymptotique du filtre optimal pour des chaînes de Markov cachées non ergodiques puis leur application en trajectographie passive.

La première partie de ce travail est consacrée à l'introduction d'un nouvel outil de modélisation - les Réseaux de Petri à Intervalles - pour répondre à un besoin de spécification, validation et évaluation des systèmes de production intégrant des contraintes d'intervalles de validité sur une qualité donnée. Le premier chapitre situe la contribution applicative par rapport à l'état de l'art en la restreignant à la régulation sur la commande locale pour les ateliers en fonctionnements répétitifs. Ensuite, L'extension de certaines propriétés structurelles des réseaux de Petri P-temporels à des problématiques non temporelles est alors étudiée avec ce nouvel outil.<br /> La deuxième partie de ce travail développe une validation applicative sur une manufacture de tabac. Une construction systématique du modèle Réseaux de Petri à Intervalles est proposée. La méthodologie s'appuie sur les statistiques de production de l'atelier. En s'appuyant sur ce modèle, un réglage est analytiquement calculé en prenant en compte les spécifications de robustesse. Ensuite, une commande réactive est proposée pour faire face aux dérives lentes du procédé. Enfin, l'efficacité de la conduite est démontrée en la simulant sur un ensemble de données de production différent de celui qui a été utilisé pour la construction du modèle.<br />Le présent travail a donc introduit un outil de modélisation dont la pertinence est avérée, au moins sur ce type d'application. Reste que l'abstraction fonctionnelle de l'outil ouvre des champs applicatifs qui restent à explorer, tant d'un point de vue analyse que d'un point de vue mise en œuvre.

La complexité d'un système et les approximations de modélisation qui en résultent, le caractère aléatoire des perturbations externes ainsi que la dispersion des paramètres de conception autour de leur valeur nominale sont autant de raisons qui amènent à remettre en cause les approches déterministes qui supposent une connaissance parfaite du système et de son environnement. La n´ecessité de concevoir des systèmes robustes nous conduit à élaborer des modèles statistiques qui permettent de gérer les incertitudes, et en particulier l'apparition de valeurs extrêmes à la sortie des systèmes. La modélisation des valeurs extrêmes et la protection d'un système vis-à-vis de ces évènements revêt un intérêt particulier, puisque ces valeurs extrêmes peuvent correspondre à des violations du cahier des charges, voire à des destructions du système. L'objectif de ce mémoire est de mettre en place des outils pour étudier les performances d'un dispositif lorsqu'il est sollicité à la limite du fonctionnement normalement prévu. Une valeur extrême est en général un évènement rare qui nécessite a priori de faire un grand nombre d'expériences avant d'être observé. Cependant, de telles expériences, ou les simulations qui sont de plus en plus utilisées pour les remplacer, sont souvent coûteuses. Il est donc souhaitable de caractériser les valeurs extrêmes à partir d'un petit nombre d'expériences ou de simulations. Concrètement, nous étudions la modélisation des queues de probabilité, l'estimation d'une faible probabilité de défaillance et l'estimation du pire cas de fonctionnement d'un système.

Ces dernières années ont vu le marché automobile évoluer de manière importante, chahuté par un ensemble de contraintes géopolitiques et environnementales nouvelles, dont la principale est la nécessité de réduire les émissions de gaz à effet de serre. Une des solutions à moyen terme les plus prometteuses pour répondre à ce problème est l'hybridation des groupes moto-propulseurs. La complexification des transmissions alors engendrée pose des problèmes de contrôle dont les points clés sont : la rapidité des suivis du couple à la roue, du régime moteur et de la tension de l'élément de stockage dans un cadre multivariable, le découplage de ces suivis et la robustesse de la loi de commande face à un certain nombre de perturbations identifiées et aux non-linéarités. Un outil moderne répond à ces attentes, en proposant une approche fréquentielle, qui permet donc la traduction d'un cahier des charges précis : la synthèse H1. Dans cette thèse, nous poserons tout d'abord le contexte du marché automobile actuel, et nous déterminerons un modèle générique pour un ensemble de transmissions hybrides. Deux axes seront alors étudiés indépendamment. D'une part, nous présenterons une structure de loi de commande avantageuse reprenant l'approche moteur / boîte de vitesse que l'on retrouve dans un véhicule classique. D'autre part, nous mettrons en relief le fait que le système, bien que non linéaire, peut être abordé dans le cadre des systèmes linéaires à paramètres variants (LPV). Deux approches sont alors possibles : synthétiser un correcteur linéaire invariant, ou un correcteur également LPV. Pour faire ce choix nous mettrons en place plusieurs outils d'analyse, adaptés au cadre LPV, et réaliserons des simulations significatives. Dans le but d'implanter la loi de commande choisie dans un véhicule d'essais, une architecture logicielle sera alors définie, assurant la discrétisation et la bonne initialisation du correcteur. Les résultats obtenus sur prototype montrent que les outils utilisés sont bien adaptés aux transmissions hybrides, et qu'ils permettent un réglage fin des objectifs du cahier des charges.

Les systèmes de dialogue en langue naturelle sont des interfaces de communication homme-machine susceptibles de souffrir de nombreux problèmes d'incompréhension liés à la complexité de la langue. Nous appelons robustesse leur capacité à faire face aux problèmes d'interprétation. La théorie du grounding (ancrage) de Clark & Schaefer (1989) suggère que les participants à un dialogue cherchent à atteindre la compréhension mutuelle en produisant des preuves de leur compréhension et peut alors permettre d'améliorer la robustesse des systèmes. Cette théorie est confrontée toutefois au problème d'acceptation récursive : afin de savoir si une preuve de compréhension a bien été comprise il est nécessaire d'en fournir une preuve de compréhension et on ne peut au final jamais savoir si quelque chose a été correctement compris. Les modélisations informatiques de l'ancrage qui visent à résoudre ce problème font l'objet de plusieurs simplifications ou sont trop complexes à mettre en oeuvre. Nous proposons d'appuyer la modélisation du processus d'ancrage sur la croyance de compréhension des preuves de compréhension, entraînant une coupure de la récursion ainsi que la possibilité d'ancrer à tort un énoncé. Cette modélisation a été implémentée et adjointe à un système d'interprétation symbolique classique (LTAG + logique de description). L'évaluation du système a été réalisée par simulation sur corpus en générant des dialogues d'ancrage de manière artificielle entre deux instances du système. Ce type d'évaluation permet alors d'explorer automatiquement une grande diversité de problèmes d'ancrage. Les résultats obtenus à l'issue de l'évaluation montrent un gain significatif de compréhension et valident en cela l'approche générale.

Les manières de créer et de développer des systèmes informatiques ne cessent d'évoluer. La complexité croissante des logiciels informatiques (répartition du code, utilisation de composants externes, limitation des ressources, etc.) nécessite des méthodes de conception et de validation rigoureuses. Dans ce contexte la phase de test s'avère particulièrement importante car elle contribue à garantir un bon fonctionnement de l'implantation du logiciel, dans son environnement réel d'exécution. Cette thèse définit une méthode automatique de génération de tests destinés à évaluer la robustesse d'une implantation, c'est-à-dire sa capacité à respecter certaines propriétés comportementales malgré un environnement d'exécution dégradé (susceptible de fournir des entrées incorrectes, ou d'inclure des composants externes incapables de rendre le service attendu). L'approche que nous proposons est inspirée des techniques de génération de test utilisées en test de conformité des protocoles de communications dans lesquelles les suites de test sont générées à partir d'un modèle comportementale d'une spécification du logiciel. L'originalité de ce travail consiste à étendre cette technique pour prendre en compte un modèle de fautes (exprimant le comportement dégradé de l'environnement sous forme de mutations syntaxiques de la spécification) et un observateur (exprimant l'ensemble des comportements incorrects du point de vue de la robustesse). Les séquences de test produites sont alors correctes dans le sens où elles ne rejettent que des implantations non robustes vis-à-vis de cet observateur. Un prototype a été réalisé dans le cadre de la boîte à outils IF et évaluée sur des exemples d'implantation Java.

Les développeurs des systèmes informatiques, y compris critiques, font souvent appel à des systèmes d'exploitation sur étagère. Cependant, un mauvais fonctionnement d'un système d'exploitation peut avoir un fort impact sur la sûreté de fonctionnement du système global, d'où la nécessité de trouver des moyens efficaces pour caractériser sa sûreté de fonctionnement. Dans cette thèse, nous étudions l'étalonnage de la sûreté de fonctionnement des systèmes d'exploitation par rapport aux comportements défectueux de l'application. Nous spécifions les propriétés qu'un étalon de sûreté de fonctionnement doit satisfaire. Après, nous spécifions les mesures et la mise en oeuvre des trois étalons destinés à comparer la sûreté de fonctionnement de différents systèmes d'exploitation. Ensuite, nous développons les prototypes des trois étalons. Ces prototypes servent à comparer les différents systèmes d'exploitation des familles Windows et Linux, et pour montrer la satisfaction des propriétés identifiées.

Les systèmes temps réel à contraintes temporelles strictes sont caractérisés par des ensembles de tâches pour lesquelles sont connus l'échéance, le modèle d'arrivée (fréquence) et la durée d'exécution pire cas (WCET). Nous nous intéressons à l'ordonnancement de ces systèmes sur plate-forme multiprocesseur. Garantir le respect des échéances pour un algorithme d'ordonnancement est l'une des problématiques majeures de cette thématique. Nous allons plus loin en nous intéressant à la sûreté temporelle, que nous caractérisons par les propriétés (i) de robustesse et (ii) de viabilité. La robustesse consiste à proposer un intervalle sur les augmentations(i-a) de WCET et (i-b) de fréquence tel que les échéances soient respectées. La viabilité consiste cette fois à garantir le respect des échéances lors du relâchement des contraintes (ii-a) de WCET (réduction), (ii-b) de fréquence (réduction) et (ii-c) d'échéance(augmentation). La robustesse revient alors à tolérer l'imprévu, tandis que la viabilité est la garantie que l'algorithme d'ordonnancement n'est pas sujet à des anomalies suite à un relâchement de contraintes. Nous considérons l'ordonnancement en priorités fixes, où chaque occurrence d'une tâche est ordonnancée avec la même priorité. Dans un premier temps, nous étudions la propriété de robustesse dans les approches d'ordonnancement hors-ligne et sans migration (partitionnement). Nous traitons le cas des tâches avec ou sans partage de ressources. Dans un second temps, nous étudions la propriété de viabilité d'une approche d'ordonnancement en ligne avec migrations restreintes et sans partage de ressources