Cette thèse est principalement consacrée à des problèmes de dynamique linéaire dans les espaces de Banach. Répondant à une question récente de Hájek et Smith, on construit notamment, dans tout espace de Banach séparable de dimension infinie, un opérateur borné tel que ses orbites tendent vers l'infini sur une partie ni vide, ni dense. On relie également, à l'aide d'un autre résultat, le module de lissité asymptotique au comportement des opérateurs bornés.

Soit un réseau comprenant des lignes de communication qui échouent indépendamment, dans lequel tous ou certains sites, appelés terminaux, doivent être capables de communiquer entre eux. Dans le modèle stochastique statique classique le réseau est représenté par un graphe probabiliste dont les arêtes sont présentes selon des probabilités connues. La mesure de fiabilité classique (CLR) est la probabilité que les terminaux appartiennent à la même composante connexe. Dans plusieurs contextes il est utile d'imposer la condition plus forte que la distance entre deux terminaux quelconques soit bornée supérieurement par un paramètre d. La probabilité que ça se produise est connue comme la fiabilité diamètre-bornée (DCR). Il s'agit d'une extension de la CLR. Les deux problèmes appartiennent à la classe NP-difficile de complexité; le calcul exact n'est possible que pour les instances de taille limitée ou topologies spécifiques. Dans cette thèse, nous contribuons des résultats concernant le problème du calcul et l'estimation de la DCR. Nous étudions la complexité de calcul de cas particuliers, paramétré par le nombre de terminaux, nœuds et le paramètre d. Nous passons en revue des méthodes pour le calcul exact et étudions des topologies particulières pour lesquelles le calcul de la DCR a une complexité polynomiale. Nous introduisons des résultats de base sur le comportement asymptotique de la DCR lorsque le réseau se développe comme un graphe aléatoire. Nous discutons sur l'impact de la contrainte de diamètre dans l'utilisation des techniques de Monte Carlo, et adaptons et testons une famille de méthodes basées sur le conditionnement de l'espace d'échantillonnage en utilisant des structures nommées d-pathsets et d-cutsets. Nous définissons une famille de mesures de performabilité qui généralise la DCR, développons une méthode de Monte Carlo pour l'estimer, et présentons des résultats expérimentaux sur la performance de ces techniques Monte Carlo par rapport é l'approche naïve. Finalement, nous proposons une nouvelle technique qui combine la simulation Monte Carlo et l'interpolation polynomiale pour les mesures de fiabilité.

Les travaux de recherche présentés dans cette thèse sont consacrés à l’étude de la stabilité dans divers problèmes inverses associés à l’équation de Schrödinger magnétique. Dans la première partie, on s’intéresse à un problème inverse concernant l’équation de Schrödinger autonome posée dans un domaine cylindrique non borné, avec potentiel magnétique périodique. On démontre à l’aide d’une construction de solutions particulières, dites solutions de type "optique géométrique", que le champ magnétique induit par le potentiel périodique est déterminé de façon stable à partir une infinité d’observations latérales de la solution, contenues dans l’opérateur de Dirichlet-Neumann. La deuxième partie de la thèse porte sur le même type de problèmes inverses mais associés à l’équation de Schrödinger magnétique non autonome. Dans un premier temps, on montre l’existence d’une unique solution régulière de cette équation dans un domaine borné ou non. Ensuite, on s’intéresse au problème inverse de la détermination simultanée des potentiels magnétique et électrique dans un domaine borné, à partir d’un nombre fini d’observations latérales de la solution. Enfin, on prouve que dans un domaine cylindrique infini, le potentiel magnétique peut être reconstruit de façon Lipschitz stable à partir d’un nombre fini d’observations de type Neumann. / This thesis, is devoted to the study of inverse problems related to the Schrödinger equation. The first partof the thesis is devoted to study the boundary inverse problem of determining the alignedmagnetic field appearing in the magnetic Schrödinger equation in a periodic quantum cylindricalwaveguide. From the Dirichlet-to-Neumann map of the magnetic Schrödinger equation,we prove a Hölder stability estimate with respect to the Dirichlet-to-Neumann map, by meansof the geometrical optics solutions of the magnetic Schrödinger equation.The second part of this thesis deals with the inverse problem of determining the magnetic field and the electricpotential appearing in the magnetic Schrödinger equation, from the knowledge of a finitenumber of lateral observations of the solution.

Cette thèse est principalement consacrée à des problèmes de dynamique linéaire dans les espaces de Banach. Répondant à une question récente de Hajek et Smith, on construit notamment, dans tout espace de Banach séparable, un opérateur borné tel que ses orbites tendent vers l'infini sur une partie ni vide, ni dense. On relie également, à l'aide d'un autre résultat, le module de lissité asymptotique au comportement des opérateurs bornés. / This work is mainly devoted to some problems of linear dynamics in Banach spaces. In particular, we answer a recent question of Hajek and Smith by constructing, in any separable Banach space, a bounded operator such that its orbits tending to infinity form a set which is neither empty, nor dense. We also connect the behaviour of bounded operators with the asymptotic modulus of smoothness.

.

Les travaux de cette thèse portent sur les problèmes d'analyse de stabilité et de synthèse de commande de systèmes non-linéaires à commutations en temps discret. Nos résultats obtenus sont fondés sur une nouvelle fonction de Lyapunov-Lur'e adaptée au temps discret. Nous reprenons le problème classique d'analyse de stabilité globale de systèmes linéaires connectés à une non-linéarité du type secteur borné. Notre fonction permet de traiter une classe de non-linéarités plus générale que celle des approches fondées sur la fonction de Lur'e classique. Ensuite, la stabilité locale et la synthèse de commande de ces systèmes avec une loi de commande non-linéaire saturée sont résolues en considérant les lignes de niveau de notre fonction de Lyapunov comme estimation du bassin d'attraction de l'origine. Notre estimation est composée par des ensembles non-connexes et non-convexes qui s'adaptent bien à l'allure du bassin d'attraction et donc est moins conservative que les ensembles ellipsoïdaux. Nous étendons nos résultats pour étudier les systèmes à commutations lorsque chacun des modes présente une non-linéarité du type secteur et la saturation. D'une part, en supposant que la loi de commutation est arbitraire, nous obtenons des conditions suffisantes pour assurer la propriété de stabilité pour toute loi de commutation. Dans ce cadre, notre fonction s'avère intéressante afin de fournir une estimation bien adaptée au bassin d'attraction. D'autre part, en considérant la loi de commutation comme une variable de commande, nous proposons une stratégie de commutation sur le minimum des fonctions de Lyapunov modales. Cette stratégie définit des partitions de l'espace d'état relatives à l'activation des modes qui ne sont pas uniquement des régions coniques, normalement exhibées par des approches fondées sur les fonctions quadratiques commutées.

Les travaux de cette thèse portent sur les problèmes d'analyse de stabilité et de synthèse de commande de systèmes non-linéaires à commutations en temps discret. Nos résultats ob- tenus sont fondés sur une nouvelle fonction de Lyapunov-Lur'e adaptée au temps discret. Nous reprenons le problème classique d'analyse de stabilité globale de systèmes linéaires connectés à une non-linéarité du type secteur borné. Notre fonction permet de traiter une classe de non-linéarités plus générale que celle des approches fondées sur la fonction de Lur'e classique. Ensuite, la stabilité locale et la synthèse de commande de ces systèmes avec une loi de commande non-linéaire saturée sont résolues en considérant les lignes de niveau de notre fonction de Lyapunov comme estimation du bassin d'attraction de l'origine. Notre estimation est composée par des ensembles non-connexes et non-convexes qui s'adaptent bien à l'allure du bassin d'attraction et donc est moins conservative que les ensembles el- lipsoïdaux. Nous étendons nos résultats pour étudier les systèmes à commutations lorsque chacun des modes présente une non-linéarité du type secteur et la saturation. D'une part, en supposant que la loi de commutation est arbitraire, nous obtenons des conditions suffisantes pour assurer la propriété de stabilité pour toute loi de commutation. Dans ce cadre, notre fonction s'avère intéressante afin de fournir une estimation bien adaptée au bassin d'attrac- tion. D'autre part, en considérant la loi de commutation comme une variable de commande, nous proposons une stratégie de commutation sur le minimum des fonctions de Lyapunov modales. Cette stratégie définit des partitions de l'espace d'état relatives à l'activation des modes qui ne sont pas uniquement des régions coniques, normalement exhibées par des approches fondées sur les fonctions quadratiques commutées.

Cette thèse est consacrée à l’étude de problèmes inverses associés à des équations aux dérivées partielles hyperboliques et de type Schrödinger.La première partie de la thèse est consacrée à l’étude de problèmes inverses pour l’équation des ondes. Il s’agit d’examiner les propriétés de stabilité et d’unicité dans l’identification de certains coefficients apparaissant dans l’équation des ondes, à partir de différents types d’observation.La deuxième partie de cette thèse, traite du problème de l’identification du champ magnétique et du potentiel électrique apparaissant dans l’équation du Schrödinger. Nous prouvons que ces coefficients peuvent être déterminés de façon stable dans tout le domaine, à partir de données de type Neumann. La dérivation de ces résultats est basée sur la construction d’un ensemble de solutions de type optique géométrique, adaptées au système étudié. Il existe une méthode alternative pour l’analyse de ce type de problèmes inverses, celle de Bukhgeim-Klibanov, qui utilise une estimation de Carleman spécifique à l’opérateur con-sidéré. Elle nous a permis de montrer qu’il est possible de récupérer de façon stable et simultanée, la partie spatiale des potentiels électrique et magnétique de l’équation de Schrödinger magnétique, à partir d’un nombre fini de mesures partielles de la solution. / This thesis is devoted to the study of inverse problems associated to hyperbolic and Schrödinger equations. The first part of the thesis is devoted to the study of inverse problemsfor the wave equation. The aim is to examine the stability andthe uniqueness issues in the identification of certain coefficients appearing in the wave equation from different types of observation. The second part of this thesis deals with the problem of the identification of a magnetic field and an electric potential appearing in the Schrödinger equation. We prove that these coefficients can be stably determined throughout the domain, using Neumann data. The derivation of these results is based on the construction of a set of geometric optics solutions adapted to the system studied. There is an alternative method for the analysis of this type of inverse problem, which is due to Bukhgeim-Klibanov, and which uses a Carleman estimate. We show that it is possible to stably and simultaneously recover the spatial part of the electrical and magnetic potentialsappearing in the magnetic Schrödinger equation, from a finite number of measurements.

Soit un réseau comprenant des lignes de communication qui échouent indépendamment, dans lequel tous ou certains sites, appelés terminaux, doivent être capables de communiquer entre eux. Dans le modèle stochastique statique classique le réseau est représenté par un graphe probabiliste dont les arêtes sont présentes selon des probabilités connues. La mesure de fiabilité classique (CLR) est la probabilité que les terminaux appartiennent à la même composante connexe. Dans plusieurs contextes il est utile d'imposer la condition plus forte que la distance entre deux terminaux quelconques soit bornée supérieurement par un paramètre d. La probabilité que ça se produise est connue comme la fiabilité diamètre-bornée (DCR). Il s'agit d'une extension de la CLR. Les deux problèmes appartiennent à la classe NP-difficile de complexité; le calcul exact n'est possible que pour les instances de taille limitée ou topologies spécifiques. Dans cette thèse, nous contribuons des résultats concernant le problème du calcul et l'estimation de la DCR. Nous étudions la complexité de calcul de cas particuliers, paramétré par le nombre de terminaux, nœuds et le paramètre d. Nous passons en revue des méthodes pour le calcul exact et étudions des topologies particulières pour lesquelles le calcul de la DCR a une complexité polynomiale. Nous introduisons des résultats de base sur le comportement asymptotique de la DCR lorsque le réseau se développe comme un graphe aléatoire. Nous discutons sur l'impact de la contrainte de diamètre dans l'utilisation des techniques de Monte Carlo, et adaptons et testons une famille de méthodes basées sur le conditionnement de l'espace d'échantillonnage en utilisant des structures nommées d-pathsets et d-cutsets. Nous définissons une famille de mesures de performabilité qui généralise la DCR, développons une méthode de Monte Carlo pour l'estimer, et présentons des résultats expérimentaux sur la performance de ces techniques Monte Carlo par rapport é l'approche naïve. Finalement, nous proposons une nouvelle technique qui combine la simulation Monte Carlo et l'interpolation polynomiale pour les mesures de fiabilité. / Consider a communication network whose links fail independently and a set of sites named terminals that must communicate. In the classical stochastic static model the network is represented by a probabilistic graph whose edges occur with known probabilities. The classical reliability (CLR) metric is the probability that the terminals belong to a same connected component. In several contexts it makes sense to impose the stronger condition that the distance between any two terminals does not exceed a parameter d. The probability that this holds is known as the diameter-constrained reliability (DCR). It is an extension of the CLR. Both problems belong to the NP-hard complexity class; they can be solved exactly only for limited-size instances or specific network topologies. In this thesis we contribute a number of results regarding the problem of DCR computation and estimation. We study the computational complexity of particular cases parameterized by the number of terminals, nodes and the parameter d. We survey methods for exact computation and study particular topologies for which computing the DCR has polynomial complexity. We give basic results on the asymptotic behavior of the DCR when the network grows as a random graph. We discuss the impact that the diameter constraint has in the use of Monte Carlo techniques. We adapt and test a family of methods based on conditioning the sampling space using structures named d-pathsets and d-cutsets. We define a family of performability measures that generalizes the DCR, develop a Monte Carlo method for estimating it, and present numerical evidence of how these techniques perform when compared to crude Monte Carlo. Finally we introduce a technique that combines Monte Carlo simulation and polynomial interpolation for reliability metrics.

Les MSG (pour « Message Sequence Graphs ») sont un formalisme bien connu et souvent utilisé pour décrire des ensembles de scénarios de manière visuelle dans le domaine des protocoles de communication. Nous nous intéressons dans la première partie de la thèse à la détection de la divergence, la vérification de la coopération globale ainsi que la vérification de propriétés d’accessibilité et de couverture. Notre première contribution consiste à utiliser des solveurs SAT afin de résoudre ces problèmes efficacement. Afin de munir le formalisme des MSG de compteurs, de timers et d’autres aspects, nous introduisons le modèle des PNS (pour « réseaux de Petri avec états ») et une sémantique de processus non-branchants. Ce modèle est non seulement plus expressif que les MSG, mais il permet également des spécifications plus concises. Nous nous intéressons à trois problèmes de vérification classiques sur l’ensemble des marquages accessibles par les préfixes des processus : le caractère borné, la couverture et l’accessibilité. Afin de considérer des systèmes paramétrés, nous introduisons également la notion de borne semi-structurelle. Cela consiste à fixer le marquage initial d’un sous-ensemble approprié de places, puis à vérifier que le système est borné, quelles que soient les valeurs des paramètres. Nous montrons comment un dépliage conduit à un problème plus simple à vérifier. Une caractéristique particulièrement attrayante des MSG et des PNS réside dans leur représentation graphique similaire à un automate. Il est donc intéressant de décrire les bugs de manière visuelle. Nous montrons comment calculer en temps polynomial une représentation simple et concise d’un bug. / Message Sequence Charts (MSCs) are a popular model often used for the docu- mentation of telecommunication protocols. In the first part of the thesis, we focus on detecting process divergence, checking global-cooperation and checking reachability properties. Our first contribution is to use SAT solvers to solve these problems effectively. In order to study MSC specifications with counters, timers and other features, we introduce the model of Petri nets with states together with a non-branching non-sequential process seman- tics. We obtain a framework that is more expressive and more concise than MSGs. We consider then three classical verification problems for the set of markings reached by prefixes of processes : boundedness, covering and reachability. We consider also the notion of semi-structural property in order to study parametrized sys- tems. In this way, only part of the places are provided with an initial marking. Unfolding such a system leads to a simpler problem in the form of a linear programme. A particularly attractive feature of MSG and PNS lies in their graphical representation similar to an automaton. So, it is interesting to describe the bugs visually. We show how to compute in polynomial time a simple and concise representation of a bug.