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é. Cependant, les algorithmes d'approximation de noyaux de viabilité ou de bassins de capture souffrent de la malédiction de la dimensionnalité. L'objectif de cette thèse est de développer des algorithmes, en utilisant une méthode d'apprentissage statistique : les machines à vecteurs de support SVMs . Nous proposons un algorithme d'approximation d'un noyau de viabilité qui utilise les SVMs pour définir 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. Nous d...
International audienceCet article s’initie dans le cadre du monitoring des structures par le biais d...
Cette thèse traite des systèmes paramétrés. Ils modélisent des applications dans divers domaines, co...
Les méthodes formelles ont pour objectif d'augmenter le niveau de confiance que l'on peut avoir en u...
Nous proposons d'utiliser un algorithme d'apprentissage particulier, les SVMs, pour résoudre des pro...
Cette recherche en ergonomie vise le développement de connaissances sur le paramétrage des systèmes ...
Nous nous intéressons à la prédiction de séries temporelles chaotiques à partir de régressions réali...
Nous nous intéressons à la prédiction de séries temporelles chaotiques à partir de régressions réali...
Il existe un besoin certain dans la communauté de l'apprentissage statistique pour des méthodes capa...
Lustre est un langage de programmation spécialement conçu pour la réalisation des systèmes réactifs....
L'objectif de cette thèse est d'apporter de nouvelles méthodes pour vérifier des propriétés d'access...
Le pré-dimensionnement se situe en amont du processus de conception d'un système : à partir d'un ens...
International audienceLes applications nécessitant des entrainements électriques à haute vitesse imp...
La formalisation de la connaissance sous forme de règles permet de modéliser des problèmes dont on n...
Le problème du dimensionnement des mémoires pour systèmes embarqués consiste à définir la taille à a...
L'introduction des nouvelles technologies de l'information et de la communication dans les systèmes ...
International audienceCet article s’initie dans le cadre du monitoring des structures par le biais d...
Cette thèse traite des systèmes paramétrés. Ils modélisent des applications dans divers domaines, co...
Les méthodes formelles ont pour objectif d'augmenter le niveau de confiance que l'on peut avoir en u...
Nous proposons d'utiliser un algorithme d'apprentissage particulier, les SVMs, pour résoudre des pro...
Cette recherche en ergonomie vise le développement de connaissances sur le paramétrage des systèmes ...
Nous nous intéressons à la prédiction de séries temporelles chaotiques à partir de régressions réali...
Nous nous intéressons à la prédiction de séries temporelles chaotiques à partir de régressions réali...
Il existe un besoin certain dans la communauté de l'apprentissage statistique pour des méthodes capa...
Lustre est un langage de programmation spécialement conçu pour la réalisation des systèmes réactifs....
L'objectif de cette thèse est d'apporter de nouvelles méthodes pour vérifier des propriétés d'access...
Le pré-dimensionnement se situe en amont du processus de conception d'un système : à partir d'un ens...
International audienceLes applications nécessitant des entrainements électriques à haute vitesse imp...
La formalisation de la connaissance sous forme de règles permet de modéliser des problèmes dont on n...
Le problème du dimensionnement des mémoires pour systèmes embarqués consiste à définir la taille à a...
L'introduction des nouvelles technologies de l'information et de la communication dans les systèmes ...
International audienceCet article s’initie dans le cadre du monitoring des structures par le biais d...
Cette thèse traite des systèmes paramétrés. Ils modélisent des applications dans divers domaines, co...
Les méthodes formelles ont pour objectif d'augmenter le niveau de confiance que l'on peut avoir en u...