• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 54
  • 24
  • 7
  • Tagged with
  • 84
  • 78
  • 37
  • 31
  • 25
  • 24
  • 22
  • 19
  • 19
  • 15
  • 15
  • 15
  • 13
  • 11
  • 11
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
41

contribution à l'étude des processus Markoviens déterministes par morceaux. Etude d'un cas-test de la sûreté de fonctionnement et Problème d'arrêt optimal à horizon aléatoire

Gonzalez, Karen 03 December 2010 (has links) (PDF)
Les Processus Markoviens D eterministes par Morceaux (PDMP) ont et e introduits dans la litt erature par M.H.A Davis comme une classe g en erale de mod eles stochastiques. Les PDMP forment une famille de processus markoviens qui d ecrivent une trajectoire d eterministe ponctu ee par des sauts al eatoires. Dans une premi ere partie, les PDMP sont utilis es pour calculer des probabilit es d' ev enements redout es pour un cas-test de la abilit e dynamique (le r eservoir chau e) par deux m ethodes num eriques di erentes : la premi ere est bas ee sur la r esolution du syst eme di erentiel d ecrivant l' evolution physique du r eservoir et la seconde utilise le calcul de l'esp erance de la fonctionnelle d'un PDMP par un syst eme d' equations int egro-di erentielles. Dans la seconde partie, nous proposons une m ethode num erique pour approcher la fonction valeur du probl eme d'arr^et optimal pour un PDMP. Notre approche est bas ee sur la quanti cation de la position apr es saut et le temps inter-sauts de la chaî ne de Markov sous-jacente au PDMP, et la discr etisation en temps adapt ee a la trajectoire du processus. Ceci nous permet d'obtenir une vitesse de convergence de notre sch ema num erique et de calculer un temps d'arrêt epsilon-optimal.
42

Modèles stochastiques et méthodes numériques pour la fiabilité

Mercier, Sophie 21 November 2008 (has links) (PDF)
En premier lieu, nous proposons, étudions et optimisons différentes politiques de maintenance pour des systèmes réparables à dégradation markovienne ou semi-markovienne, dont les durées de réparation suivent des lois générales. <br /> Nous nous intéressons ensuite au remplacement préventif de composants devenus obsolescents, du fait de l'apparition de nouveaux composants plus performants. Le problème est ici de déterminer la stratégie optimale de remplacement des anciens composants par les nouveaux. Les résultats obtenus conduisent à des stratégies très différentes selon que les composants ont des taux de panne constants ou non.<br /> Les travaux suivants sont consacrés à l'évaluation numérique de différentes quantités fiabilistes, les unes liées à des sommes de variables aléatoires indépendantes, du type fonction de renouvellement par exemple, les autres liées à des systèmes markoviens ou semi-markoviens. Pour chacune de ces quantités, nous proposons des bornes simples et aisément calculables, dont la précision peut être ajustée en fonction d'un pas de temps. La convergence des bornes est par ailleurs démontrée, et des algorithmes de calcul proposés.<br /> Nous nous intéressons ensuite à des systèmes hybrides, issus de la fiabilité dynamique, dont l'évolution est modélisée à l'aide d'un processus de Markov déterministe par morceaux (PDMP). Pour de tels systèmes, les quantités fiabilistes usuelles ne sont généralement pas atteignables analytiquement et doivent être calculées numériquement. Ces quantités s'exprimant à l'aide des lois marginales du PDMP (les lois à t fixé), nous nous attachons plus spécifiquement à leur évaluation. Pour ce faire, nous commençons par les caractériser comme unique solution d'un système d'équations intégro-différentielles. Puis, partant de ces équations, nous proposons deux schémas de type volumes finis pour les évaluer, l'un explicite, l'autre implicite, dont nous démontrons la convergence. Nous étudions ensuite un cas-test issu de l'industrie gazière, que nous modélisons à l'aide d'un PDMP, et pour lequel nous calculons différentes quantités fiabilistes, d'une part par méthodes de volumes finis, d'autre part par simulations de Monte-Carlo. Nous nous intéressons aussi à des études de sensibilité : les caractéristiques d'un PDMP sont supposées dépendre d'une famille de paramètres et le problème est de comparer l'influence qu'ont ces différents paramètres sur un critère donné, à horizon fini ou infini. Cette étude est faite au travers des dérivées du critère d'étude par rapport aux paramètres, dont nous démontrons l'existence et que nous calculons.<br /> Enfin, nous présentons rapidement les travaux effectués par Margot Desgrouas lors de sa thèse consacrée au comportement asymptotique des PDMP, et nous donnons un aperçu de quelques travaux en cours et autres projets.
43

Étude multi-échelle de modèles probabilistes pour les systèmes excitables avec composante spatiale.

Genadot, Alexandre 04 November 2013 (has links) (PDF)
L'objet de cette thèse est l'étude mathématique de modèles probabilistes pour la génération et la propagation d'un potentiel d'action dans les neurones et plus généralement de modèles aléatoires pour les systèmes excitables. En effet, nous souhaitons étudier l'influence du bruit sur certains systèmes excitables multi-échelles possédant une composante spatiale, que ce soit le bruit contenu intrinsèquement dans le système ou le bruit provenant du milieu. Ci-dessous, nous décrivons d'abord le contenu mathématique de la thèse. Nous abordons ensuite la situation physiologique décrite par les modèles que nous considérons. Pour étudier le bruit intrinsèque, nous considérons des processus de Markov déterministes par morceaux à valeurs dans des espaces de Hilbert ("Hilbert-valued PDMP"). Nous nous sommes intéressés à l'aspect multi-échelles de ces processus et à leur comportement en temps long. Dans un premier temps, nous étudions le cas où la composante rapide est une composante discrète du PDMP. Nous démontrons un théorème limite lorsque la composante rapide est infiniment accélérée. Ainsi, nous obtenons la convergence d'une classe de "Hilbert-valued PDMP" contenant plusieurs échelles de temps vers des modèles dits moyennés qui sont, dans certains cas, aussi des PDMP. Nous étudions ensuite les fluctuations du modèle multi-échelles autour du modèle moyenné en montrant que celles-ci sont gaussiennes à travers la preuve d'un théorème de type "central limit". Dans un deuxième temps, nous abordons le cas où la composante rapide est elle-même un PDMP. Cela requiert de connaître la mesure invariante d'un PDMP à valeurs dans un espace de Hilbert. Nous montrons, sous certaines conditions, qu'il existe une unique mesure invariante et la convergence exponentielle du processus vers cette mesure. Pour des PDMP dits diagonaux, la mesure invariante est explicitée. Ces résultats nous permettent d'obtenir un théorème de moyennisation pour des PDMP "rapides" couplés à des chaînes de Markov à temps continu "lentes". Pour étudier le bruit externe, nous considérons des systèmes d'équations aux dérivées partielles stochastiques (EDPS) conduites par des bruits colorés. Sur des domaines bornés de $\mathbb{R}^2$ ou $\mathbb{R}^3$, nous menons l'analyse numérique d'un schéma de type différences finies en temps et éléments finis en espace. Pour une classe d'EDPS linéaires, nous étudions l'erreur de convergence forte de notre schéma. Nous prouvons que l'ordre de convergence forte est deux fois moindre que l'ordre de convergence faible. Par des simulations, nous montrons l'émergence de phénomènes d'ondes ré-entrantes dues à la présence du bruit dans des domaines de dimension deux pour les modèles de Barkley et Mitchell-Schaeffer.
44

Analyse et optimisation de la fiabilité d'un équipement opto-électrique équipé de HUMS

Baysse, Camille 07 November 2013 (has links) (PDF)
Dans le cadre de l'optimisation de la fiabilité, Thales Optronique intègre désormais dans ses équipements, des systèmes d'observation de leur état de fonctionnement. Cette fonction est réalisée par des HUMS (Health & Usage Monitoring System). L'objectif de cette thèse est de mettre en place dans le HUMS, un programme capable d'évaluer l'état du système, de détecter les dérives de fonctionnement, d'optimiser les opérations de maintenance et d'évaluer les risques d'échec d'une mission, en combinant les procédés de traitement des données opérationnelles (collectées sur chaque appareil grâce au HUMS) et prévisionnelles (issues des analyses de fiabilité et des coûts de maintenance, de réparation et d'immobilisation). Trois algorithmes ont été développés. Le premier, basé sur un modèle de chaînes de Markov cachées, permet à partir de données opérationnelles, d'estimer à chaque instant l'état du système, et ainsi, de détecter un mode de fonctionnement dégradé de l'équipement (diagnostic). Le deuxième algorithme permet de proposer une stratégie de maintenance optimale et dynamique. Il consiste à rechercher le meilleur instant pour réaliser une maintenance, en fonction de l'état estimé de l'équipement. Cet algorithme s'appuie sur une modélisation du système, par un processus Markovien déterministe par morceaux (noté PDMP) et sur l'utilisation du principe d'arrêt optimal. La date de maintenance est déterminée à partir des données opérationnelles, prévisionnelles et de l'état estimé du système (pronostic). Quant au troisième algorithme, il consiste à déterminer un risque d'échec de mission et permet de comparer les risques encourus suivant la politique de maintenance choisie.Ce travail de recherche, développé à partir d'outils sophistiqués de probabilités théoriques et numériques, a permis de définir un protocole de maintenance conditionnelle à l'état estimé du système, afin d'améliorer la stratégie de maintenance, la disponibilité des équipements au meilleur coût, la satisfaction des clients et de réduire les coûts d'exploitation.
45

Etude du comportement en temps long de processus de markov déterministes par morceaux / Study of a long time behavior of some piecewise deterministic Markov processes

Lagasquie, Gabriel 04 July 2018 (has links)
L’objectif de cette thèse est d’étudier le comportement en temps long de certains processus de Markov déterministes par morceaux (PDMP) dont le flot suivi par la composante spatiale commute aléatoirement entre plusieurs flots possédant un unique équilibre attractif (éventuellement le même pour chaque flot). Nous donnerons dans un premier temps un exemple d’étude d’un tel processus construit dans le plan à partir de flots associés à des équations différentielles linéaires stables où il est déjà possible d’observer des comportements contre-intuitifs. La deuxième partie de ce manuscrit est dédiée à l’étude et la comparaison de deux modèles de compétition pour une ressource dans un environnement hétérogène. Le premier modèle est un modèle alétoire simulant l’hétérogénéité temporelle d’un environnement sur les espèces en compétition à l’aide d’un PDMP. Son étude utilise des outils maintenant classiques sur l’étude des PDMP. Le deuxième modèle est un modèle déterministe (présentant sous forme d’un système d’équations différentielles) modélisant l’impact de l’hétérogénéité spatiale d’un environnement sur ces mêmes espèces. Nous verrons que malgré leur nature très différente, le comportement en temps long de ces deux systèmes est relativement similaire et est essentiellement déterminé par le signe des taux d’invasion de chacune des espèces qui sont des quantités dépendant exclusivement des paramètres du système et modélisant la vitesse de croissance (ou de décroissance) de ces espèces lorsqu’elles sont au bord de l’extinction. / The objective of this thesis is to study the long time behaviour of some piecewise deterministic Markov processes (PDMP). The flow followed by the spatial component of these processes switches randomly between several flow converging towards an equilibrium point (not necessarily the same for each flow). We will first give an example of such a process built in the plan from two linear stable differential equations and we will see that its stability depends strongly on the switching times. The second part of this thesis is dedicated to the study and comparison of two competition models in a heterogeneous environment. The first model is a probabilistic model where we build a PDMP simulating the effect of the temporal heterogeneity of an environment over the species in competition. Its study uses classical tools in this field. The second model is a deterministic model simulating the effect of the spatial heterogeneity of an environment over the same species. Despite the fact that the nature of the two models is very different, we will see that their long time behavior is very similar. We define for both model several quantities called invasion rates modelizing the growth (or decreasing) rate speed of a species when it is near to extinction and we will see that the signs of these invasion rates fully describes the long time behavior for both systems.
46

Développement d'une nouvelle modélisation de la loi de choc dans les codes de transport neutronique multigroupes / A new modelling of the multigroup scattering cross section in deterministic codes for neutron transport.

Calloo, Ansar 10 October 2012 (has links)
Dans le cadre de la conception des réacteurs, les schémas de calculs utilisant des codes de cal- culs neutroniques déterministes sont validés par rapport à un calcul stochastique de référence. Les biais résiduels sont dus aux approximations et modélisations (modèle d'autoprotection, développement en polynômes de Legendre des lois de choc) qui sont mises en oeuvre pour représenter les phénomènes physiques (absorption résonnante, anisotropie de diffusion respec- tivement). Ce document se penche sur la question de la pertinence de la modélisation de la loi de choc sur une base polynômiale tronquée. Les polynômes de Legendre sont utilisés pour représenter la section de transfert multigroupe dans les codes déterministes or ces polynômes modélisent mal la forme très piquée de ces sections, surtout dans le cadre des maillages énergétiques fins et pour les noyaux légers. Par ailleurs, cette représentation introduit aussi des valeurs négatives qui n'ont pas de sens physique. Dans ce travail, après une brève description des lois de chocs, les limites des méthodes actuelles sont démontrées. Une modélisation de la loi de choc par une fonction constante par morceaux qui pallie à ces insuffisances, a été retenue. Cette dernière nécessite une autre mod- élisation de la source de transfert, donc une modification de la méthode actuelle des ordonnées discrètes pour résoudre l'équation du transport. La méthode de volumes finis en angle a donc été développée et implantée dans l'environ- nement du solveur Sn Snatch, la plateforme Paris. Il a été vérifié que ses performances étaient similaires à la méthode collocative habituelle pour des sections représentées par des polynômes de Legendre. Par rapport à cette dernière, elle offre l'avantage de traiter les deux représenta- tions des sections de transferts multigroupes : polynômes de Legendre et fonctions constantes par morceaux. Dans le cadre des calculs des réacteurs, cette méthode mixte a été validée sur différents motifs : des cellules en réseau infini, des motifs hétérogènes et un calcul de réflecteur. Les principaux résultats sont : - un développement polynômial à l'ordre P 3 est suffisant par rapport aux biais résiduels dus aux autres modélisations (autoprotection, méthode de résolution spatiale). Cette modéli- sation est convergée au sens de l'anisotropie du choc sur les cas représentatifs des réacteurs à eau légère. - la correction de transport P 0c n'est pas adaptée, notamment sur les calculs d'absorbant B4 C. / In reactor physics, calculation schemes with deterministic codes are validated with respect to a reference Monte Carlo code. The remaining biases are attributed to the approximations and models induced by the multigroup theory (self-shielding models and expansion of the scattering law using Legendre polynomials) to represent physical phenomena (resonant absorption and scattering anisotropy respectively). This work focuses on the relevance of a polynomial expansion to model the scattering law. Since the outset of reactor physics, the latter has been expanded on a truncated Legendre polynomial basis. However, the transfer cross sections are highly anisotropic, with non-zero values for a very small range of the cosine of the scattering angle. Besides, the finer the energy mesh and the lighter the scattering nucleus, the more exacerbated is the peaked shape of this cross section. As such, the Legendre expansion is less suited to represent the scattering law. Furthermore, this model induces negative values which are non-physical. In this work, various scattering laws are briefly described and the limitations of the existing model are pointed out. Hence, piecewise-constant functions have been used to represent the multigroup scattering cross section. This representation requires a different model for the dif- fusion source. The discrete ordinates method which is widely employed to solve the transport equation has been adapted. Thus, the finite volume method for angular discretisation has been developed and imple- mented in Paris environment which hosts the Sn solver, Snatch. The angular finite volume method has been compared to the collocation method with Legendre moments to ensure its proper performance. Moreover, unlike the latter, this method is adapted for both the Legendre moments and the piecewise-constant functions representations of the scattering cross section. This hybrid-source method has been validated for different cases: fuel cell in infinite lattice, heterogeneous clusters and 1D core-reflector calculations. The main results are given below : - a P 3 expansion is sufficient to model the scattering law with respect to the biases due to the other approximations used for calculations (self-shielding, spatial resolution method). This order of expansion is converged for anisotropy representation in the modelling of light water reactors. - the transport correction, P 0c is not suited for calculations, especially for B4 C absorbant.
47

Solutions presque automorphes et S asymptotiquement ω– périodiques pour une classe d’équations d’évolution / Almost automorphic and S asymptotically omega-periodic solutions for a class of evolution equations

Dimbour, William 14 May 2013 (has links)
Ce travail de thèse est consacré à l’étude d’équations d’évolution et d’équations différentielles à argument constant par morceaux. L’étude des équations différentielles à argument constant par morceaux est un domaine important car ces équations ont la structure de système dynanmique de longueur constante. La continuité des solutions conduit à une relation de récurrence entre les valeurs de cette dernière entre les points n et n+1, où n est un entier relatif quelconque. Par conséquent les équations différentielles à argument constant par morceaux combinent à la fois les propriétés des équations différentielles et des équations aux différences. Nous étudierons l’existence de solutions presque automorphes et S-asymptotiquement omega-périodiques d’équations d’évolutions et d’équations à argument constant par morceaux. L’étude de solutions presque automorphes et S’asymptotiquement omega periodiques est motivé par le fait que ces fonctions généralisent celle des fonctions périodiques. Nous obtiendrons donc des résultats concernant l’existence et l’unicité de solutions presque automorphes et S asymptotiquement omega périodiques de plusieurs équations d’évolutions. Cette problématique sera notamment étudiée dans le cadre des équations d’évolutions appartenant à la classe des équations différentielles à argument constant par morceaux. / This thesis deals with the study of evolution equations and differential equations with piecewise constant argument. Studies of such equations were motivated by the fact that they represent a hybrid of discrete and continuous dynamical systems and combine the properties of both differential and differential-difference equations. We study the existence of almost automorphic solutions and S asymptotically omega periodic solution of evolution equations and differential equations with piecewise constant argument. The study of almost automorphic and S asymptotically omega periodic functions is motivated by the fact that these functions generalize the concept of periodic functions. Therefore, we obtain results about existence and unicity of almost automorphic and S asymptotic omega periodic solution of evolution equations. We will study this problem considering evolution equations who belong to a class of differential equation with piecewise constant argument.
48

Commande et stabilité des systèmes commutés : Application Fluid Power

Ameur, Omar 12 November 2015 (has links)
Ces travaux portent sur la commande et l’analyse de la stabilité d’un système électropneumatique constitué d’un axe linéaire commandé par deux servodistributeurs régulant le débit massique entrant dans chaque chambre de l’actionneur. La problématique générale est motivée par l’apparition d’un phénomène de redécollage sur ce système électropneumatique difficilement pris en compte par les études actuelles en automatique. Ce problème, rencontré depuis de nombreuses années, concerne toutes les commandes linéaires et non linéaires mono et multidimensionnelles étudiées au laboratoire. Il se traduit par des mouvements saccadés du vérin au voisinage de l’équilibre. Ce phénomène est dû à la présence de frottements secs et aux dynamiques des pressions dans les chambres pneumatiques de l’actionneur, qui continuent à évoluer (intégrer le débit massique entrant délivré par les servodistributeurs), même après l’équilibre mécanique. La première partie de ce mémoire propose une commande non linéaire commutée afin d’éviter le phénomène de redécollage de l’actionneur électropneumatique notamment vis-à-vis des variations de frottements secs qui peuvent à tout moment causer ce phénomène. Cette technique est finalement mise en œuvre et son efficacité est constatée. La plus grande partie de ce mémoire traite l’analyse de l’actionneur électropneumatique avec sa loi de commande commutée. La présence de frottements secs et l’application d’une loi de commande commutée nous a amené à concilier une démarche d’analyse de stabilité, en considérant une classe de systèmes commutés appelée systèmes affines par morceaux. La principale difficulté de cette démarche réside dans l’obtention de fonctions de Lyapunov adéquates, qui se transforme en un problème d’optimisation sous contraintes LMI (Linear Matrix Inequality) en utilisant la S-procédure. Afin d’analyser la stabilité d’un système PWA (PieceWise Affine), la première démarche proposée permet le calcul d’une fonction de Lyapunov quadratique par morceaux sous la forme d’un problème d’optimisation sous contraintes LMI, en imposant des conditions suffisantes de stabilité. Ces dernières permettent, contrairement aux méthodes classiques, d’assurer la convergence de trajectoires d’état non pas vers un point d’équilibre, mais vers un ensemble des points d’équilibre d’un système PWA. L’approche proposée permet aussi l’étude de la robustesse vis-à-vis des variations paramétriques dans le système. Nous proposons aussi une deuxième approche pour la construction d’un type de fonctions de Lyapunov dites polynomiales par morceaux, via l’utilisation des "sum of square" et de la "power transformation", afin d’analyser la stabilité d’un ensemble de points d’équilibre d’un système PWA, en présence de phénomènes de glissement et de variations paramétriques. Cette approche propose des conditions suffisantes moins conservatives que celles imposées par les fonctions de Lyapunov quadratique par morceaux. En effet, sur des exemples de systèmes PWA présentant de dynamiques discontinues sur les frontières entre les cellules, pouvant générer à tout moment des phénomènes de glissement, ces dernières s’avèrent inefficaces et ne permettent pas d’assurer la stabilité des systèmes PWA en présence de ces phénomènes. Par conséquent, les résultats sur la fonction de Lyapunov quadratique par morceaux sont étendus pour pouvoir calculer des fonctions de Lyapunov polynomiales par morceaux d’ordre supérieur, en résolvant un problème d’optimisation sous contraintes LMI. Ces dernières permettent de garantir des conditions plus générales et moins conservatives par rapport à celles développées dans la littérature. Ces deux approches ont été appliquées afin d’analyser la stabilité de l’ensemble des points d’équilibre du système électropneumatique, en considérant à la fois un modèle de frottements sous la forme d’une saturation et un autre sous la forme d’un relais présentant une dynamique discontinue. [...] / This work focuses on the control and stability analysis of an electro-pneumatic system, i.e. a linear pneumatic cylinder controlled by two servo valves regulating the mass flow entering each chamber of the actuator. The general problem is motivated by the appearance of stick-slip on the electro-pneumatic system, hardly taken into account by the current studies in automatic control. This problem, encountered throughout the years, concerns all mono- and multidimensional linear and non-linear controls systems studied at the laboratory. In pneumatic cylinders, the phenomenon consists in a displacement of the rod a while after it has come to a rest ; this is due to the fact that the force acting on the rod initially becomes smaller that the threshold which is necessary for a motion, and then this threshold is overcome later on. In this case, stick-slip is caused by the presence of dry friction and by the pressure dynamics in the chambers, which continue to evolve (integrating the net incoming mass flow from the servovalves) even after the rod has stopped. The first part of this thesis proposes a nonlinear switching control law in order to avoid stick-slip on pneumatic cylinder, taking into account with the variations of dry friction that may occur at any time causing this phenomenon. This technique is implemented and its effectiveness is recognized. The greatest part of this thesis deals with the stability analysis of the pneumatic cylinder with its switched control law. The presence of dry friction and the application of a switched control law requires an appropriate method for approaching the stability analysis ; this method is based on considering the closed-loop system as belonging to a class of switched systems called piecewise affine systems (PWA). The main difficulty in this approach lies in obtaining adequate Lyapunov functions for proving stability, which turns into an optimization problem under LMI constraints (Linear Matrix Inequality) using the S-procedure. In order to analyze the stability of a PWA system, a first method is proposed allowing the computation of a piecewise quadratic Lyapunov function through an optimization problem under LMI constraints. The methods takes into account, in contrast to conventional methods, that the states might converge not to a single point but to a set of equilibrium points. The proposed approach allows also the study of robustness with respect to parametric variations in the system. A second method is also proposed for the construction of a type of Lyapunov functions called piecewise polynomial, using the “sum of squares” and “power transformation” techniques. This approach proposes less conservative sufficient conditions than those imposed by the piecewise quadratic Lyapunov functions, yielding a more succesfull stability test when for PWA systems featuring sliding modes and parametric variations. In fact, on PWA systems with discontinuous dynamics (which can generate sliding phenomena), piecewise quadratic Lyapunov functions might prove ineffective to prove the stability. Therefore, the results on piecewise quadratic Lyapunov functions are extended in order to compute piecewise polynomial Lyapunov functions of higher order, by solving an optimization problem under LMI constraints. These functions are more general and allow less conservative conditions compared to those formerly developed in the literature. Both of these methods have been applied to the stability analysis of the set of equilibrium points of the pneumatic cylinder, considering first a friction model in saturation form and then a model in relay form with a discontinuous dynamics. The application of the methods is successful, i.e. the robust stability is proven under dry friction threshold variations, with possibility of sliding modes.
49

De l'identification des systèmes (hybrides et à sortie binaire) à l'extraction de motifs / From system Identification (hybride system and system with binary output) to pattern extraction

Goudjil, Abdelhak 07 December 2017 (has links)
Les travaux de cette thèse portent sur l'identification des systèmes et l'extraction de motifs à partir de données. Dans le cadre de l'identification des systèmes, nous nous intéressons plus précisément à l'identification des systèmes dynamiques hybrides et l'identification des systèmes dynamiques linéaires ayant une sortie binaire. Deux classes très populaires des systèmes hybrides sont les systèmes linéaires à commutations et les systèmes affines par morceaux. Nous faisons tout d'abord un état de l'art sur les méthodes d'identification de ces deux classes. Nous proposons ensuite un algorithme basé sur une méthode d'identification de type OBE "Outer Bounding Ellipsoid" pour l'identification en temps réel des systèmes à commutations soumis à un bruit borné. Nous présentons ensuite plusieurs extensions de l'algorithme soit pour l'identification des systèmes affines par morceaux, l'identification des systèmes à commutations décrits par un modèle du type erreur de sortie et l'identification des systèmes MIMO à commutations. Nous abordons ensuite le problème d'identification des systèmes linéaires ayant une sortie binaire en introduisant un point de vue original consiste à formuler le problème d'identification comme un problème de classification. Ceci permet de proposer deux algorithmes d'identification basés sur l'utilisation des SVMs. Le premier algorithme est dédié à l'identification des systèmes à temps discret et le deuxième algorithme est dédié à l'identification des systèmes à temps continu. Dans le cadre de l'extraction de motifs, nous présentons dans un premier temps un état de l'art sur les algorithmes d'extraction de motifs et sur les techniques de la classification non supervisée. Ensuite, nous proposons un algorithme d'extraction de motifs à partir des données basé sur des techniques de classification non supervisée. / In this thesis, we deal with the identification of systems and the extraction of patterns from data. In the context of system identification, we focus precisely on the identification of hybrid systems and the identification of linear systems using binary sensors. Two very popular classes of hybrid systems are switched linear systems and piecewise affine systems. First, we give an overview of the different approaches available in the literature for the identification of these two classes. Then, we propose a new real-time identification algorithm for switched linear systems, it's based on an Outer Bounding Ellipsoid (OBE) type algorithm suitable for system identification with bounded noise. We then present several extensions of the algorithm either for the identification of piecewise affine systems, the identification of switched linear systems described by an output error model and the identification of MIMO switched linear systems. After this, we address the problem of the identification of linear systems using binary sensors by introducing an original point of view. We formulate the identification problem as a classification problem. This formulation allows the use of supervised learning algorithms such as Support Vector Machines (SVMs) for the identification of discrete time systems and the identification of continuous-time systems using binary sensors. In the context of pattern extraction, we first present an overview of the different pattern extraction algorithms and clustering techniques available in the literature. Next, we propose an algorithm for extracting patterns from data based on clustering techniques.
50

Contrôle optimal stochastique des processus de Markov déterministes par morceaux et application à l’optimisation de maintenance / Stochastic optimal control for piecewise deterministic Markov processes and application to maintenance optimization

Geeraert, Alizée 06 June 2017 (has links)
On s’intéresse au problème de contrôle impulsionnel à horizon infini avec facteur d’oubli pour les processus de Markov déterministes par morceaux (PDMP). Dans un premier temps, on modélise l’évolution d’un système opto-électronique par des PDMP. Afin d’optimiser la maintenance du système, on met en place un problème de contrôle impulsionnel tenant compte à la fois du coût de maintenance et du coût lié à l’indisponibilité du matériel auprès du client.On applique ensuite une méthode d’approximation numérique de la fonction valeur associée au problème, faisant intervenir la quantification de PDMP. On discute alors de l’influence des paramètres sur le résultat obtenu. Dans un second temps, on prolonge l’étude théorique du problème de contrôle impulsionnel en construisant de manière explicite une famille de stratégies є-optimales. Cette construction se base sur l’itération d’un opérateur dit de simple-saut-ou-intervention associé au PDMP, dont l’idée repose sur le procédé utilisé par U.S. Gugerli pour la construction de temps d’arrêt є-optimaux. Néanmoins, déterminer la meilleure position après chaque intervention complique significativement la construction de telles stratégies et nécessite l’introduction d’un nouvel opérateur. L’originalité de la construction de stratégies є-optimales présentée ici est d’être explicite, au sens où elle ne nécessite pas la résolution préalable de problèmes complexes. / We are interested in a discounted impulse control problem with infinite horizon forpiecewise deterministic Markov processes (PDMPs). In the first part, we model the evolutionof an optronic system by PDMPs. To optimize the maintenance of this equipment, we study animpulse control problem where both maintenance costs and the unavailability cost for the clientare considered. We next apply a numerical method for the approximation of the value function associated with the impulse control problem, which relies on quantization of PDMPs. The influence of the parameters on the numerical results is discussed. In the second part, we extendthe theoretical study of the impulse control problem by explicitly building a family of є-optimalstrategies. This approach is based on the iteration of a single-jump-or-intervention operator associatedto the PDMP and relies on the theory for optimal stopping of a piecewise-deterministic Markov process by U.S. Gugerli. In the present situation, the main difficulty consists in approximating the best position after the interventions, which is done by introducing a new operator.The originality of the proposed approach is the construction of є-optimal strategies that areexplicit, since they do not require preliminary resolutions of complex problems.

Page generated in 0.0411 seconds