Maintenir la viabilité ou la résilience d'un système : les machines à vecteurs de support pour rompre la malédiction de la dimensionnalité ? - Thèses Université Clermont Auvergne Accéder directement au contenu
Thèse Année : 2007

Maintaining the viability or resilience of a system: support vector machines to break the curse of dimensionality?

Maintenir la viabilité ou la résilience d'un système : les machines à vecteurs de support pour rompre la malédiction de la dimensionnalité ?

Résumé

Viability theory proposes concepts and tools to control a dynamical system such that it can remain inside a viability constraint set. The applications are frequent in ecology, economics or robotics, where the systems die or badly deteriorate when they leave some regions of the state space. Starting from the viability kernel or capture basin of a system, it enables providing control functions that maintain viability. Nevertheless, current algorithms approximating viability kernel or capture basin show several restrictions; particularly, they suffer the dimensionality curse, and their application is thus limited to problems in low dimension (in the state and control space). The aim of this thesis is to develop and evaluate new algorithms using a specific learning method: Support Vector Machines (SVMs). We propose a new viability kernel approximation algorithm, based on the Saint-Pierre algorithm, which uses a classification method to define the boundary of the kernel approximation. We establish the mathematical conditions that the classification procedure should fulfill, and we consider SVMs in this context. This classification method defines a kind of barrier function on the boundary of the approximation, which allows using optimisation techniques to compute a viable control, and thus work in higher dimensional control space. This function also enables to define more or less cautious controllers. We apply the algorithm on a fisheries management problem, examining which yield policies allow to ensure the sustainability of a marine ecosystem. This example shows the performance of the algorithm: the system is defined in 6 dimensions for the state space, and 17 dimensions for the control space. Starting from the viability kernel approximation algorithm using SVMs, we derive a capture basin approximation algorithm and resolution of hitting target problems. Approximating minimal time function comes down to approximate the viability kernel of an extended system. We present a procedure that approximates capture basin in the initial state space and thus avoid the cost of adding one supplementary dimension (computing and time cost). We describe two variants of this algorithm: the first one provides an outer approximation and the second an inner approximation. Comparing the two results gives an evaluation of the approximating error. Inner approximation enables to define a controller that guarantees to reach the target in minimal time. The procedure can be extended to the problem of minimizing a cost function, when it meets some general conditions. We illustrate this point on the computation of resilience values. We apply the algorithm on a problem of computing resilience values on a model of lake eutrophication. The proposed algorithms enable solving the exponential growth of the computing time with the control space dimension but still suffer the dimensionality curse for the state space: the training set size growth exponentially with the dimension of the space. We introduce active learning techniques to select the most ``informative'' states to define the SVM function, and then save memory, while keeping an accurate approximation. We illustrate the procedure on a bike control problem on a track, a 6 dimensional state space problem.
La théorie de la viabilité propose des concepts et méthodes pour contrôler un système dynamique afin de le maintenir dans un ensemble de contraintes de viabilité. Les applications sont nombreuses en écologie, économie ou robotique, lorsqu'un système meurt ou se détériore lorsqu'il quitte une certaine zone de son espace d'états. A partir du calcul du noyau de viabilité ou du bassin de capture d'un système, elle permet de définir des politiques d'action qui maintiennent le système dans l'ensemble de contraintes choisi. Cependant, les algorithmes classiques d'approximation de noyaux de viabilité ou de bassins de capture présentent certaines limitations ; notamment, ils souffrent de la malédiction de la dimensionnalité et leur application est réservée à des problèmes en petite dimension (dans l'espace d'état et des contrôles). L'objectif de cette thèse est de développer des algorithmes d'approximation de noyaux de viabilité et de bassin de capture plus performants, en utilisant une méthode d'apprentissage statistique particulière : les machines à vecteurs de support (Support Vector Machines - SVMs). Nous proposons un nouvel algorithme d'approximation d'un noyau de viabilité, basé sur l'algorithme de Patrick Saint-Pierre, qui utilise une méthode d'apprentissage pour définir la frontière du noyau. Après avoir rappelé les conditions mathématiques que la procédure doit respecter, nous considérons les SVMs dans ce contexte. Cette méthode d'apprentissage fournit une sorte de fonction barrière à la frontière du noyau, ce qui permet d'utiliser des méthodes d'optimisation pour trouver un contrôle viable, et ainsi de travailler dans des espaces de contrôle plus importants. Cette fonction "barrière" permet également de dériver des politiques de contrôle plus ou moins prudentes. Nous appliquons la procédure à un problème de gestion des pêches, en examinant quelles politiques de pêche permettent de garantir la viabilité d'un écosystème marin. Cet exemple illustre les performances de la méthode proposée : le système comporte 6 variables d'états et 51 variables de contrôle. A partir de l'algorithme d'approximation d'un noyau de viabilité utilisant les SVMs, nous dérivons un algorithme d'approximation de bassin de capture et de résolution de problèmes d'atteinte d'une cible en un temps minimal. Approcher la fonction de temps minimal revient à rechercher le noyau de viabilité d'un système étendu. Nous présentons une procédure qui permet de rester dans l'espace d'état initial, et ainsi d'éviter le coût (en temps de calcul et espace mémoire) de l'addition d'une dimension supplémentaire. Nous décrivons deux variantes de l'algorithme : la première procédure donne une approximation qui converge par l'extérieur et la deuxième par l'intérieur. La comparaison des deux résultats donne une évaluation de l'erreur d'approximation. L'approximation par l'intérieur permet de définir un contrôleur qui garantit d'atteindre la cible en un temps minimal. La procédure peut être étendue au problème de minimisation d'une fonction de coût lorsque celle-ci respecte certaines conditions. Nous illustrons cet aspect sur le calcul de valeurs de résilience. Nous appliquons la procédure sur un problème de calcul de valeurs de résilience sur un modèle d'eutrophication des lacs. Les algorithmes proposés permettent de résoudre le problème de l'augmentation exponentielle du temps de calcul avec la dimension de l'espace des contrôles mais souffrent toujours de la malédiction de la dimensionnalité pour l'espace d'état : la taille du vecteur d'apprentissage augmente exponentiellement avec la dimension de l'espace. Nous introduisons des techniques d'apprentissage actif pour sélectionner les états les plus "informatifs" pour définir la fonction SVM, et ainsi gagner en espace mémoire, tout en gardant une approximation précise du noyau. Nous illustrons la procédure sur un problème de conduite d'un vélo sur un circuit, système défini par six variables d'état.
Fichier principal
Vignette du fichier
These_Laetitia_Chapel.pdf (5.29 Mo) Télécharger le fichier

Dates et versions

tel-00499465 , version 1 (09-07-2010)

Identifiants

  • HAL Id : tel-00499465 , version 1

Citer

Laëtitia Chapel. Maintenir la viabilité ou la résilience d'un système : les machines à vecteurs de support pour rompre la malédiction de la dimensionnalité ?. Modélisation et simulation. Université Blaise Pascal - Clermont-Ferrand II, 2007. Français. ⟨NNT : ⟩. ⟨tel-00499465⟩
601 Consultations
759 Téléchargements

Partager

Gmail Facebook X LinkedIn More