Dans la plupart des problèmes de synthèse, la loi de commande obtenue doit répondre simultanément à des critères réquentiels et temporels en vue de satisfaire un cahier des charges précis. Les derniers développements des techniques de synthèse Hinf de contrôleurs structurés permettent d'obtenir des lois de commande satisfaisant des critères fréquentiels multiples. En revanche, la synthèse de loi de commande satisfaisant une contrainte temporelle sur une sortie ou un état du système est plus complexe. Dans ce travail de thèse, la technique OIST est considérée pour ce type de contraintes. Elle consiste à saturer la sortie du contrôleur dès que la contrainte n'est plus vérifiée afin de restreindre l'ensemble des sorties admissibles. Initialement formulée pour les systèmes linéaires connus dont l'état est mesuré, la technique OIST peut être généralisée pour permettre de considérer des systèmes incertains. C'est l'extension OISTeR qui est proposée dans ce travail. Elle utilise les données d'un observateur par intervalles pour borner de manière garantie le vecteur d'état. La théorie des observateurs par intervalles a récemment fait l'objet de nombreux travaux. La méthode la plus rapide pour obtenir un observateur par intervalles d'un système donné est de considérer un système intermédiaire coopératif dans de nouvelles coordonnées. Une nouvelle technique de détermination de ces nouvelles coordonnées, intitulée SCorplO, est proposée dans ce mémoire. L'ensemble des techniques présentées est appliqué au contrôle d'un lanceur flexible durant son vol atmosphérique, en présence de rafales de vent et sous contrainte temporelle sur l'angle d'incidence. / Ln control design problems, both frequency- and time-domain requirements are usually considered such that the resulting control law satisfies the specifications. Novel non-smooth optimization techniques can be used to achieve multiple frequency-domain specifications over a family of linear models. However, enforcing time-domain constraints on a given output or state is more challenging Since translating them into frequency-domain requirements may be inaccurate. This motivates the study of an additional approach to the Hinf control design techniques. When time-domain constraints are satisfied, the nominal control law reduces to a controller satisfying the frequency-domain constraints. Upon violation of the ime-domain constraint, an additional tool named OIST is used to saturate the controller output so as to restrict the reachable set of the constrained system output. Stability guarantees are obtained for minimum phase systems. Further developments proposed therein allow the consideration of uncertain systems With incomplete state measurements. This is he OISTeR approach. The method uses certified bounds on the considered system state as provided by an interval observer. he theory of interval observers is well-established. ln the case of linear systems, the most common approach is to consider an intermediate cooperative system on which the interval observer can be built. The novel SCorplO design method proposed in this work is used to compute such cooperative representation. ln this thesis, the considered application is the atmospheric control of a flexible launch vehicle under a time-domain constraint on the angle of attack and in the presence of wind gusts.

Des niveaux d'automatisation élevés sont intégrés dans les environnements critiques pour satisfaire la demande croissante de systèmes plus sûrs. Cette philosophie déplace les opérateurs vers un rôle de supervision et crée de nouveaux problèmes appelés problèmes de performance liés à la sortie de boucle (SDB). L'émergence de pensées sans lien avec ici et maintenant, ou divagation attentionnelle (DA), pourrait affecter les opérateurs dans des situations de SDB par le biais du découplage perceptuel induit. Cette thèse a étudié la dynamique de la DA dans les situations de SDB et son influence sur les opérateurs. Nous avons en premier lieu examiné les preuves dans la littérature pointant vers un lien entre le problème de performance lié à la SDB et la DA. Nous avons complété cette analyse théorique en rapportant la tendance des pilotes (collectée avec un questionnaire) à rencontrer plus de problèmes avec leur pilote automatique pour ceux ayant une plus grande propension au MW non lié à la tâche. Nous avons ensuite mené trois expériences dans des conditions de SDB. Nous avons observé une augmentation significative des épisodes de DA dans les situations de SDB quelle que soit la fiabilité du système, par rapport aux conditions manuelles. Les épisodes de DA étaient également accompagnés d'un découplage perceptuel vis-à-vis de la tâche créé par la DA non lié à la tâche. Ce découplage était visible sur des rapports de demande mentale ainsi que les signaux oculométriques et encéphalographiques. Dans l'ensemble, nos résultats démontrent la possibilité d'utiliser des marqueurs physiologiques de la DA dans des environnements de SDB complexes. Nous discutons de nouvelles perspectives d'utilisation des marqueurs de la DA pour caractériser les problèmes de performance liés à la SDB. Sans vouloir arrêter aveuglément l'émergence de la DA, qui pourrait être bénéfique pour les opérateurs, les recherches futures devraient se concentrer sur la conception de systèmes capables de gérer la DA et d'identifier les informations nécessaires pour faciliter la rentrée de l'opérateur dans la boucle de contrôle. / Higher levels of automation are progressively integrated in critical environments to satisfy the increasing demand for safer systems. Such philosophy moves operators to a supervisory role, also called out-of-the-loop (OOTL) situations. Unfortunately, OOTL situations also create a new kind of human-machine interaction issues, called OOTL performance problem. The dramatic consequences of OOTL performance problem stress the need to identify which mechanisms could influence their appearance. The emergence of thoughts unrelated to the here and now, labeled mind wandering (MW), could affect operators in OOTL situations through the perceptual decoupling induced. This thesis investigates MW dynamic in OOTL situations and its influence on operators. We firstly reviewed the evidences in the literature underlining a link between OOTL performance problem and MW. We completed theoretical insights by reporting pilots' tendency (collected with a questionnaire) to encounter more problems with autopilots when experiencing more task-unrelated MW. Then, we conducted three experiments in OOTL conditions using an obstacle avoidance task. With non-expert population and sessions longer than 45 minutes, we observed a significant increase of MW in OOTL situations compared to manual conditions, independently of system reliability. MW episodes were also accompanied by a perceptual decoupling from the task induced by task-unrelated MW. This decoupling was visible on reports of mental demand as well as oculometric (pupil size, blinks) and encephalographic (N1 component, alpha activity) signals. Overall, our results demonstrate the possibility to use physiological markers of MW in complex OOTL environments. We discuss new perspectives towards the use of MW markers to characterize the OOTL performance problem. Instead of blindly stopping MW episodes, which could have benefits for operators, future research should focus on designing systems able to cope with MW and identify information needed to facilitate the reentry in the control loop when needed.

Cette thèse est construite autour de deux sujets, proches l'un de l'autre, mais traités séparément. Le premier problème abordé concerne la synthèse des bouclages de sortie d'un point de vue général. Le second traite d'une méthode particulière de construction d'observateurs. La littérature actuelle concernant le bouclage de sortie est riche de travaux épars, sans liens apparents, qui permettent de concevoir des bouclages de sortie pour de nombreux systèmes. Il est difficile pour le profane ou l'ingénieur de se retrouver dans les méandres de ces résultats. L'objectif de la première partie de cette thèse est donc double, dans un premier temps nous classifions et donnons pour la synthèse de bouclage de sortie des principes certes généraux mais qui restent loin de l'application. Dans un second temps, en se restreignant aux systèmes triangulaires nous donnons de la matière à ces règles générales, ce qui nous permet de constater au passage que des contraintes jusque là imposées peuvent être relâchées. Notre étude concernant la synthèse d'observateur est basée sur de récents travaux qui traitent de l'extension des observateurs de Luenberger aux systèmes non linéaires. Notre contribution réside dans l'extension de cette méthode à une classe plus générale de systèmes et par la mise en lumière des procédés de synthèse de cet observateur.

Les systèmes de communication multimédia modernes aspirent à fournir de nouveaux services tels que des communications multipoints. Néanmoins, l'apparition de dispositifs multimédias très diversifiés et le nombre croissant de clients ont révélé de nouveaux besoins pour les mécanismes et les protocoles. Dans une communication multimédia, les flux présentent des contraintes différentes et la QdS requise pour chaque flux n'est pas la même. De plus, dans une communication multipoint, tous les utilisateurs ne peuvent pas ou ne sont pas capables de recevoir la même QdS ; cette contrainte implique que les nouveaux mécanismes de communication doivent prendre en compte les besoins des utilisateurs pour fournir un service adéquat à chaque utilisateur, surtout pour éviter le gaspillage des ressources réseau. Cette thèse propose une architecture multipoint à QdS différentiée appelée M-FPTP. Basée sur des proxies client/serveur, elle relie plusieurs LANs multipoints à travers des liens point-à-point partiellement fiables. Cette architecture fournit une QdS différente à chaque LAN dépendant des besoins des utilisateurs. Pour ce faire, nous proposons un modèle du réseau appelé Arbre Hiérarchisé (AH) qui représente en même temps les performances du réseau et les contraintes de QdS des utilisateurs. Nonobstant, l'application de méthodes standard pour la création d'arbres sur un AH peut conduire à des problèmes de surcharge du degré de sortie dans la source. Pour résoudre ce problème, nous proposons alors un nouvel algorithme appelé Arbre de Plus Courts Chemins à Degré de Sortie Limité. Le déploiement de ce service nécessite, pour gérer les utilisateurs et le déploiement correct des proxies, un nouveau protocole appelé Protocole Simple de Session pour QdS multipoint. L'ensemble des solutions proposées a été modélisé, vérifié, validé et testé en utilisant UML 2.0 et l'outil TAU G2.

Cette thèse concerne l'analyse de la stabilité et la synthèse de lois de commande pour les multimodèles. La démarche proposée est exclusivement basée sur la deuxième méthode de Lyapunov et sa formulation en termes d'Inégalités Matricielles Linéaires (LMI). L'étude que nous avons menée est organisée autour de deux axes : le premier traite l'analyse de la stabilité par des fonctions de Lyapunov quadratiques, le deuxième fait appel aux fonctions de Lyapunov non quadratiques. Dans le volet consacré à la méthode quadratique, nous avons développé des conditions suffisantes de stabilité en nous appuyant sur les propriétés des M-matrices. La conception de multiobservateurs dans le cas de variables de décision non mesurables est abordée ainsi que celle de multiobservateurs à entrées inconnues. Une loi de commande statique non linéaire basée sur le retour de sortie est également proposée. Deux techniques de synthèse de cette loi de commande sont exposées. La première est basée sur une formulation convexe sous forme de LMI. La deuxième technique, quant à elle, est basée sur la transformation du problème (non convexe) de synthèse en un problème de complémentarité sur le cône. Pour réduire le pessimisme de la méthode quadratique, deux types de fonction de Lyapunov non quadratiques sont considérées : les fonctions dites polyquadratiques et les fonctions quadratiques par morceaux. En utilisant la procédure S, les conditions de stabilité obtenues sont formulées sous forme de LMI. Ces résultats ont abouti à réduire considérablement le conservatisme de la méthode quadratique et permettent d'envisager des extensions intéressantes concernant la commande par retour d'état ou de sortie ainsi que l'estimation d'état des multimodèles. Les conditions obtenues étant bilinéaires par rapport aux variables de synthèse, elles sont résolues en utilisant des algorithmes de linéarisation ou à l'aide de formulation LMI sous contrainte de rang.

Résumé indisponible

Bien que de plus en plus de données sonores et audiovisuelles soient disponibles, la majorité des interfaces qui permettent d'y accéder reposent uniquement sur une présentation visuelle. De nombreuses techniques de visualisation ont déjà été proposées utilisant une présentation simultanée de plusieurs documents et des distorsions permettant de mettre en relief l'information plus pertinente. Nous proposons de définir des équivalents auditifs pour la présentation de plusieurs fichiers sonores en concurrence, et de combiner de façon optimale les stratégies audio et visuelles pour la présentation de documents multimédia. Afin d'adapter au mieux ces stratégies à l'utilisateur, nous avons dirigé nos recherches sur l'étude des processus perceptifs et attentionnels impliqués dans l'écoute et l'observation d'objets audiovisuels concurrents, en insistant sur les interactions entre les deux modalités.Exploitant les paramètres de taille visuelle et de volume sonore, nous avons étendu le concept de lentille grossissante, utilisée dans les méthodes focus+contexte visuelles, aux modalités auditive et audiovisuelle. A partir de ce concept, une application de navigation dans une collection de documents vidéo a été développée. Nous avons comparé notre outil à un autre mode de rendu dit de Pan&Zoom à travers une étude d'utilisabilité. Les résultats, en particulier subjectifs, encouragent à poursuivre vers des stratégies de présentation multimodales associant un rendu audio aux rendus visuels déjà disponibles.Une seconde étude a concerné l'identification de sons d'environnement en milieu bruité en présence d'un contexte visuel. Le bruit simule la présence de plusieurs sources sonores simultanées telles qu'on pourrait les retrouver dans une interface où les documents audio et audiovisuels sont présentés ensemble. Les résultats de cette expérience ont confirmé l'avantage de la multimodalité en condition de dégradation. De plus, au-delà des buts premiers de la thèse, l'étude a confirmé l'importance de la congruence sémantique entre les composantes visuelle et sonore pour la reconnaissance d'objets et a permis d'approfondir les connaissances sur la perception auditive des sons d'environnement.Finalement, nous nous sommes intéressée aux processus attentionnels impliqués dans la recherche d'un objet parmi plusieurs, en particulier au phénomène de " pop-out " par lequel un objet saillant attire l'attention automatiquement. En visuel, un objet net attire l'attention au milieu d'objets flous et certaines stratégies de présentation visuelle exploitent déjà ce paramètre visuel. Nous avons alors étendu la notion de flou aux modalités auditives et audiovisuelles par analogie. Une série d'expériences perceptives a confirmé qu'un objet net parmi des objets flous attire l'attention, quelle que soit la modalité. Les processus de recherche et d'identification sont alors accélérés quand l'indice de netteté correspond à la cible, mais ralentis quand il s'agit d'un distracteur, mettant ainsi en avant un phénomène de guidage involontaire. Concernant l'interaction intermodale, la combinaison redondante des flous audio et visuel s'est révélée encore plus efficace qu'une présentation unimodale. Les résultats indiquent aussi qu'une combinaison optimale n'implique pas d'appliquer obligatoirement une distorsion sur les deux modalités.

Dans cette thèse, nous nous sommes intéressés aux contraintes résultants de l'intégration d'un module de diagnostic de pannes et d'un module de reconfiguration de lois de commandes. Contraintes pouvant conduire à une perte de performances, voir une instabilité, du système. La formalisation mathématique de cette problématique nous a amené à nous intéresser à une classe de systèmes hybrides stochastiques à sauts markoviens. La première partie du travail de thèse a été consacrée à la synthèse de lois de commande, par retour de sortie, stabilisant stochastiquement cette classe de systèmes à des bruits multiplicatifs. Les approches développées sont basées sur la théorie de Lyapunov et de Supermartingale. Les différentes conditions de synthèse sont données en termes d'inégalités matricielles non linéaires. Des algorithmes d'optimisation non convexe nt alors été proposés pour la résolution de ces différentes conditions. En deuxième partie de thèse, nous nous sommes intéressés au problème de commande multi-performances de cette classe de systèmes. Plus particulièrement, nous avons considéré des critères H_{infinity} et des critères H_{2}. Là aussi, nous avons proposé des conditions sous forme LMI, BMI et NLMI pour la résolution de ce problème. En dernière partie de thèse, nous nous sommes intéressés au cas des systèmes à temps discret. Nous avons là aussi considéré des problèmes de stabilisation stochastique et de commande multi-objectifs, pour lesquels des conditions sous forme LMI et NLMI ont été établies. Nous avons ensuite appliqué ces résultats à la problématique de commande de systèmes en réseaux sujets à des retards, des pertes de paquets et d'éventuels pannes.

Ce mémoire analyse les trajectoires de sortie de communautés juives ultraorthodoxes. Plus précisément, il cherche à mettre en lumière le processus par lequel certains juifs hassidiques parviennent à s’affranchir de leur communauté d’origine. Dans une recherche alliant entrevues, notes de terrain et observation,notre étude montre comment malgré la présence d’un fort contrôle social au sein de ces communautés ultra-religieuses certains de leurs membres le déjouent. Ce mémoire vise à repérer et à analyser les stratégies d’adaptation et les ruses mises en place par les hassidim pour échapper au contrôle et ainsi enclencher le processus de sortie. À la lumière de la théorie goffmanienne nous montrons comment dans un environnement contrôlant,les individus réussissent à s’aménager des marges de manoeuvre. C’est en se créant des espaces de liberté durant le processus de sortie qu’ils parviennent à avoir les coudées franches pour s’en affranchir définitivement. / This master’s thesis analyses the paths taken by individuals who exit ultraorthodox Jewish communities. More precisely, it illuminates the process by which certain Hasidim take it upon themselves to leave behind the lifestyle and the community in which they were born and raised. My research primarily uses interviews and field notes to show how certain individuals manage to exit such ultra-religious communities despite the presence of strong social controls to prevent leaving. This study examines adjustment strategies and ruses used by Hasidim to avoid religious control and prompt their departure process. Drawing from Goffman’s theory, I will show how in a controlled environment individuals are still able to succeed in creating some marges de manoeuvre. These particular spaces of liberty shaped by each individual allow for the ultimate success of completely leaving the community.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal