In this thesis we describe subclasses of a class of graphs with three types of edges, called loopless mixed graphs (LMGs). The class of LMGs contains almost all known classes of graphs used in the literature of graphical Markov models. We focus in particular on the subclass of ribbonless graphs (RGs), which as special cases include undirected graphs, bidirected graphs, and directed acyclic graphs, as well as ancestral graphs and summary graphs. We define a unifying interpretation of independence structure for LMGs and pairwise and global Markov properties for RGs, discuss their maximality, and, in particular, prove the equivalence of pairwise and global Markov properties for graphoids defined over the nodes of RGs. Three subclasses of LMGs (MC, summary, and ancestral graphs) capture the modified independence model after marginalisation over unobserved variables and conditioning on selection variables of variables satisfying independence restrictions represented by a directed acyclic graph (DAG). We derive algorithms to generate these graphs from a given DAG or from a graph of a specific subclass, and we study the relationships between these classes of graphs. Finally, a manual and codes are provided that explain methods and functions in R for implementing and generating various graphs studied in this thesis.

Lorsqu’on fait face à des systèmes non linéaires, les notions classiques de stabilité ne suffisent pas à garantir un comportement approprié vis-à-vis de problématiques telles que le suivi de trajectoires, la synchronisation et la conception d’observateurs. La stabilité incrémentale a été proposée en tant qu’outil permettant de traiter de tels problèmes et de garantir que le système présente des comportements qualitatifs pertinents. Cependant, comme c’est souvent le cas avec les systèmes non linéaires, la complexité de l’analyse conduit les ingénieurs à rechercher des relaxations, ce qui introduit du conservatisme. Dans cette thèse, nous nous intéressons à la stabilité incrémentale d’une classe spécifique de systèmes, à savoir les systèmes affines par morceaux, qui pourraient fournir un outil avantageux pour aborder la stabilité incrémentale de systèmes dynamiques plus génériques.Les systèmes affines par morceaux ont un espace d’états partitionné, et sa dynamique dans chaque région est régie par une équation différentielle affine. Ils peuvent représenter des systèmes contenant des non linéarités affines par morceaux, ainsi que servir comme des approximations de systèmes non linéaires plus génériques. Ce qui est plus important, leur description est relativement proche de celle des systèmes linéaires, ce qui permet d’obtenir des conditions d’analyse exprimées comme des inégalités matricielles linéaires qui peuvent être traités numériquement de façon efficace par des solveurs existants.Dans la première partie de ce document de thèse, nous passons en revue la littérature sur l’analyse des systèmes affines par morceaux en utilisant des techniques de Lyapunov et la dissipativité. Nous proposons ensuite de nouvelles conditions pour l’analyse du gain L2 incrémental et la stabilité asymptotique incrémentale des systèmes affines par morceaux exprimés en tant qu’inégalités matricielles linéaires. Ces conditions sont montrées être moins conservatives que les résultats précédents et sont illustrées par des exemples numériques.Dans la deuxième partie, nous considérons le cas des systèmes affines par morceaux incertains représentés comme l’interconnexion entre un système nominal et un bloc d’incertitude structuré. En utilisant la théorie de la séparation des graphes, nous proposons des conditions qui étendent le cadre des contraintes quadratiques intégrales afin de considérer le cas où le système nominal est affine par morceaux, à la fois dans les cas non incrémental et incrémental. Via la théorie de la dissipativité, ces conditions sont ensuite exprimées en tant qu’inégalités matricielles linéaires.Finalement, la troisième partie de ce document de thèse est consacrée à l’analyse de systèmes non linéaires de Lur’e incertains. Nous développons une nouvelle technique d’approximation permettant de réécrire ces systèmes de façon équivalente comme des systèmes affines par morceaux incertains connectés avec l’erreur d’approximation. L’approche proposée garantit que l’erreur d’approximation est Lipschitz continue avec la garantie d’une borne supérieure prédéterminée sur la constante de Lipschitz. Cela nous permet d’utiliser les techniques susmentionnées pour analyser des classes plus génériques de systèmes non linéaires. / When dealing with nonlinear systems, regular notions of stability are not enough to ensure an appropriate behavior when dealing with problems such as tracking, synchronization and observer design. Incremental stability has been proposed as a tool to deal with such problems and ensure that the system presents relevant qualitative behavior. However, as it is often the case with nonlinear systems, the complexity of the analysis leads engineers to search for relaxations, which introduce conservatism. In this thesis, we focus on the incremental stability of a specific class of systems, namely piecewise-affine systems, which could provide a valuable tool for approaching the incremental stability of more general dynamical systems.Piecewise-affine systems have a partitioned state space, in each region of which the dynamics are governed by an affine differential equation. They can represent systems containing piecewise-affine nonlinearities, as well as serve as approximations of more general nonlinear systems. More importantly, their description is relatively close to that of linear systems, allowing us to obtain analysis conditions expressed as linear matrix inequalities that can be efficiently handled numerically by existing solvers.In the first part of this memoir, we review the literature on the analysis of piecewise-affine systems using Lyapunov and dissipativity techniques. We then propose new conditions for the analysis of incremental L2-gain and incremental asymptotic stability of piecewise-affine systems expressed as linear matrix inequalities. These conditions are shown to be less conservative than previous results and illustrated through numerical examples.In the second part, we consider the case of uncertain piecewise-affine systems represented as the interconnection between a nominal system and a structured uncertainty block. Using graph separation theory, we propose conditions that extend the framework of integral quadratic constraints to consider the case when the nominal system is piecewise affine, both in the non-incremental and incremental cases. Through dissipativity theory, these conditions are then expressed as linear matrix inequalities.Finally, the third part of this memoir is devoted to the analysis of uncertain Lur’e-type nonlinear systems. We develop a new approximation technique allowing to equivalently rewrite such systems as uncertain piecewise-affine systems connected with the approximation error. The proposed approach ensures that the approximation error is Lipschitz continuous with a guaranteed pre-specified upper bound on the Lipschitz constant. This enables us to use the aforementioned techniques to analyze more general classes of nonlinear systems.