Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research talks;Control Theory and Optimization;Partial Differential Equations
In this talk we present a inequality obtained with Jérôme Le Rousseau, for sum of eigenfunctions for bi-Laplace operator with clamped boundary condition. These boundary conditions do not allow to reduce the problem for a Laplacian with adapted boundary condition. The proof follow the strategy used for Laplacian, namely we consider a problem with an extra variable and we prove Carleman estimates for this new problem. The main difficulty is to obtain a Carleman estimate up to the boundary.
In this talk we present a inequality obtained with Jérôme Le Rousseau, for sum of eigenfunctions for bi-Laplace operator with clamped boundary condition. These boundary conditions do not allow to reduce the problem for a Laplacian with adapted boundary condition. The proof follow the strategy used for Laplacian, namely we consider a problem with an extra variable and we prove Carleman estimates for this new problem. The main difficulty is to ...
35B45 ; 35S15 ; 93B05 ; 93B07
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-2-89276-129-0
Publications du laboratoire de combinatoire et d'informatique mathématique , 0015
Localisation : Colloque 1er étage (MONT)
CCS + contrainte # COCOLOG hiérarchique # POTS # approche relationnelle de la décomposition parallèle # commande # contrôle décentralisé # dynamique hybride # environnement LOTOS # implémentation de système à transition contrainte # machine finie # méthode mathématique # observation mathématique # observation partielle # opérateur de télécommunication # protocole important # réseau de Petri synchronisé # synthèse de superviseur # synthèse de système informatique # système communicant distribué # système continu ou discret # système à événement discret # téléphone # utilisation MEC # validation de système à base temporelle # vérification de chronogramme hiérarchique # vérification de style algébrique # vérification informatique
CCS + contrainte # COCOLOG hiérarchique # POTS # approche relationnelle de la décomposition parallèle # commande # contrôle décentralisé # dynamique hybride # environnement LOTOS # implémentation de système à transition contrainte # machine finie # méthode mathématique # observation mathématique # observation partielle # opérateur de télécommunication # protocole important # réseau de Petri synchronisé # synthèse de superviseur # synthèse de ...
68Mxx ; 68Qxx ; 93A30 ; 93B07 ; 93B50
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 269 p.
ISBN 978-3-7643-7004-6
I.S.N.M. , 0143
Localisation : Colloque 1er étage (GRAZ)
théorie des systèmes # système de contrôle # contrôle # estimation # EDP # système à paramètre réparti # équation d'onde # équation de la mécanique # système dynamique # équation à évolution linéaire # inégalité variationnelle # problème bien posé # contrôle optimal linéaire # modèle # méthode numérique # méthode de calcul # équation de Navier-Stokes # système à large échelle # observabilité # stabilisation des systèmes par feedback
35L05 ; 35Q72 ; 47D06 ; 49J40 ; 49K40 ; 49N05 ; 62H30 ; 65C20 ; 65M99 ; 65P99 ; 68U99 ; 76D05 ; 93A15 ; 93B07 ; 93Cxx ; 93D15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research schools
The question of using the available measurements to retrieve mathematical models characteristics (parameters, boundary conditions, initial conditions) is a key aspect of the modeling objective in biology or medicine. In a stochastic/statistical framework this question is seen as an estimation problems. From a deterministic point of view, we classical talk about inverse problems as we recover classical model inputs from outputs. When considering evolution problems,this question falls in the realm of data assimilation that can be seen from a deterministic of statistical point of view. Our objective in this course is to introduce the mathematical principles and numerical aspects behind data assimilation strategies with an emphasis on the deterministic formalism allowing to understand why data assimilation is a specific inverse problem. Our presentation will include considerations on finite dimensional problems but also on infinite dimensional problems such as the ones arising from PDE models. And we will illustrate the course with numerous examples coming from cardiovascular applications and biology.
The question of using the available measurements to retrieve mathematical models characteristics (parameters, boundary conditions, initial conditions) is a key aspect of the modeling objective in biology or medicine. In a stochastic/statistical framework this question is seen as an estimation problems. From a deterministic point of view, we classical talk about inverse problems as we recover classical model inputs from outputs. When considering ...
93E11 ; 93B30 ; 93E10 ; 35R30 ; 35L05 ; 93B07
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research schools
The question of using the available measurements to retrieve mathematical models characteristics (parameters, boundary conditions, initial conditions) is a key aspect of the modeling objective in biology or medicine. In a stochastic/statistical framework this question is seen as an estimation problems. From a deterministic point of view, we classical talk about inverse problems as we recover classical model inputs from outputs. When considering evolution problems,this question falls in the realm of data assimilation that can be seen from a deterministic of statistical point of view. Our objective in this course is to introduce the mathematical principles and numerical aspects behind data assimilation strategies with an emphasis on the deterministic formalism allowing to understand why data assimilation is a specific inverse problem. Our presentation will include considerations on finite dimensional problems but also on infinite dimensional problems such as the ones arising from PDE models. And we will illustrate the course with numerous examples coming from cardiovascular applications and biology.
The question of using the available measurements to retrieve mathematical models characteristics (parameters, boundary conditions, initial conditions) is a key aspect of the modeling objective in biology or medicine. In a stochastic/statistical framework this question is seen as an estimation problems. From a deterministic point of view, we classical talk about inverse problems as we recover classical model inputs from outputs. When considering ...
93E11 ; 93B30 ; 93E10 ; 35R30 ; 35L05 ; 93B07
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-7643-2953-2
DVM Seminar , 0022
Localisation : Séminaire 1er étage
observabilité # perturbation aléatoire # régulateur d'information # régulation de système d'information # technique non linéaire # théorie du contrôle # équation J # équation de matrice
93B07 ; 93B36 ; 93C73 ; 93C90 ; 93Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 123 p.
ISBN 978-85-244-0031-5
Colóquio brasileiro de matemática , 0016
Localisation : Salle de manutention
catégorie de système # controlabilité et observabilité # entrée et sortie # principe du maximum # système linéaire # système non linéaire # théorie des systèmes # théorie du contrôle optimal
93B05 ; 93B07 ; 93Bxx ; 93C05 ; 93C10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 575 p.
The S.I.A.M. series in applied mathematics
Localisation : Ouvrage RdC (LEE)
contrôlabilité # contrôleur optimal # critère de coût convexe intégral # descente la plus rapide # observabilité # principe du maximum # processus de commande non linéaire # stabilité # système linéaire # théorie du contrôle optimal
30C80 ; 41A60 ; 93B05 ; 93B07 ; 93Dxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 150 p.
Mathematics in science and engineering , 0013
Localisation : Ouvrage RdC (LEFS)
contrôle direct # linéarisation # stabilité de système de contrôle non linéaire # théorème de Popov
93-02 ; 93B05 ; 93B07 ; 93B18 ; 93Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 226 p.
ISBN 978-0-521-80593-3
Localisation : Ouvrage RdC (GAUT)
théorie du contrôle # théorie des systèmes # observabilité # méthode de géométrie différentielle # système non linéaire # processus dynamique
93-02 ; 93B07 ; 93B29 ; 93C10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 107 p.
Ensaios , 0004
Localisation : Ouvrage RdC (KUPK)
théorie des systèmes # système linéaire # controlabilité # observabilité # système non-linéaire # controle optimal # principe du maximum
93-01 ; 49B10 ; 93B07 ; 93B05 ; 58E17
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xix; 363 p.
ISBN 978-0-8218-7291-8
Graduate studies in mathematics , 0133
Localisation : Collection 1er étage
EDP # équations différentielles # théorie électromagnétique # optique géométrique # analyse asymptotique # analyse microlocale # problème de Cauchy non-linéaire
35A21 ; 35A27 ; 35A30 ; 35Q60 ; 78A05 ; 78A60 ; 93B07 ; 35-02 ; 35Axx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- vii-344 p.
ISBN 978-3-642-27892-1
Lecture notes in mathematics , 2048
Localisation : Collection 1er étage
controlabilité # stabilisation par sytème feedback # contrôle de flux # convergence # méthode numérique
93-06 ; 93B05 ; 93B07 ; 93C20 ; 93D15 ; 35B35 ; 65M12 ; 76B75 ; 00B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xvii; 122 p.
ISBN 978-1-4614-5807-4
Springerbriefs in mathematics
Localisation : Ouvrage RdC (ERVE)
analyse numérique # approximation numérique # propagation des ondes # contrôle # vagues et équations # observabilité
35L05 ; 93B05 ; 93B07 ; 34H05 ; 49M25 ; 93-02 ; 93C20 ; 93C95
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xvi; 104 p.
ISBN 978-1-4614-5810-4
SpringerBriefs in mathematics
Localisation : Ouvrage RdC (MARI)
approximation linéaire # propagation non uniforme # relation de dispersion # grille uniforme # équation de vague # approximation discontinue de Galerkin # différence finie # algorithme de filtrage
65M60 ; 65-01 ; 65T50 ; 93B07 ; 93C20 ; 35L05 ; 65M12 ; 65F15 ; 70H05 ; 78A05 ; 93B05 ; 93C05 ; 93C15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- ix; 209 p.
ISBN 978-1-4704-1496-2
Memoirs of the american mathematical society , 1133
Localisation : Collection 1er étage
équation parabolique dégénérée # contrôlabilité # problème inverse # inégalité de Carleman # inégalité de Hardy
35K65 ; 35R30 ; 93B05 ; 93B07 ; 93C20 ; 26D10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xviii; 698 p.
ISBN 978-0-387-94475-3
Texts in applied mathematics , 0021
Localisation : Ouvrage RdC (CURT)
analyse de système # système linéaire # théorie de la commande # semigroupe fortement continu # opérateur linéaire # problème de Nehari # domaine fréquentiel # fonction de transfert # factorisation de nombre premier # stabilité entrée-sortie
93C05 ; 35A10 ; 93-01 ; 93C25 ; 93C20 ; 93D15 ; 93B36 ; 93B07 ; 93D25 ; 93B05
... Lire [+]
