La dispersion modale de polarisation (PMD) est devenue pour les transmissions optiques haut débit, un des principaux facteurs qui limite la qualité du signal. Au premier ordre, la PMD génère un dédoublement des impulsions alors qu'au deuxième ordre, c'est un élargissement et des distorsions d'impulsions qui se produisent. Plusieurs solutions optiques, pour la compensation de PMD, ont été proposées, toutes utilisent un contrôleur de polarisation. L'objectif de cette thèse est donc l'étude du contrôle de la polarisation rapide et sans fin pour la compensation de PMD. Trois architectures de contrôleur avec deux lames biréfringentes à axe tournant ont été proposées et testées. Ces architectures permettent de transformer continûment les états de polarisation avec seulement deux degrés de liberté. Des simulations et des études expérimentales ont été effectuées, et elles ont démontré la faisabilité des architectures et des algorithmes proposés. Parallèlement, nous nous sommes intéressés à l'évaluation qualitative et quantitative de l'impact de la PMD au deuxième ordre, avec compensation de PMD au premier ordre, en simulant des systèmes de transmission optique à 40Gbit/s. Les résultats ont démontré que les deux composantes de la PMD au deuxième ordre: dépolarisation et dispersion chromatique dépendant de la polarisation, ont des conséquences très différentes sur les pénalités du rapport signal à bruit optique.

Les systèmes fonctionnant sur un réseau ouvert tels que les bases de données médicales ou les systèmes bancaires peuvent manipuler des informations dont la confidentialité doit être impérativement préservée. Dans ce contexte, la notion d'opacité formalise la capacité d'un système à garder secrètes certaines informations critiques. Dans cette thèse, nous nous intéressons à la fois à vérifier que la propriété d'opacité est satisfaite et à la synthèse de systèmes opaques. Vérifier l'opacité est un problème décidable pour des systèmes de transition finis. Pour les systèmes infinis, nous étudions l'application de techniques d'interprétation abstraite à la détection de vulnérabilité. Nous présentons aussi une méthode alternative qui s'appuie sur des abstractions régulières et sur des techniques de diagnostique pour détecter de telles vulnérabilité à l'exécution du système. Pour la synthèse de système opaque, nous appliquons dans un premier temps la théorie du contrôle à la Ramadge et Wonham pour calculer un contrôleur assurant l'opacité. Nous montrons que les techniques habituelles de synthèse de contrôleur ne peuvent être appliqué pour ce problème d'opacité et nous développons alors de nouveaux algorithmes pour calculer l'unique système opaque qui soit maximal au sens de l'inclusion des langages. Ces résultats sont à rapprocher des techniques de construction de système sécurisé par assemblage de composant. Finalement, nous présentons une autre approche pour la synthèse de système opaque qui consiste à synthétiser un filtre qui décide, dynamiquement, de masquer des événements observable afin d'éviter que de l'information secrète ne soit révélée. Ceci permet d'étudier dans un cadre formel la synthèse automatique de pare-feu assurant la confidentialité de certaines informations critiques.

L'objectif de cette thèse est de comprendre la place et le rôle de la fonction contrôle de gestion au sein de l'organisation. Un cadre d'analyse de la fonction contrôle de gestion est proposé. La revue de littérature, complétée par une étude exploratoire, conduit à appréhender la fonction contrôle de gestion comme un service fonctionnel et comme le résultat de l'activité individuelle des contrôleurs de gestion. La rationalité dominante, la centralité de la fonction (autorité et client) et l'activité des contrôleurs de gestion (tâches, relations et images) permettent de révéler les rôles de la fonction contrôle de gestion. Une typologie est ensuite réalisée à partir de douze études de cas. Quatre idéaux-types sont mis en évidence : la fonction contrôle de gestion partenaire, discrète, garde-fou et omnipotente. Les facteurs de contingence et des cas de changement de la fonction sont étudiés. Cette thèse montre que la fonction contrôle de gestion peut remplir des rôles divers : aide à la décision locale, surveillance discrète, centralisation du pouvoir, légitimation interne et externe des décisions et formation des managers.

La théorie des jeux est un outils standard quand il s'agit de l'étude des systèmes réactifs. Ceci est une conséquence de la variété des modèles de jeux tant au niveau de l'interaction des joueurs qu'au niveau de l'information que chaque joueur possède. Dans cette thèse, on étudie le problème de la valeur pour des jeux où les joueurs possèdent une information parfaite, information partiel et aucune information. Dans le cas où les joueurs possèdent une information parfaite sur l'état du jeu, on étudie le problème de la valeur pour des jeux dont les objectifs sont des combinaisons booléennes d'objectifs qualitatifs et quantitatifs. Pour les jeux stochastiques à un joueur, on montre que les valeurs sont calculables en temps polynomiale et on montre que les stratégies optimales peuvent être implementées avec une mémoire finie. On montre aussi que notre construction pour la conjonction de parité et de la moyenne positive peut être étendue au cadre des jeux stochastiques à deux joueurs. Dans le cas où les joueurs ont une information partielle, on étudie le problème de la valeur pour la condition d'accessibilité. On montre que le calcul de l'ensemble des états à valeur 1 est un problème indécidable, on introduit une sous classe pour laquelle ce problème est décidable. Le problème de la valeur 1 pour cette sous classe est PSPACE-complet dans le cas de joueur aveugle et dans EXPTIME dans le cas de joueur avec observations partielles.

Cette thèse présente une nouvelle approche pour contrôler des algorithmes de suivi d'objets mobiles. Plus précisément, afin de s'adapter aux variations contextuelles de suivi, cette approche apprend à régler les paramètres des algorithmes de suivi d'objets basés sur l'apparence ou sur les points d'intérêt. Le contexte de suivi d'une vidéo est défini par un ensemble de caractéristiques : la densité des objets mobiles, leur niveau d'occultation, leur contraste et leur surface 2D. Dans une phase d'apprentissage supervisée, des valeurs de paramètres satisfaisantes sont déterminées pour chaque séquence d'apprentissage. Puis ces séquences sont classifiées en groupant leurs caractéristiques contextuelles. A chaque contexte sont associées les valeurs de paramètres apprises. Dans la phase de contrôle en ligne, deux approches sont proposées. Pour la première approche, quand le contexte change, les paramètres sont réglés en utilisant les valeurs apprises. Pour la deuxième, le réglage des paramètres est réalisé quand le contexte change et quand la qualité de suivi (calculée par un algorithme d'évaluation en ligne) n'est pas assez bonne. Un processus d'apprentissage en-ligne met à jour les relations contextes/paramètres. L'approche a été expérimentée avec des vidéos longues, complexes et plusieurs ensembles de vidéos publiques. Cette thèse propose cinq contributions : (1) une méthode de classification des vidéos pour apprendre hors-ligne les paramètres de suivi, (2) un algorithme d'évaluation en-ligne du suivi, (3) une méthode pour contrôler en ligne le suivi, (4) un algorithme de suivi pouvant s'adapter aux conditions de la scène, (5) une méthode de suivi robuste basée sur le filtre de Kalman et un suivi global.

Cette thèse est consacrée à l'évaluation de la fiabilité d'une caravane de véhicules intelligents avec les principaux objectifs de fournir une méthode pour évaluer et améliorer la sécurité des ITS. Après examen de l'évolution des ITS et DSRC, la fiabilité/qualité de service (QoS) de transmission de bout-en-bout des communications courtes est analysée. Ensuite, les effets de la transmission et QoS sur le système de commande PID et flou sont étudiés respectivement.D'abord, Les méthodes de protection des données utilisées dans le protocole Bluetooth sont analysées en termes de fiabilité. Un modèle de performance du nœud est construit pour les différentes distributions de temps de service du nœud. Ainsi, chaque nœud dans le réseau peut surveiller directement la qualité de service du nœud à tout moment. Basé sur ce modèle, un protocole de routage ad hoc (NPDSR) est proposé. Ce protocole présente les avantages de maintenir la qualité de service requise de la communication, et des économies de routage.Deuxièmement, les effets sur les systèmes de contrôle, en termes de retards et de pertes, sont analysés en utilisant la méthode mathématique et statistique. Des fonctions descriptives pour les contrôleurs flous de types Mamdani et T-S sont fournies, et la stabilité du contrôleur multi-flou avec un retard de communication est analysée à l'aide des lieux de Nyquist.Enfin, en perspective, l'utilisation possible de NS-2 sur le modèle de simulation et de vérification est discutée, ce qui s'avère intéressant pour simuler des protocoles différents. En outre, il peut être connecté avec Simulink permettant une meilleure analyse de performances des systèmes de contrôle en réseau

Dans ce travail, nous proposons une méthode systématique et facile de mise en œuvre pour la synthèse du contrôle des systèmes à événements discrets. Nous modélisons les systèmes par des modèles RdP saufs. Deux idées distinctes sont utilisées : 1) ajout de places de contrôle pour empêcher l'atteignabilité des états interdits, et 2) ajout de conditions pour les transitions contrôlables. Nous avons alors été confrontés au problème des transitions incontrôlables pour garantir l'optimalité et à la complexité apportée par le nombre des places de contrôles qui peut être très grand. <br />Dans la première idée, nous avons utilisé le théorème introduit par Guia, qui permet de passer d'un ensemble d'états interdits vers un ensemble de contraintes linéaires. Nous avons proposé des méthodes originales de simplification des contraintes. Il est alors possible de réduire le nombre et la borne des contraintes et ainsi de construire un modèle contrôlé simple. Les méthodes de simplification présentées sont applicables sur les RdP saufs. Nous avons déterminé les conditions nécessaires et suffisantes pour avoir un contrôleur maximal permissif. L'avantage principal de ces méthodes de synthèse de contrôleurs est que le modèle RdP contrôlé est très proche du modèle initial. <br />La deuxième idée qui a été utilisée pour la synthèse est l'utilisation des conditions pour le franchissement des transitions contrôlables. Les méthodes qui utilisent cette technique, ont en général besoin d'un calcul long en temps réel. En appliquant notre méthode de simplification, nous arrivons à un contrôleur simple.

Ce mémoire propose des représentations formelles pour contrôleurs logiques industriels qui visent à améliorer le passage à l'échelle des techniques de model-checking. Ces vérifications, focalisées sur les propriétés extrinsèques, permettent d'améliorer la sûreté et aident à la certification de ces contrôleurs. Premièrement, la représentation de contrôleurs ne comprend que les états qui sont pertinents pour la preuve de propriétés et minimise le nombre de variables qui caractérisent chaque état. Puis une représentation de chaque bloc fonctionnel, décrit dans un nouveau langage formel adapté à nos besoins, est incluse dans la représentation du contrôleur. Ces représentations permettent la vérification formelle du contrôleur, même avec des programmes de grande taille. La comparaison avec de précédentes représentations, ainsi que leur utilisation dans un contexte industriel, valide nos représentations et quantifie leur efficacité.

La modélisation dans le domaine de l'agro-écologie est importante car elle permet de mieux comprendre les interactions entre l'environnement et les activités humaines. Des travaux basés sur la simulation ont été développés depuis des années. Cependant, non seulement ces outils restent difficiles à utiliser par les utilisateurs non experts, mais aussi le coût des modèles rend leur utilisation difficile à case de la complexité élevée en cas d'application réelle. Nous proposons une approche qui consiste à représenter le système étudié dans un formalisme de système à événements discrets qui est bien adapté quand la dynamique du système est liée à des interactions entre les entités concernés. Ceci permet de profiter l'efficacité du model-checking pour étudier le comportement du système modélisé et d'utiliser la synthèse de contrôleur pour générer automatiquement des stratégies optimales. Nous présentons deux contributions dans cette thèse. La première contribution concerne le projet EcoMata. Cette modélisation qualitative en automates temporisés pour un réseau trophique marin de type proie-prédateur permet d'analyser l'écosystème à l'aide de model-checking sans avoir à faire des simulations. Des scénarios de requête prédéfinis ont été développés dans un langage naturel pour que les utilisateurs non expert puissent faire des requêtes sur les réseaux trophiques sans avoir des connaissances sur la langage TCTL. Nous avons amélioré la génération automatique d'automates temporisés à partir d'une description des équation Lotka-Votera. Nous avons aussi proposé une approche de synthèse de contrôleur pour générer automatiquement des stratégies optimales de gestion de pêche. Le prototype logiciel EcoMata implémente l'ensemble des propositions incluant la recherche de stratégies optimales. Dans la seconde contribution, nous proposons une modélisation hybride en automates temporisés d'une exploitation de pâturage. Cette modélisation hybride combine un modèle numérique de la croissance d'herbe et un modèle qualitatif des activités de pâturage. Une structure hiérarchique organise les modèles dans quatre couches: la couche biologique, la couche activité, la couche décisionnelle et la couche d'horloge. Nous proposons quatre méthodes pour générer des stratégies optimales des activités de pâturage. La première méthode est appliquée à la recherche de stratégies optimales de la mise au pâturage. Trois méthodes sont dédiées à la recherche de stratégies optimales de la fertilisation. Une d'entre elles utilise la synthèse de contrôleur alors que les deux autres combinent la synthèse de contrôleur et l'apprentissage supervisé pour générer des stratégies génériques par type d'exploitation. Un prototype logiciel PaturMata a été développé implémentant cette modélisation, permettant aux utilisateurs de simuler des scénarios de pâturage et rechercher des stratégies optimales de mise au pâturage.

Cette thèse consiste en une étude comparative du métier d’intendant au Canada et dans les généralités de Bretagne et de Tours dans la première moitié du 18e siècle (1700-1750). Elle s’appuie sur l’intendant pour s’interroger sur l’existence de spécificités dans l’exercice du pouvoir en contexte colonial par rapport au contexte métropolitain. Considéré par la plupart des historiens de la France d’Ancien Régime comme le personnage clé de l’évolution politique qui aurait fait passer la monarchie de sa phase judiciaire jusqu’à sa phase dite « administrative », l’intendant de justice, police et finance ou commissaire départi est au coeur des débats sur l’absolutisme et son rôle de première ligne dans l’oeuvre de centralisation monarchique en fait le sujet idéal pour observer la portée réelle de ce régime sur le terrain.L’examen du fonctionnement de l’intendance est un préalable obligé pour qui veut comprendre les rapports entre administrateurs et administrés et mieux cerner la capacité de régulation de l’État. Dans le cadre des attributions définies par sa commission, quelles sont les tâches qui l’occupent concrètement ? Cette thèse s’intéresse à l’intendant du point de vue de sa pratique, en s’appuyant sur la description interne des sources produites par l’intendant pour décortiquer ses mécanismes d’intervention. Deux types de documents sont analysés successivement, soit la correspondance, incluant les pièces jointes et les documents de travail, et les actes de portée réglementaire, incluant les ordonnances et les arrêts du Conseil d’État. Chemin faisant, nous avons fait la rencontre des individus et groupes qui sollicitent l’intervention de l’intendant, levant le voile sur les rapports de pouvoir et les interactions qui le lient à ses supérieurs, aux justiciables et aux institutions locales. L’exercice permet de poser en des termes nouveaux l’action de ce personnage dont on connaissait les attributions et principales décisions, mais beaucoup moins leur logique sous-jacente / This thesis consists in a comparative study of the intendant’s métier in Canada and in the généralités of Bretagne and Tours in the first part of the eighteen century (1700-1750). The thesis relies on the intendant to consider the existence of specificities in the exercise of power in the colonial context by comparison with the metropolitan context. Considered by most of the historians of France Ancien Regime as the key person of the political evolution to push through the monarchy from its judicial phase to its « administrative » phase, the intendant of justice, police and finance or commissaire départi is in the core of the debates on absolutism and his front line role in working to centralize the monarchy makes him the ideal subject to observe the real impact of this Regime.The examination of the functioning of the intendancy is an absolute prerequisite to understand the relation between administrators and administered and identifies the State will to control. As part of the defined attributions by his commission, what are the tasks that occupy him concretely? This thesis is about the intendant from the point of view of his pratique, relying on the description of the material produced by the intendant to examine his mechanisms of interventions. Two types of documents are successively analysed, namely the correspondence including the appendix and the working documents, and judgments, including the ordinances and the arrêt du Conseil d’Etat. In this process, we met individuals and groups who require the intervention of the intendant,lifting the veil on the power relationship that ties him to his superiors, to the claimants awaiting justice and to local institutions. This exercise allows to set in new terms the action of this personage on which we knew the attributions and main decisions but much less the underlying logic