L'utilisation de correcteur discret à période d'échantillonnage variable peut être intéressante dans plusieurs cas, par exemple lorsque la mesure, bien qu'envoyée de façon périodique, est reçue à intervalle variable. C'est le cas en milieu marin lorsque la mesure d'altitude est effectuée avec un capteur à ultrason (la durée du trajet du signal dans l'eau dépend de la distance par rapport au fond). Le délai variable entre deux réceptions de mesures, peut être vu comme une variation de période d'échantillonnage pour le contrôleur. La synthèse de lois de commande discrète à période d'échantillonnage variable a déjà été étudiée pour des systèmes stationnaires. On se propose ici d'étendre cette méthode pour des systèmes Linéaires à Paramètres Variants (LPV), qui permettent de conserver des paramètres importants d'un système non-linéaire en temps que paramètres d'un système linéaires. La synthèse de contrôleur repose sur le méthodologie H∞, appliquée aux systèmes LPV. En particulier, on s'intéressera à deux approches existantes dans la littérature : l'approche polytopique (où le paramètre variant évolue dans un volume convexe) et la Représentation Linéaire Fractionnelle (LFR). La méthode proposée est appliquée au contrôle d'un AUV (Autonomous Underwater Vehicle), qui est système difficile à contrôler du fait d'importantes non-linéarités. Des résultats de simulations permettront de montrer l'intérêt de la méthode pour le contrôle d'altitude d'un AUV, et notamment les améliorations apportées par l'ajout de paramètres issus du système non-linéaire au modèle utilisé pour la synthèse des régulateurs.

L'objectif de ma thèse étant d'étudier certains systèmes linéaires continus à paramètres variant dans le temps (LPV), certains travaux sur l'analyse, synthèse et aussi études de performances relatives à ces systèmes ont pu être effectués. Les incertitudes peuvent avoir une structure qui varie, qui peut être polytopique, affine ou autre... Les conditions que l'on propose exigent de diminuer le conservatisme engendré au préalable par certaines conditions données dans ce contexte dans la littérature. Egalement, nous sommes appelés à mettre en place des représentations nouvelles de la dérivée temporelle du paramètre temps-variant et de l'intégrer dans nos conditions. En effet, il a été prouvé que le problème de commande robuste, peut être tourné en un ensemble d'inégalités matricielles linéaires. Les problèmes LMIs étant convexes, et nombreux algorithmes polynomiaux d'optimisation, sont disponibles pour les résoudre. Dans ce contexte, les études sur ces systèmes continus Linéaires à Paramètres temps Variant a pris de l'ampleur durant ces dernières années. C'est dans ce sens que j'ai essayé de présenter ma thèse. Les modèles qui ont été considérés dans mon mémoire sont à temps continu. Une étude bibliographique sur les systèmes admettant un modèle incertain linéaire à temps invariant (LTI) a été faite dans une première partie, puis tous les résultats relatifs aux systèmes LPV ont succédés dans des parties ultérieures.

La chaîne d'air du moteur est devenue un élément essentiel dans le développement des moteurs modernes. Le contrôle du système d'air a un impact direct sur les performances du moteur ainsi que sur son niveau d'émission de polluants. En effet, les stratégies qui agissent sur le système d'air permettent de contrôler les composants introduits dans le cylindre, ce qui est un moyen efficace et rentable de réduire les émissions polluantes. En conséquence, les chaînes d'air des moteurs modernes sont devenues de plus en plus complexes afin d'atteindre les stratégies de réduction de pollution et de permettre des réductions de consommation de carburant. Dans ce contexte, cette thèse se focalise sur la modélisation et le contrôle de la chaîne d'air des moteurs Diesel.

This master’s thesis deals with technologies intended for flight control during approach and landing. The main focus is on perspective approach systems, including differential technology systems. The thesis is to serve as a study aid for pilots and students of Air Traffic study programme. The main aim of this thesis is to create a qualified whole of perspective and used approach systems. Individual systems include basic characteristics and assessment of their future use. The thesis also includes an analysis of the possibility of implementing the DGNSS system at the airport with multiple runways. Prague-Ruzyně airport was chosen for this purpose. The implementation of this system is compared to other precision approach systems.

No description available.

Dans cette thèse, plusieurs concepts importants liés à la théorie de la réalisation des modèles linéaires à paramètres variants (LPV) sont étudiés.Tout d’abord, nous abordons le problème de l’identifiabilité des modèles LPV affines (ALPV). Une nouvelle condition suffisante et nécessaire est introduite afin de garantir l’identifiabilité structurelle pour les paramétrages ALPV. L’identifiabilité de cette classe de paramétrages est liée à l’absence d’isomorphismes liant deux représentations d’état LPV lorsque deux modèles LPV correspondant à différentes valeurs des variables de séquencement sont considérés. Nous présentons ainsi une condition suffisante et nécessaire pour l’identifiabilité structurelle locale, et une condition suffisante pour l’identifiabilité structurelle (globale) qui sont toutes deux fonction du rang d’une matrice définie par l’utilisateur. Ces dernières conditions permettent la vérification de l’identifiabilité structurelle des modèles ALPV.Ensuite, étant donné que les techniques d’identification dites locales sont parfois inévitables, nous fournissons une expression analytique de la borne supérieure de l’erreur de comportements entrées-sorties de deux modèles LPV équivalents localement. Cette erreur se révèle être une fonction de (i) la vitesse de changement du signal de séquencement et (ii) l’écart entre les bases cohérentes de deux modèles LPV. En particulier, la différence entre les sorties des deux modèles peut être arbitrairement réduite en choisissant un signal de séquencement qui varie assez lentement.Enfin, nous présentons et étudions des propriétés importantes de la transformation des représentations d’état ALPV en Représentations Linéaires Fractionnelles (LFR). Plus précisément, nous montrons que (i) les représentations ALPV minimales conduisent à des LFR minimales, et vice versa, (ii) le comportement entrée-sortie de la représentation ALPV détermine de manière unique le comportement entrée-sortie de la LFR résultante, (iii) les modèles ALPV structurellement identifiables fournissent des LFRs structurellement identifiables et vice versa. Nous caractérisons ensuite les LFRs qui correspondent á des modèles ALPV équivalents basés sur leurs applications entrées-sorties. Comme illustré tout au long du manuscrit, ces résultats ont des conséquences importantes pour l’identification et la commande des systèmes LPV. / In this thesis, important concepts related to the identification of Linear Parameter-Varying (LPV) systems are studied.First, we tackle the problem of identifiability of Affine-LPV (ALPV) state-space parametrizations. A new sufficient and necessary condition is introduced in order to guarantee the structural identifiability for ALPV parameterizations. The identifiability of this class of parameterizations is related to the lack of state-space isomorphisms between any two models corresponding to different scheduling parameter values. In addition, we present a sufficient and necessary condition for local structural identifiability, and a sufficient condition for (global) structural identifiability which are both based on the rank of a model-based matrix. These latter conditions allow systematic verification of structural identifiability of ALPV models. Moreover, since local identification techniques are inevitable in certain applications, it is thus a priority to study the discrepancy between different LPV models obtained using different local techniques. We provide an analytic error bound on the difference between the input-output behaviors of any two LPV models which are frozen equivalent. This error bound turns out to be a function of both (i) the speed of the change of the scheduling signal and (ii) the discrepancy between the coherent bases of the two LPV models. In particular, the difference between the outputs of the two models can be made arbitrarily small by choosing a scheduling signal which changes slowly enough.Finally, we introduce and study important properties of the transformation of ALPV statespace representations into Linear Fractional Representations (LFRs). More precisely, we show that (i) state minimal ALPV representations yield minimal LFRs, and vice versa, (ii) the inputoutput behavior of the ALPV representation determines uniquely the input-output behavior of theresulting LFR, (iii) structurally identifiable ALPV models yield structurally identifiable LFRs, and vice versa. We then characterize LFRs which correspond to equivalent ALPV models based on their input-output maps. As illustrated all along the manuscript, these results have important consequences for identification and control of LPV systems.

Ce mémoire de thèse est consacré à la conception de méthodes de diagnostic à base de modèles fondées sur les observateurs pour les systèmes non linéaires modélisés comme des systèmes singuliers (D) linéaires à paramètres variants (LPV), notés D-LPV (Descriptor-Linear Parameter Varying). Les systèmes D-LPV constituent une classe particulière de systèmes approximant avec un certain degré de précision la dynamique des systèmes complexes non linéaires à partir d’une combinaison de modèles linéaires locaux pondérés par des fonctions convexes d'ordonnancement. Dans le contexte de l’apparition de défauts capteurs ou actionneurs, ce travail de thèse s’attache aux systèmes pour lesquels ces fonctions d'ordonnancement sont non mesurables mais dépendent de l'état du système. Afin de détecter et isoler des défauts, ce travail de thèse développe des synthèses d'observateurs appropriés en développant des nouvelles conditions suffisantes en termes d’inégalités matricielles linéaires (LMI) pour garantir la synthèse de résidus sensibles aux défauts et robustes aux erreurs d’estimation inhérentes aux fonctions d'ordonnancement non mesurables. - Étendant des méthodes H∞ afin d’effectuer l'estimation d'état, la détection de pannes, la localisation et la reconstruction de défaut sur les capteurs ; - Garantissant une sensibilité “optimale” aux pannes vis-À-Vis du rejet de perturbations au travers le développement d’observateurs de type H_/H∞. À cette fin, le mémoire de thèse est organisé en cinq chapitres : Le Chapitre 1 est consacré à l’introduction générale, aux objectifs et contributions de ce travail. Le Chapitre 2 présente les éléments nécessaires pour décrire la représentation, la modélisation, les propriétés, l'analyse et la conception d'observateur pour les systèmes D-LPV ainsi qu’un état de l’art détaillé des travaux associés à ce thème de recherche. Le Chapitre 3 est dédié au développement de trois méthodes différentes fondées sur la théorie H∞ pour concevoir des observateurs de détection de défaut pour les systèmes D-LPV. Les méthodes proposées sont appliquées à un exemple dans le cadre de la détection de défaut capteurs. L’isolation de ces défauts est mise en œuvre au travers un banc d’observateurs et les performances de chacune des trois méthodes sont comparées. Le Chapitre 4 propose une méthode de détection de défauts sur la base d’observateurs établis sur le principe H_/H∞, tenant compte ainsi d'un meilleur compromis entre la sensibilité aux pannes et la robustesse aux perturbations. De nouvelles conditions suffisantes à l’aide de LMI sont proposées afin de résoudre le problème de synthèse du gain des observateurs. Le dernier chapitre est dédié à la conclusion générale et à l’analyse de problèmes ouverts pouvant être abordés dans des travaux futurs / This work is dedicated to the synthesis of model-Based fault detection and isolation (FDI) techniques based on observers for nonlinear systems modeled as Descriptor-Linear Parameter Varying (D-LPV) systems. D-LPV systems are a particular class of systems that can represent (or approximate in some degree of accuracy), complex nonlinear systems by a set of linear local models blended through convex parameter-Dependent scheduling functions. The global D-LPV System can describe both time-Varying and nonlinear behavior. Nevertheless, in many applications the time-Varying parameters in the scheduling functions could be unmeasurable. Models which depend on unmeasurable scheduling functions cover a wide class of nonlinear systems compared to models with measurable scheduling functions, but the design of control schemes for D-LPV systems with unmeasurable scheduling functions are more difficult than those with a measurable one, because the design of such control schemes involve the estimation of the scheduling vector. This topic is addressed in this work by considering the following main targets: • to design FDI in D-LPV systems based on -H∞ observers in order to guarantee robustness against disturbances and errors due the unmeasurable gain scheduling functions • to extend the proposed -H∞ methods to perform state estimation and fault detection, isolation and fault magnitude estimation in the case of sensor faults • to guarantee the best trade-Off between fault sensitivity and disturbance rejection by developing H_/H∞ fault detection observers for D-LPV systems. The thesis is organized as follows Chapter 1 is dedicated to provide a general introduction, the objectives and contribution of this work.Chapter 2 is organized in order to provide the minimum necessary elements to describe the representation, modeling, properties, analysis, and observer design of D-LPV systems. Chapter 2 is also dedicated to a detailed review of the state of the art. Chapter 3 is dedicated to the development of three different methods to design fault detection observers for D-LPV systems based on H∞ theory. Finally, the proposed methods are applied to an example, for sensor fault detection and isolation by means of an observer bank, in order to compare the performance of each method. Chapter 4 is dedicated to the design of a FDI method based on observers with H_/H∞ performance. Based on the H_/H∞ approach, which considers the best trade-Off between fault sensitivity and robustness to disturbance, adequate LMIs are obtained to guarantee sufficient conditions for the design problem. In order to illustrate the effectiveness of the proposed techniques, an example is considered

Ce mémoire de thèse traite du développement des dynamiques et des lois de commande de vol d’un projectile d’artillerie gyrostabilisé guidé par une tête découplée. Un modèle non linéaire du projectile est proposé, et sert à calculer un modèle linéarisé de la dynamique de roulis du nez et un modèle q-LPV des chaînes de tangage et de lacet à paramètres fortement variants. Les incertitudes de modélisation sont prises en compte pour concevoir l’autopilote. Des propriétés importantes des projectiles gyrostabilisés, qui sont liées au couplage dynamique tangage/lacet, aux modes internes et à la stabilité, sont mises en valeur grâce au modèle q-LPV. En vue de l’utiliser pour calculer une loi de commande, la dimension de son vecteur des paramètres est réduite et la position des capteurs intégrés dans le nez est considérée. Un seul correcteur linéaire est suffisant pour la dynamique de l’angle de roulis du nez alors qu’une stratégie systématique de commande par séquencement de gains basée sur une linéarisation est élaborée séparément pour générer un correcteur séquencé des facteurs de charge de tangage et de lacet. Des structures de commande fixées d’ordre réduit sont conçues en appliquant la même approche de synthèse linéaire H∞ par façonnage de gain de boucle pour les axes de roulis et de tangage/lacet. De très bonnes propriétés de performance et de robustesse en boucle fermée, comparables à celles fournies par des correcteurs d’ordre plein, sont obtenues. Finalement, l’efficacité de l’autopilote augmenté d’une loi de guidage par navigation proportionnelle pure est vérifiée via de nombreuses simulations non linéaires de trajectoires. Ces dernières correspondent à des scénarios de vol nominaux d’interception de cibles balistiques, non balistiques immobiles, ou manœuvrantes, ainsi qu’à des scénarios considérant des perturbations sur les conditions de tir ou sur les dynamiques du projectile guidé / This thesis addresses the development of the flight dynamics and control laws for an artillery spin-stabilized projectile equipped with a decoupled guidance nose. A projectile nonlinear model is discussed, and it is used for computing a linearized model of the nose roll dynamics along with a q-LPV model of the highly parameter-varying pitch/yaw-dynamics. Modeling uncertainty is taken into account for autopilot design. Important properties specific to spin-stabilized projectiles, which are relevant to pitch/yaw-channel cross-coupling, internal modes and stability, are highlighted using the q-LPV model. In order to use the latter for calculating a control law, the dimension of its parameter vector is reduced and the position of the nose-embedded sensors is considered. A single linear controller is sufficient for the nose roll angle dynamics whereas a systematic linearization-based gain-scheduled control strategy is separately devised to provide a pitch/yaw-axis load factor gain-scheduled controller. Controllers of reduced-order fixed structures are computed by applying the same H∞ linear design loop-shaping approach for the roll and pitch/yaw-axes. Very good closed-loop performance and robustness properties, which are similar to those provided by full order controllers, are obtained. Finally, the effectiveness of the autopilot augmented by a pure proportional navigation guidance law is verified through a variety of nonlinear trajectory simulations. The latter correspond to nominal flight scenarios with ballistic, non-ballistic stationary, and maneuvering interception points, and to scenarios with perturbed launch conditions or guided projectile dynamics

Nous présentons dans le cadre de cette thèse une construction effective de chiffreurs par flot auto-synchronisants centrée autour de la classe particulière des systèmes dynamiques Linear Parameter Varying (LPV). Il s'agit de systèmes dont la représentation d'état admet une écriture affine par rapport à l'état et l'entrée mais dont les matrices de la représentation dépendent de paramètres variants dans le temps. Cette dépendance peut se traduire par des fonctions non linéaires de la variable de sortie. La dynamique résultante est donc non linéaire. Nous montrons que la propriété d'auto-synchronisation est liée à une propriété structurelle du système dynamique à savoir la platitude. La platitude est une propriété algébrique qui permet d'exprimer lorsque cela est possible les paramètres d'entrée et sortie d'un système dynamique en fonction de sa sortie qui est appelée dans ce cas une sortie plate. Une caractérisation de la platitude est exprimée en termes des matrices d'état du système dynamique. Une caractérisation complémentaire est proposée en termes de propriétés d'un graphe d'adjacence associé. L'utilisation conjointe de la caractérisation algébrique et graphique donne lieu à une construction systématique d'une nouvelle classe de chiffreurs auto-synchonisants. Dans la deuxième partie de la thèse, nous nous intéressons à la sécurité de chiffreurs auto-synchronisants. Nous proposons dans un premier temps une approche spectrale pour réaliser une attaque par canaux cachés. Cette approche offre une complexité réduite par rapport aux approches classiques utilisées pour les attaques par canaux cachés. Nous donnons ensuite une preuve de sécurité de la forme canonique d'un chiffreur auto-synchronisant basée sur la notion d'indistinguabilité. Une condition nécessaire et suffisante pour caractériser l'indistinguabilité des chiffreurs auto-synchronisants est proposée. Finalement, nous avons établi des résultats sur les propriétés de fonctions vectorielles booléennes qui permettent de caractériser d'une façon générale les chiffreurs auto-synchronisants / In this thesis, we present an effective construction of self-synchronizing stream ciphers based on the class of Linear Parameter-Varying (LPV) dynamical systems. For such systems, the state-space representation admits an affine expression regarding the input and the state but the state matrices depend on time varying parameters. This dependence can be expressed using nonlinear functions of the output variable. Hence, the resulting dynamics of the system are nonlinear. We show that the self-synchronization property is related to a structural property of the dynamical system known as flatness. Flatness is an algebraic property that allows, when possible, the expression of the input and state parameters of a dynamical system as functions of its outputs which is then called flat output. A characterization of the flatness is expressed in terms of state matrices of the dynamical matrix. A complementary characterization is given in terms of properties of the related adjacency graph. The combination of the algebraic and graph theory characterization gives a systematic construction of a new class of self-synchronizing stream ciphers. In the second part of the thesis, we tackle security aspects of self-synchronizing stream ciphers. We propose a spectral approach to performing side channel attacks. This approach offers reduced complexity when compared with standard approaches used for side channel attacks. We also give a security proof, based on the notion of indistinguishability, for the canonical form of self-synchronizing stream ciphers. A neccessary and sufficient condition is proposed in order to characterize the indistinguishability. Finally, we establish some results on vectorial boolean functions and properties they can be achieved when trying to design Self-Synchronizing Stream Ciphers

La surveillance des systèmes industriels et/ou embarqués constitue une préoccupation majeure en raison de l’accroissement de leur complexité et des exigences sur le respect des profilsde mission. La détection d’anomalies tient une place centrale dans ce contexte. Fondamentalement,les procédures de détection à base de modèles consistent à comparer le fonctionnement réel dusystème avec un fonctionnement de référence établi à l’aide d’un modèle sans défaut. Cependant,les systèmes à surveiller présentent souvent des dynamiques non linéaires et difficiles à caractériserde manière exacte. L’approche retenue dans cette thèse consiste à englober leur influencepar des incertitudes bornées. La propagation de ces incertitudes permet l’évaluation de seuils dedécision visant à assurer le meilleur compromis possible entre sensibilité aux défauts et robustesseaux perturbations tout en préservant une complexité algorithmique raisonnable. Pour cela, unepart importante du travail porte sur l’extension des classes de modèles dynamiques à incertitudesbornées pour lesquels des observateurs intervalles peuvent être obtenus avec les preuves d’inclusionet de stabilité associées. En s’appuyant sur des changements de coordonnées variant dans letemps, des dynamiques LTI, LPV et LTV sont considérées graduellement pour déboucher sur desclasses de dynamiques Non Linéaires à Incertitudes Bornées continues (NL-IB). Une transformationdes modèles NL-IB en modèles LPV-IB a été utilisée. Une première étude sur les non-linéaritésd’une dynamique de vol longitudinal est présentée. Un axe de travail complémentaire porte surune caractérisation explicite de la variabilité (comportement aléatoire) du bruit de mesure dansun contexte à erreurs bornées. En combinant cette approche à base de données avec celle à basede modèle utilisant un prédicteur intervalle, une méthode prometteuse permettant la détection dedéfauts relatifs à la position d’une surface de contrôle d’un avion est proposée. Une étude portenotamment sur la détection du blocage et de l’embarquement d’une gouverne de profondeur. / The monitoring of industrial and/or embedded systems is a major concern accordingto their increasing complexity and requirements to respect the mission profiles. Detection of anomaliesplays a key role in this context. Fundamentally, model-based detection procedures consist incomparing the true operation of the system with a reference established using a fault-free model.However, the monitored systems often feature nonlinear dynamics which are difficult to be exactlycharacterized. The approach considered in this thesis is to enclose their influence through boundeduncertainties. The propagation of these uncertainties allows the evaluation of thresholds aimingat ensuring a good trade-off between sensitivity to faults and robustness with respect to disturbanceswhile maintaining a reasonable computational complexity. To that purpose, an importantpart of the work adresses the extension of classes of dynamic models with bounded uncertaintiesso that interval observers can be obtained with the related inclusion and stability proofs. Based ona time-varying change of coordinates, LTI, LPV and LTV dynamics are gradually considered tofinally deal with some classes classes of nonlinear continuous dynamics with bounded uncertainties.A transformation of such nonlinear models into LPV models with bounded uncertainties has beenused. A first study on nonlinearities involved in longitudinal flight dynamics is presented. A complementarywork deals with an explicit characterization of measurement noise variability (randombehavior of noise within measurement) in a bounded error context. Combining this data-drivenapproach with a model-driven one using an interval predictor, a promising method for the detectionof faults related to the position of aircraft control surfaces is proposed. In this context, specialattention has been paid to the detection of runaway and jamming of an elevator.