m

F Nous contacter

0

Documents  93B07 | enregistrements trouvés : 23

O

-A +A

P Q

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.

- ix; 153 p.
ISBN 978-2-85629-858-9

Séminaires et congrès , 0030

Localisation : Collection 1er étage

équation différentielle partielle # dispersion # diffusion # théorie du contrôle

35Q41 ; 35Q40 ; 35B65 ; 35J10 ; 35P20 ; 47A10 ; 35Q55 ; 35B40 ; 34B45 ; 39A10 ; 35R01 ; 35A17 ; 35A18 ; 35B45 ; 35L20 ; 93B28 ; 93B07 ; 47A05 ; 65J10 ; 35Q30 ; 35A02 ; 35B30 ; 76D05 ; 49N35 ; 49J20 ; 35P25

... 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.

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.

- 329 p.
ISBN 978-0-8176-4511-3

Progress in nonlinear differential equations and their applications , 0069

Localisation : Ouvrage RdC (Phas)

EDP # problème de Cauchy # équation hyperbolique # scattering # problème inverse # théorie de la dispersion # système hyperbolique # régularité de Gevrey # hyperbolicité analytique

35-06 ; 32H02 ; 32V20 ; 35L15 ; 26A15 ; 37l50 ; 35A07 ; 35S50 ; 78A60 ; 35H10 ; 35A17 ; 35K25 ; 35A05 ; 35L20 ; 58B20 ; 58D05 ; 35Q53 ; 35S05 ; 35P25 ; 81Q05 ; 35S10 ; 35H05 ; 93B07

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- vi; 345 p.
ISBN 978-3-7643-8922-2

International series of numerical mathematics , 0158

Localisation : Ouvrage RdC (OPTI)

contrôle optimal # EDP # feedback

49-XX ; 35-XX ; 14J70 ; 26A16 ; 30F45 ; 35A15 ; 35B37 ; 35Bxx ; 35D05 ; 35J85 ; 35L05 ; 35L55 ; 35L99 ; 35Q30 ; 35Q35 ; 35Q40 ; 47J40 ; 49J20 ; 65J15 ; 65K10 ; 49K20 ; 49L20 ; 65N15 ; 49Q10 ; 70k70 ; 73K12 ; 74B05 ; 74K20 ; 74K25 ; 74K30 ; 74P05 ; 76D05 ; 76D07 ; 76N10 ; 76N15 ; 78A55 ; 80A20 ; 90C22 ; 90C25 ; 90C31 ; 90C90 ; 93A30 ; 93B05 ; 93B12 ; 93C20 ; 93D20 ; 93-XX ; 76D55 ; 35J65 ; 93B07

... Lire [+]

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 [+]

Z