TY - THES A1 - Schönlein, Michael T1 - Stability and Robustness of Fluid Networks: A Lyapunov Perspective T1 - Stabilität und Robustheit von Fluidnetzwerken: Eine Lyapunov Perspektive N2 - In the verification of positive Harris recurrence of multiclass queueing networks the stability analysis for the class of fluid networks is of vital interest. This thesis addresses stability of fluid networks from a Lyapunov point of view. In particular, the focus is on converse Lyapunov theorems. To gain an unified approach the considerations are based on generic properties that fluid networks under widely used disciplines have in common. It is shown that the class of closed generic fluid network models (closed GFNs) is too wide to provide a reasonable Lyapunov theory. To overcome this fact the class of strict generic fluid network models (strict GFNs) is introduced. In this class it is required that closed GFNs satisfy additionally a concatenation and a lower semicontinuity condition. We show that for strict GFNs a converse Lyapunov theorem is true which provides a continuous Lyapunov function. Moreover, it is shown that for strict GFNs satisfying a trajectory estimate a smooth converse Lyapunov theorem holds. To see that widely used queueing disciplines fulfill the additional conditions, fluid networks are considered from a differential inclusions perspective. Within this approach it turns out that fluid networks under general work-conserving, priority and proportional processor-sharing disciplines define strict GFNs. Furthermore, we provide an alternative proof for the fact that the Markov process underlying a multiclass queueing network is positive Harris recurrent if the associate fluid network defining a strict GFN is stable. The proof explicitely uses the Lyapunov function admitted by the stable strict GFN. Also, the differential inclusions approach shows that first-in-first-out disciplines play a special role. N2 - Für den Nachweis der positiven Harris-Rekurrenz bei Multiklassenwarteschlangennetzwerken ist die Stabilitätsanalyse der Klasse von Fluidnetzwerken von wesentlicher Bedeutung. Gegenstand dieser Arbeit ist die Stabilität von Fluidnetzwerken aus der Sicht von Lyapunov. Ein besonderes Augenmerk wird dabei auf konverse Lyapunov Theoreme gelegt. Hierzu wird ein axiomatischer Zugang gewählt, der auf generischen Eigenschaften gängiger Fluidnetzwerke basiert. Die Arbeit zeigt, dass die Klasse der abgeschlossenen generischen Fluidnetzwerk (abgeschlossene GFN) Modelle zu weit gefasst ist, um eine umfassende Lyapunovtheorie zu ermöglichen. Um dies zu beheben, wird die Klasse der strikten GFN Modelle eingeführt. In dieser Klasse wird verlangt, dass abgeschlossene GFN Modelle zusätzlich eine Verkettungs- sowie eine Unterhalbstetigkeitsbedingung erfüllen. Aus der Arbeit geht hervor, dass für strikte GFN Modelle Stabilität äquivalent zu der Existenz einer stetigen Lyapunov-Funktion ist. Darüberhinaus wird eine Regularitätseigenschaft an die Trajektorien des stikten GFN Modells gegeben, welche die Konstruktion glatter Lyapunov-Funktionen ermöglicht. Für den Nachweis, dass Fluidnetzwerke unter gängigen Disziplinen die zusätzlichen Eigenschaften erfüllen, werden diese als Differentialinklusionen aufgefasst. Dabei zeigt sich, dass allgemein arbeitserhaltende Fluidnetzwerke und Fluidnetzwerke mit Prioritäten strikte GFN Modelle liefern. Zudem zeigt die Arbeit einen alternativen Beweis dafür, dass der einem Multiklassenwarteschlangennetzwerk zugrunde liegende Markovprozess positiv Harris-rekurrent ist, falls das zugehörige Fluidnetzwerk ein striktes GFN Modell definiert und stabil ist. Dabei wird explizit die Lyapunov-Funktion des Fluidnetzwerkes ausgenutzt. Außerdem zeigt die Betrachtung von Fluidnetzwerken mittels Differentialinklusionen, dass first-in-first-out Fluidnetzwerken eine Sonderrolle zukommt. KW - Warteschlangennetz KW - Ljapunov-Funktion KW - Ljapunov-Stabilitätstheorie KW - Fluidnetzwerk KW - Lyapunov Funktion KW - Stabilität KW - queueing networks KW - fluid networks KW - stability KW - Lyapunov functions Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-72235 ER - TY - INPR A1 - Geiselhart, Roman A1 - Gielen, Rob H. A1 - Lazar, Mircea A1 - Wirth, Fabian R. T1 - An Alternative Converse Lyapunov Theorem for Discrete-Time Systems N2 - This paper presents an alternative approach for obtaining a converse Lyapunov theorem for discrete–time systems. The proposed approach is constructive, as it provides an explicit Lyapunov function. The developed converse theorem establishes existence of global Lyapunov functions for globally exponentially stable (GES) systems and semi–global practical Lyapunov functions for globally asymptotically stable systems. Furthermore, for specific classes of sys- tems, the developed converse theorem can be used to establish non–conservatism of a particular type of Lyapunov functions. Most notably, a proof that conewise linear Lyapunov functions are non–conservative for GES conewise linear systems is given and, as a by–product, tractable construction of polyhedral Lyapunov functions for linear systems is attained. KW - Ljapunov-Funktion KW - stability analysis KW - conewise linear systems KW - discrete-time systems KW - converse Lyapunov theorems Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-78512 ER - TY - THES A1 - Geiselhart, Roman T1 - Advances in the stability analysis of large-scale discrete-time systems T1 - Fortschritte in der Stabilitätsanalyse großskaliger zeitdiskreter Systeme N2 - Several aspects of the stability analysis of large-scale discrete-time systems are considered. An important feature is that the right-hand side does not have have to be continuous. In particular, constructive approaches to compute Lyapunov functions are derived and applied to several system classes. For large-scale systems, which are considered as an interconnection of smaller subsystems, we derive a new class of small-gain results, which do not require the subsystems to be robust in some sense. Moreover, we do not only study sufficiency of the conditions, but rather state an assumption under which these conditions are also necessary. Moreover, gain construction methods are derived for several types of aggregation, quantifying how large a prescribed set of interconnection gains can be in order that a small-gain condition holds. N2 - Es werden großskalige zeitdiskrete Systeme betrachtet, deren rechte Seite nicht als stetig angenommen wird. Konstruktive Ansätze um Lyapunovfunktionen zu berechnen werden hergeleitet und auf mehrere Systemklassen angewandt. Für großskalige Systeme, die beschrieben sind durch die Kopplung kleinerer Systeme, wird eine neue Klasse von sogenannten Small-Gain Resultaten vorgestellt, die nicht verlangt, dass die Subsysteme robust sein müssen. Zudem untersuchen wir die Notwendigkeit der geforderten Bedingungen. Zusätzlich werden Gainkonstruktionsmethoden für verschiedene Typen von Verknüpfung hergeleitet, welche quantifizieren, wie groß eine vorgegebene Menge von Kopplungsgains sein kann, so dass eine Small-Gain-Bedingung erfüllt ist. KW - Ljapunov-Funktion KW - Konstruktionsmethoden KW - Ljapunov-Stabilitätstheorie KW - Nichtlineare Funktionalgleichung Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-112963 ER -