Based on the Lyapunov stability theorem, a decentralized adaptive sliding mode control scheme is proposed in this thesis for a class of mismatched perturbed large-scale systems containing dead-zone input to solve regulation problems. The main idea is that some adaptive mechanisms are embedded both in the sliding surface and in the controllers, so that not only the mismatched perturbations are suppressed during the sliding mode, but also the information of upper bound of perturbations is not required. The sliding surface function is firstly designed through the usage of a pseudo controller which is capable of stabilizing the reduced-order systems. The second step is to design the controllers so that the trajectories of the controlled systems are able to reach sliding surface in a finite time. Once the controlled system enters the sliding mode, the asymptotical stability is guaranteed for each subsystem even the mismatched perturbations exist. A numerical example and a practical example are given to demonstrate the feasibility of the proposed design technique.

Based on the Lyapunov stability theorem, an adaptive sliding mode control scheme is proposed in this thesis for a class of systems with mismatched state-delayed perturbations to solve regulation problems. The main idea is that some adaptive mechanisms are embedded both in the sliding surfaces and in the controllers, so that not only the mismatched perturbations are suppressed during the sliding mode, but also the information of upper bound of perturbations is not required. The sliding surface functions are firstly designed through the usage of designed pseudo controllers, which is capable of stabilizing the reduced-order systems. The number of the sliding surface functions required by the proposed control scheme depends on the relationship between systems's dimension and number of inputs. The second step is to design the controllers so that the trajectories of the controlled system are able to reach sliding surface in a finite time. Once the controlled system enters the sliding mode, the asymptotical stability is guaranteed. Two numerical examples and one practical experiment are given for demonstrating the feasibility of the proposed control scheme.

Based on the Lyapunov stability theorem, an adaptive sliding mode control scheme is proposed in this thesis for a class of mismatched perturbed multi-input multi-output (MIMO) dynamic systems to solve regualtion problems. The sliding surface function is firstly designed by treating some state variables as a pseudo controllers through the usage of sliding function to stabilize the rest of state variables. In this thesis the number of these pseudo controllers is less than that of the state variables to be stabilized. The second step is to design the controllers so that the trajectories of the controlled systems are able to reach sliding surface in a finite time. Some adaptive mechanisms are embedded in the sliding surface function and sliding mode controllers, so that not only the mismatched perturbations can be suppressed during the sliding mode, but also the information of upper bounds of some perturbations are not required when designing the sliding surface function and controllers. Once the controlled system enters the sliding mode, the state trajectories can achieve asymptotical stability under certain conditions. A numerical example and a practical example are given to demonstrate the feasibility of the proposed design technique.

Based on the Lyapunov stability theorem, an adaptive sliding mode control scheme is proposed in this thesis for a class of mismatched perturbed multi-input multi-output (MIMO) dynamic systems to solve stabilization problems. In order to suppress the perturbations in the control systems, adaptive mechanisms are employed both in sliding function and control effort, so that the information of upperbound of some perturbations is not required when designing the proposed control scheme. Due to the novel design of sliding function, the state trajectories of this system can achieve asymptotical stability in the sliding mode even if mismatched perturbations exist. In addition, with an adaptive mechanism embedded in the proposed control scheme, the controller can drive the state's trajectory into the designated sliding surface in a finite time. A numerical example is demonstrated for showing the applicability of the proposed design technique.

Based on the Lyapunov stability theorem, an adaptive variable structure observer and a controller are proposed in this thesis for a class of mismatched perturbed multi-input multi-output (MIMO) dynamic systems with unmeasurable states to solve regulation and tracking problems. In order to estimate the unmeasurable states, a design methodology of variable structure observers is presented first. Then the controller is designed so that the trajectories of the controlled systems are able to reach sliding surface in a finite time. Some adaptive mechanisms are embedded in the sliding surface function and sliding mode controllers, so that not only the mismatched perturbations are suppressed effectively during the sliding mode, but also the information of upper bounds of some perturbations are not required. When the controlled system is the sliding mode, the stability or asymptotical stability is guaranteed. A numerical example and a practical example are given to demonstrate the feasibility of the proposed design technique.

Ziel dieser Dissertation ist die Untersuchung der asymptotischen Stabilität numerischer Verfahren für Index-2-Algebro-Differentialgleichungen. Es werden Anfangswertaufgaben für quasilineare Algebro-Differentialgleichungen (ADGln). Die meisten anwendungsrelevanten Aufgaben können damit behandelt werden. Zuerst werden einige Stabilitätsbegrife und Aussagen vorgestellt, die das Fundament für den Rest der Arbeit darstellen. Dies erstreckt sich sowohl auf den kontinuierlichen als auch auf den diskreten Fall. Insbesondere werden Kontraktivitätskonzepte eingeführt und Beziehungen zwischen der Kontraktivität der ADGl und derer der Anwendung eines numerischen Verfahrens. Die eingeführte Kontraktivitätsbegriffe erweitern oder verallgemeinern die bereits bekannten Konzepte. Als wichtigste Aussage in dem Kontraktivitätskontext geht ein Theorem hervor, das allgemeine Bedingungen aufstellt, damit die Anwendung eines IRK(DAE)-Verfahrens auf eine ADGl stabil ist. Bekannte Aussagen für gewöhnliche und Algebro-Differntialgleichungen können als Sonderfälle dieses Ergebnisses gesehen werden. Im weiteren Verlauf der Arbeit wird anhand von neuartigen Index-2-Entkopplungs- und Indexreduktionstechniken die Stabilität von Diskretisierungsverfahren untersucht. Die durchgeführte Analyse erbringt neue Ergebnisse, die eine Verbesserung des Kenntnissstandes in diesem Gebiet darstellen. Die erzielte Aussagen stellen hinreichende Bedingungen, damit ein BDF- oder IRK-Verfahren für eine ADGl das gleiche Stabilitätsverhalten wie für eine gewöhnliche Differentialgleichung besitzt. Diese Ergebnisse werden durch numerishce Beispiele veranschaulicht. Weiterhin stellt man fest, dass eine der gefundenen Voraussetzungen für die Kontraktivität der Anwendung eines algebraisch stabilen IRK(DAE)-Verfahrens, auf eine ebenfalls kontraktive ADGl, genügt. Dieses Ergebnis wurde durch die Anwendung der im ersten Teil dieser Arbeit erzielten Kontraktivitätsaussagen ermöglicht. Die Konsequenzen der soeben genannten Aussage für bestimmte Modelle der Schaltkreissimulation werden ebenfalls erläutert. Aus der oben genannten Analyse, ebenso wie aus der Fachliteratur, geht hervor, dass bei manchen ADGl-Aufgaben die Diskretisierungsverfahren Stabilitätsprobleme aufweisen. Um solche Probleme zu behandeln sind bereits einige Ansätze bekannt. Im letzten Teil der Arbeit werden zwei repräsentativen Ansätze betrachtet und ihre Aussichtschancen für Index-2-Aufgaben anhand eines kritischen Beispieles evaluiert. Des Weiteren wird eine Verallgemeinerung für vollimplizite lineare ADGln des Gear-Gupta-Leimkuhler-Ansatzes (GGL) vorgeschlagen. Der Rest der Arbeit beschäftigt sich mit der Stabilitätsuntersuchung der GGL-Formulierung und der auf sie angewandten numerischen Verfahren. Dafür werden Aussagen dieser Arbeit eingesetzt und man kommt zu der Schlussfolgerung, dass sowohl für die IRK(DAE)- als auch für die BDF-Verfahren die Integration der GGL-Formulierung, natürlich unter bestimmten Voraussetzungen, stabil ist. Dieses Ergebniss wird durch ein numerisches Beispiel belegt. Dabei handelt es um eine Gleichung, die mit einer direkten Anwendung eines Verfahrens Instabilitäten aufweist. Jedoch ist die Integration der entsprechenden GGL stabil. / The purpose of the present PhD work is the asymptotic stability investigation of numerical methods for index 2 differential algebraic equations. Initial value problems are considered for quasi linear differential algebraic equations (DAEs) that cover the most important applications. First some stability concepts and related results are presented, which represent the basis for further investigations. This background concerns both, the continuous and the discreet case. Especially contractivity concepts are introduced and the relationship between the asymptotic stability of the DAE and the numerical method applied to it is established. The new contractivity concepts extend or generalize the already known concepts. The most important result in this context is a theorem that establishes general conditions under which the application of an algebraic stable IRK(DAE) method to a DAE is contractive. Well-known assertions for ordinary and differential algebraic equations can be considered as special cases of this general result. Later on the stability of numerical discretizations applied to index-2 DAEs is investigated. This is made possible by the introduction of new decopling and index reduction techniques. The analysis makes new insights in the asymptotic of numerical methods for DAEs possible. The obtained results state sufficient conditions in order that a BDF or an IRK(DAE) method applying to DAEs shows the same asymptotic stability properties as for ODEs. These results are illustrated by some numerical examples. Moreover, it can be realized that one of the found conditions is sufficient in order to show contractivity of the application of an algebraic stable IRK(DAE) method, supposed the DAE is contractive. This assertion is possible based on the general theorem mentioned in the paragraph above. Further some consequences of the mentioned results for electric network models are shown. According to both, the above mentioned analysis and the specialized literature of this field, the application of numerical methods to some special DAEs shows asymptotic stability problems. A few approaches are known to manage such difficult equations. Two exponents of these techniques are considered and their chances of success for index-2 DAEs are evaluated with the application to a critical example. A generalization of the Gear-Gupta-Leimkuhler (GGL) approach is proposed for full implicit linear DAEs. This generalization is investigated in detail in the rest of the paper, concerning both the analytical and the numerical asymptotic stability of the GGL equation and the numerical methods applied to it correspondingly. The result is, that, if some conditions are fulfilled, IRK(DAE) and BDF methods for the GGL equation will produce stable solutions. This result is illustrated by a numerical example. The application of the methods directly to the considered DAE produces unstable solutions. However, the integration of the corresponding GGL formulation is stable. The obtained result opens new possibility for the numerical treatment of instabilities by differential algebraic equations.

Ce mémoire de thèse est consacré à l’équation de Fokker-Planckpartial_ f=∆f+div(Ef).Il est subdivisé en deux parties :une partie linéaire et une partie non linéaire. Dans la partie linéaire on considère un champ de vecteur E(x) dépendant seulement de x. Cette partie est constituée des chapitres 3, 4 et 5. Dans le chapitre 3 on montre que l’opérateur linéaire Lf :=∆ f + div(E f ) est le générateur d’un semi-groupe fortement continu (SL(t))_{t≥0} dans tous les espaces L^p. On y établit également que le semi-groupe (SL(t))_{t≥0} est positif et ultracontractif. Dans le chapitre 4 nous montrons comment est qu’une décomposition adéquate de l’opérateur L permet d’établir certaines propriétés du semi-groupe (SL(t))_{t≥0} notamment sa bornitude. Le chapitre 5 est consacré à l’existence d’un état d’équilibre. De plus on y montre que cet état d’équi- libre est asymptotiquement stable. Dans la partie non linéaire on considère un champ de vecteur de la forme E(x,f) := x+nabla (a*f) ou a et f sont des fonctions assez régulières et * est l’opérateur de convolution. Cette parties est contituée des chapitre 6 et 7. Dans le chapitre 6 nous établissons que poura appartenant à W^{2,infini}_locl’équation de Fokker-Planck non linéaire admet une unique solution locale dans l’espace L^2_{K_alpha} (R^d). Dans le dernier chapitre nous montrons que le problème non linéaire admet une solution globale. De plus cette solution dépend continument des données. / This thesis is devoted to the Fokker-Planck équation partial_t f =∆f + div(E f).It is divided into two parts. The rst part deals with the linear problem. In this part we consider a vector E(x) depending only on x. It is composed of chapters 3, 4 and 5. In chapter 3 we prove that the linear operator Lf :=∆f + div(Ef ) is an in nitesimal generator of a strong continuous semigroup (SL(t))_{t≥0}. We establish also that (SL(t))_{t≥0} is positive and ultracontractive. In chapter 4 we show how an adequate decomposition of the linear operator L allows us to deduce interesting properties for the semigroup (SL(t))_{t≥0}. Indeed using this decomposition we prove that (SL(t))_{t≥0} is a bounded semigroup. In the last chapter of this part we establish that the linear Fokker-Planck admits a unique steady state. Moreover this stationary solution is asymptotically stable.In the nonlinear part we consider a vector eld of the form E(x, f ) := x +nabla (a *f ), where a and f are regular functions. It is composed of two chapters. In chapter 6 we establish that fora in W^{2,infini}_locthe nonlinear problem has a unique local solution in L^2_{K_alpha}(R^d); . To end this part we prove in chapter 7 that the nonlinear problem has a unique global solution in L^2_k(R^d). This solution depends continuously on the data.