Atteignabilité hybride des systèmes dynamiques continus par analyse par intervalles : application à l estimation ensembliste, Hybrid reachability of continuous dynamical systems by interval analysis : application to the set-membership estimation
246 pages
Français

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Atteignabilité hybride des systèmes dynamiques continus par analyse par intervalles : application à l'estimation ensembliste, Hybrid reachability of continuous dynamical systems by interval analysis : application to the set-membership estimation

-

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus
246 pages
Français
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Description

Sous la direction de Yves Candau, Nacim Ramdani
Thèse soutenue le 23 juin 2008: Paris Est
Cette thèse porte sur le calcul d'une sur-approximation conservative pour les solutions d'équations différentielles ordinaires en présence d'incertitudes et sur son application à l'estimation et l'analyse de systèmes dynamiques à temps continu. L'avantage principal des méthodes et des algorithmes de calculs présentés dans cette thèse est qu'ils apportent une preuve numérique de résultats. Cette thèse est organisée en deux parties. La première partie est consacrée aux outils mathématiques et aux méthodes d'intégration numérique garantie des équations diff érentielles incertaines. Ces méthodes permettent de caractériser de manière garantie l'ensemble des trajectoires d'état engendrées par un système dynamique incertain dont les incertitudes sont naturellement représentées par des intervalles bornés. Dans cette optique, nous avons développé une méthode d'intégration hybride qui donne de meilleurs résultats que les méthodes d'intégration basées sur les modèles de Taylor intervalles. La seconde partie aborde les problèmes de l'identification et de l'observation dans un contexte à erreurs bornées ainsi que le problème d'atteignabilité continue pour la véri cation de propriétés des systèmes dynamiques hybrides.
-Équations différentielles ordinaires
-Systèmes dynamiques continus
-Systèmes dynamiques hybrides
-Analyse par intervalles
-Erreurs bornées
-Identification
-Observation
-Atteignabilité
This thesis addresses the computation of conservative over-approximation of the solutions of uncertain ordinary di erential equations and its application to the estimation and the analysis of uncertain continuous-time dynamical systems. The main feature of the methods and algorithms presented in this thesis is the fact that they are numerically veri ed and hence can be used to obtain numerical proof of properties. This thesis is organized in two parts. The first part is devoted to the mathematical tools and the guaranteed numerical integration methods for uncertain ordinary di erential equations. These methods make it possible to characterize in a guaranteed way all the state trajectories generated by an uncertain dynamical system whose uncertainties are in a natural way described by bounded boxes. Accordingly, we have developed a hybrid integration method which gives better results than the integration methods based on interval Taylor models. The second part is dedicated to the resolution of identi cation and observation issues in a bounded error context. It also deals with continuous reachability computation for the veri cation of the properties of hybrid dynamical systems.
-Ordinary differential equations
-Continuous-time dynamical systems
-Hybrid dynamical systems
-Interval analysis
-Bounded uncertainies
-Identification
-Observation
-Reachability
Source: http://www.theses.fr/2008PEST0022/document

Sujets

Informations

Publié par
Nombre de lectures 69
Langue Français
Poids de l'ouvrage 4 Mo

Extrait

Universit´e Paris Est
´Ecole Doctorale : SIMME
Laboratoire : CERTES
Th`ese
pr´esent´ee pour l’obtention du titre de
Docteur de l’Universit´e Paris Est
Sp´ecialit´e : Sciences de l’Ing´enieur
par Nacim MESLEM
Atteignabilit´e hybride des syst`emes
dynamiques continus par analyse par
intervalles. Application `a l’estimation
ensembliste
Soutenue publiquement le 23 Juin 2008 devant la commission d’examen compos´ee de
´Rapporteurs : Herv´e GUEGUEN Professeur Sup´elec Rennes
´Jean-Luc GOUZE DR INRIA Sophia Antipolis - M´editerran´ee
Examinateur : Ramine NIKOUKHAH DR INRIA Rocquencourt
Directeurs de Th`ese : Yves CANDAU Professeur Universit´e Paris Est
Nacim RAMDANI MC Universit´e Paris Est
Centre d’Etude et de Recherche en Thermique, Environnement et Syst`emes
Universit´e Paris Est, 61 avenue du g´en´eral de Gaulle 94000 Cr´eteilMis
classe
la
en
Phdlasl
page
avecla
.
.
able
In
des
.
matières
.
In
.
tro
automatique
duction
.
générale
I.8
7
.
I
.
C
.
alcul
.
par
.
in
.
terv
.
alles
27
13
Diéren
I.1
.
In
.
tro
.
duction
.
.
.
.
.
.
.
.
.
.
.
.
ec
.
.
.
.
.
.
.
.
.
simple
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Con
.
.
.
.
.
.
.
.
.
trac
.
.
.
.
.
.
.
v
.
.
.
.
.
.
.
.
.
m
.
.
13
.
I.2
25
Arithmétique
.
d'in
.
terv
.
alles
I.7.1
.
.
.
.
.
L
.
.
.
.
.
.
.
mo
.
.
.
.
.
.
.
mo
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
21
.
.
.
.
.
.
.
.
.
.
.
.
14
.
I.2.1
.
In
.
terv
I.5.1
alles
de
.
.
.
.
.
.
.
.
.
.
.
.
.
I.6
.
ensem
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
.
ersion
.
a
.
on
.
.
.
.
.
.
.
.
.
Diéren
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
e
14
tiation
I.2.2
.
V
.
ecteurs
.
et
26
matrices
mo
in
.
terv
.
alles
.
.
.
.
.
.
.
.
L
.
étendu
.
.
.
.
.
.
.
.
.
.
.
28
.
automatique
.
direct
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
.
I.2.2.1
.
N
.
orme
.
.
31
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
I.5
.
tracteur
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
21
.
Con
16
teur
I.3
Newton
In
.
terv
.
alles
.
et
.
op
.
érations
.
sur
.
les
.
ensem
.
bles
.
.
.
.
.
.
22
.
In
.
ersion
.
bliste
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
17
.
I.4
.
F
.
o
I.6.1
nc
v
tio
ense
n
bliste
d'inclusion
v
.
c
.
traction
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
I.7
.
tiation
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
25
.
Princip
.
de
.
diéren
.
automatique
.
.
18
.
I.4.1
.
F
.
onction
.
d'
.
inc
.
l
I.7.1.1
usion
e
cen
dèle
trée
.
:
.
Théorème
.
de
.
la
.
v
.
aleur
.
mo
.
y
.
enne
.
.
.
.
.
.
I.7.1.2
20
e
I.4.2
dèle
F
.
onctions
.
d'
.
inc
.
l
.
usion
.
de
.
T
.
a
.
ylor
.
.
.
.
.
.
I.7.1.3
.
tiation
.
en
.
de
.
.
.
.
.
.
.
.
.
29
.
Conclusion
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
20
.
I.4.2.1
.
Exempl
.
e
.
comparatif
.
.
.
.
.
.
.
.
.
.
.
.
T
..
.
.
T
de
able
.
des
.
matières
.
I
.
I
.
In
I.1
tégration
.
n
.
umérique
.
garan
.
t
des
ie
I
d'équations
57
diéren
.
tielles
.
ordinaires
.
33
.
I
Systèmes
I.1
Préserv
In
I.2.3
tro
.
duction
ri
.
.
.
r
.
et
.
.
.
.
.
.
.
.
.
d'in
.
.
.
.
.
.
.
comparaison
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
d'ordre
.
c
.
.
.
I
.
.
.
Obten
.
.
.
I
.
en
.
aleur
.
implicite
.
.
.
.
.
.
33
.
I
de
I.2
.
Présen
.
tation
.
du
des
problème
garan
.
.
.
I.6
.
.
.
.
.
.
.
.
.
I
.
tielles
.
ti
.
.
.
.
.
.
.
.
.
I.2
.
.
.
.
.
.
.
62
.
.
.
.
.
.
.
62
.
.
.
.
.
.
.
.
.
our
34
.
I
I
I.3
.
Métho
.
des
.
de
.
T
n
a
des
ylor
.
in
68
terv
minimale
alles
.
.
.
.
.
.
Une
.
ison
.
la
.
la
.
y
.
métho
.
le
.
linéaires
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Mo
.
hk
.
.
.
.
.
.
.
.
.
.
.
.
36
I.5
I
tho
I.3.1
n
Vér
.
i
.
c
.
ati
58
on
.
de
.
l'existence
.
et
.
de
.
l'unicité
.
de
.
la
.
solutio
.
n
60
:
Théorie
Etap
inégalités
e
I
de
tro
prédiction
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
I
.
et
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
I
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
I
.
d'ordre
.
.
.
.
.
.
.
.
.
.
36
.
I
I
I.3.2
graphique
Calcul
préserv
de
.
l'encadremen
.
t
.
garan
I.2.4
ti
op
de
.
solutions
.
:
.
Etap
.
e
.
de
.
correction
66
.
In
39
m
I
garan
I.3.2.1
monotones
Princip
.
e
.
.
.
.
I
.
de
.
maximale
.
.
.
.
.
69
.
.
.
.
.
52
.
I.3.2.8
.
compa
.
a
.
simple
.
tre
.
métho
.
de
.
v
.
mo
.
enne
.
la
.
de
.
dans
.
cas
.
EDO

  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents