No description available.

Cette thèse est dédiée à l'étude du Thompson Sampling (TS), une heuristique qui vise à surmonter le dilemme entre exploration et exploitation qui est inhérent à tout processus décisionnel face à l'incertain. Contrairement aux algorithmes issus de l'heuristique optimiste face à l'incertain (OFU), où l'exploration provient du choix du modèle le plus favorable possible au vu de la connaissance accumulée, les algorithmes TS introduisent de l'aléa dans le processus décisionnel en sélectionnant aléatoirement un modèle plausible, ce qui les rend bien moins coûteux numériquement. Cette étude se concentre sur les problèmes paramétriques linéaires, qui autorisent les espaces état-action continus (infinis), en particulier les problèmes de Bandits Linéaires (LB) et les problèmes de contrôle Linéaire et Quadratique (LQ). Nous proposons dans cette thèse de nouvelles analyses du regret des algorithmes TS pour chacun de ces deux problèmes. Bien que notre démonstration pour les LB garantisse une borne supérieure identique aux résultats préexistants, la structure de la preuve offre une nouvelle vision du fonctionnement de l'algorithme TS, et nous permet d'étendre cette analyse aux problèmes LQ. Nous démontrons la première borne supérieure pour le regret de l'algorithme TS dans les problèmes LQ, qui garantie dans le cadre fréquentiste un regret au plus d'ordre O(\sqrt{T}). Enfin, nous proposons une application des méthodes d'exploration-exploitation pour les problèmes d'optimisation de portefeuille, et discutons dans ce cadre le besoin ou non d'explorer activement. / This dissertation is dedicated to the study of the Thompson Sampling (TS) algorithms designed to address the exploration-exploitation dilemma that is inherent in sequential decision-making under uncertainty. As opposed to algorithms derived from the optimism-in-the-face-of-uncertainty (OFU) principle, where the exploration is performed by selecting the most favorable model within the set of plausible one, TS algorithms rely on randomization to enhance the exploration, and thus are much more computationally efficient. We focus on linearly parametrized problems that allow for continuous state-action spaces, namely the Linear Bandit (LB) problems and the Linear Quadratic (LQ) control problems. We derive two novel analyses for the regret of TS algorithms in those settings. While the obtained regret bound for LB is similar to previous results, the proof sheds new light on the functioning of TS, and allows us to extend the analysis to LQ problems. As a result, we prove the first regret bound for TS in LQ, and show that the frequentist regret is of order O(sqrt{T}) which matches the existing guarantee for the regret of OFU algorithms in LQ. Finally, we propose an application of exploration-exploitation techniques to the practical problem of portfolio construction, and discuss the need for active exploration in this setting.

..

Les notions de fonctions parfaitement non linéaires et courbes sont particulièrement pertinentes en cryptographie puisqu'elles formalisent les résistances maximales face aux très efficaces attaques différentielle et linéaire. Cette thèse est ainsi consacrée à l'étude de ces objets cryptographiques. Nous interprétons ces notions de manière très naturelle essentiellement en substituant les translations figurant dans la définition de la non linéarité parfaite par une action de groupe quelconque. Les propriétés de ces actions telle que la fidélité ou la régularité permettent de décliner en plusieurs variantes ce nouveau concept. Nous développons de surcroît sa caractérisation duale à l'aide de la transformée de Fourier ce qui aboutit à la notion appropriée de fonction courbe. En particulier dans le cas d'une action de groupe non abélien, nous faisons usage de la théorie des représentations linéaires afin d'établir une version duale matricielle. Nous généralisons par ailleurs selon le même principe ces objets combinatoires appelés ensembles à différences qui caractérisent la non linéarité parfaite des fonctions à valeurs dans le corps fini à deux éléments. Cela nous permet d'exhiber des constructions de fonctions satisfaisant nos critères généralisés, en particulier dans ces cas où les fonctions courbes au sens classique n'existent pas.

Cette thèse porte sur la définition d'une stratégie robuste pour le diagnostic des processus industriels à modèle non linéaire. La stratégie définie repose sur l'utilisation d'observateurs non linéaires non seulement pour le diagnostic mais aussi pour la commande de ces systèmes. L'objectif est triple. L'observateur synthétisé devra reconstruire les variables d'état, être sensible aux défauts pour le diagnostic tout en étant robuste aux perturbations et autres incertitudes paramétriques pour la commande. Deux observateurs ont été étudiés à cet effet. Le premier observateur est un observateur de type Kalman. Cet observateur a été appliqué au diagnostic de défauts multiplicatifs pour un moteur à courant continu série. La stabilité de l'observateur pour la commande et le diagnostic a été prouvée pour deux cas de défauts paramètres multiplicatifs. Le second observateur étudié est un observateur Grand Gain. Il a été appliqué au diagnostic de défauts de courts-circuits statoriques pour une machine asynchrone. L'observateur Grand Gain synthétisé a servi au diagnostic de la machine asynchrone avec puis sans capteur mécanique. La performance des algorithmes de détection de défauts pour la machine asynchrone a été évaluée sur un benchmark spécifique " Observateur pour le Diagnostic " défini dans le cadre du groupe de travail Inter GDR CE2. Ce benchmark est implanté à l'IRCCyN.

Cette thèse s'inscrit dans le thème des travaux relatifs aux techniques linéaires pour la maîtrise des systèmes non linéaires. Il s'agit d'une approche qui consiste à approximer le système non linéaire par un ensemble de systèmes linéaires incertains pour lesquels sont déterminées des commandes via les méthodes classiques des systèmes linéaires (LQ, LQG, placement de pôles, H2, H¥, etc). La commande globale consiste en un séquencement des gains locaux en fonction de l'état mesuré sur le système. Nombre d'approches multi-modèles qui vont dans cette direction comportent un degré d'imprécision, d'approximation assez élevé. Pour ce type d'approche, l'évaluation des performances et leur validation ne peut passer que par des simulations, un moyen, qui pour être à peu près convaincant, se doit d'être très lourd. L'approche développée ici a pour ambition de proposer une synthèse pas à pas de commande qui permette d'assurer un certain niveau de performances garanties. Le premier pas dans cette direction est fourni par la technique qui permet d'approximer le système non linéaire par un ensemble de systèmes linéaires (système linéaire par morceaux) avec un niveau de précision prédéfini et paramétré. Le deuxième pas est l'utilisation de méthodes de commande robustes à base de LMIs, qui vont permettre d'assurer la stabilité locale dans un domaine non infinitésimal de l'espace d'état. L'approche permet de maîtriser la complexité de la commande globale et des techniques de séquencement en permettant l'obtention d'une cardinalité raisonnable pour l'ensemble des systèmes linéaires approximants. Cette approche est illustrée sur des applications réalistes: un pendule inversé simple, un moteur et un panneau solaire.

Dans ce mémoire, nous avons proposé une méthode basée sur l'utilisation de la généralisation du lemme de Gronwall-Bellman pour garantir des conditions suffisantes de stabilisation asymptotique pour une classe de systèmes non linéaires fractionnaires. Nous avons étendu ces résultats dans la stabilisation asymptotique des systèmes non linéaires singuliers fractionnaires et proposé des conditions suffisantes de stabilité asymptotique de l'erreur d'observation dans le cas de l'étude des observateurs pour les systèmes non linéaires fractionnaires et singuliers fractionnaires. Pour les systèmes non linéaires à dérivée d'ordre entier, nous avons proposé par l'application de la généralisation du lemme de Gronwall-Bellman des conditions suffisantes pour : - la stabilisation exponentielle par retour d'état statique et par retour de sortie statique, - la stabilisation exponentielle robuste en présence d'incertitudes paramétriques, - la commande basée sur un observateur. Nous avons étudié la stabilisation des systèmes linéaires fractionnaires avec les lois de commande suivantes~: retour d'état statique, retour de sortie statique et retour de sortie basé sur un observateur. Puis, nous avons proposé des conditions suffisantes de stabilisation lorsque le système linéaire fractionnaire est affecté par des incertitudes non linéaires paramétriques. Enfin, nous avons traité la synthèse d'un observateur pour ces systèmes. Les résultats proposés pour les systèmes linéaires fractionnaires ont été étendus au cas où ces systèmes fractionnaires sont singuliers. La technique de stabilisation basée sur l'utilisation de la généralisation du lemme de Gronwall-Bellman est étendue aux systèmes non linéaires fractionnaires et aux systèmes non linéaires singuliers fractionnaires. Des conditions suffisantes de stabilisation asymptotique, de stabilisation asymptotique robuste et de commande basée sur un observateur ont été obtenues pour les classes de systèmes non linéaires fractionnaires et non linéaires singuliers fractionnaires. Par ailleurs, une méthode de synthèse d'observateurs pour ces systèmes non linéaires fractionnaires et non linéaires singuliers fractionnaires est proposée. Cette approche est basée sur la résolution d'un système d'équations de Sylvester. L'avantage de cette méthode est que, d'une part, l'erreur d'observation ne dépend pas explicitement de l'état et de la commande du système et, d'autre part, qu'elle unifie la synthèse d'observateurs de différents ordres (observateurs d'ordre réduit, d'ordre plein et d'ordre minimal).

Le travail porte sur la synthèse et la cryptanalyse des schémas de chiffrement basés sur le chaos. Ces schémas utilisent, côté émetteur, des systèmes dynamiques non linéaires exhibant un comportement chaotique. La séquence complexe ainsi produite est utilisée pour masquer une information. Plusieurs modes de chiffrement sont étudiés : la modulation chaotique, la modulation paramétrique et le chiffrement par inclusion, principalement dans le cas des systèmes chaotiques à temps discret. Pour ces schémas, la reconstruction de l'information nécessite la synchronisation de l'émetteur et du récepteur. Un observateur joue le rôle du récepteur.<br /><br />Tout d'abord, le lien entre le chiffrement par le chaos et le chiffrement usuel est établi. <br /><br />Concernant la modulation chaotique, nous proposons, pour le déchiffrement, une méthode systématique de synthèse d'observateur polytopique, tenant compte de la spécificité du problème liée au chaos. Dans la modulation paramétrique, côté émetteur, l'information claire module les paramètres d'un système chaotique. Pour réaliser la synchronisation, un observateur adaptatif polytopique assurant la reconstruction simultanée état/paramètre est proposé.<br /><br />Enfin, la cryptanalyse du chiffrement par inclusion est effectuée. Nous considérons des systèmes présentant uniquement des non linéarités polynomiales qui englobent un grand nombre de systèmes chaotiques usuels. La sécurité de ce schéma repose sur les paramètres du système chaotique, supposés jouer le rôle de clé secrète. Un formalisme général, basé sur le concept de l'identifiabilité, est élaboré pour tester la reconstructibilité de ces paramètres. Les différentes définitions de l'identifiabilité sont récapitulées et des approches permettant de tester l'identifiabilité sont présentées. Ce formalisme est appliqué sur des schémas usuels de chiffrement par inclusion afin de tester leur sécurité.

Ce mémoire est dédié à l'étude de la synthèse de l'estimation d'état en temps fini par une approche algébrique (les techniques développées au sein de l'équipe ALIEN) pour les systèmes linéaires à paramètres invariant dans le temps (LTI) sujets à des perturbations extérieures inconnues, les systèmes linéaires à paramètres variant dans le temps (LTV) et les systèmes linéaires à commutation en temps continu (SLC). Pour les systèmes LTI et LTV, une expression formelle de l'état en fonction des intégrales itérées des sorties et de l'entrée a été donnée. Pour les systèmes linéaires à commutation, en combinant les résultats de l'estimation d'état pour les systèmes LTI et de la détection de l'instant de commutation en temps réel présentée dans le chapitre 4, nous donnons la démarche principale de l'estimation en temps réel du mode courant et l'état continu du système. Pour ce faire, on applique certains outils mathématiques : la transformation de Laplace, les outils issus du calcul opérationnel et la théorie des distributions

.