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

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

• Documents
• Savoirs
• Équation différentielle
• Observation

Informations

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

Exrait

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
.
.
.
.
.
.
39
.
I
.
I.3.2.2
.
Eet
.
d'
.
e
.
n
.
v
.
elopp
.
emen
.
t
.
.
55
.
I.4
.
dèle
.
Hermite-Obresc
.
o
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
I
.
Limite
.
mé
40
des
I
tégration
I.3.2.3
umérique
Métho
tie
de
.
directe
.
.
.
.
.
.
.
.
.
.
I
.
Conclusion
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
42
.
I
I
I.3.2.4
I
La
de
métho
des
de
diéren
de
61
Lohner
I
.
In
.
duc
.
on
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
43
61
I
I
I.3.2.4.1
Dénitions
Métho
propriétés
de
.
parall
.
é
.
lépip
.
édique
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
I
.
I.2.1
.
monotones
45
.
I
.
I.3.2.4.2
.
F
.
actorisation
.
2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
I
.
I.2.2
.
ation
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
46
.
I
.
I.3.2.5
.
La
.
métho
.
de
62
de
I
Rihm
Condition
.
p
.
la
.
ation
.
.
.
.
.
.
.
.
.
.
.
63
.
I
.
Systèmes
.
o
.
ératifs
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
48
.
I
.
I.3.2.6
.
Cas
.
des
.
EDO
I
où
I.3
la
tégration
factorisation
u
QR
é
n'est
que
pas
tie
préconisé
ODE
.
.
52
.
I
.
I.3.2.7
.
Sc
.
héma
.
d'in
.
tégration
I
implicite
I.3.1
.
tion
.
solutions
.
et
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
QR.
.
ication
able
illustratif
des
.
matières
.
3
.
I
t
I
m
I.3.2
n
Exemples
.
illustratifs
.
.
la
.
T
.
.
.
.
.
.
.
.
.
.
.
de
.
.
.
.
.
du
.
.
.
.
.
Sim
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
tin
.
.
.
.
.
c
70
.
I
u
I
.
I.4
.
Systèmes
.
non
.
monotones
.
.
.
.
122
.
.
.
ulati
.
.
.
.
.
TCID
.
bl
.
.
.
.
.
.
.
.
.
.
.
.
.
105
.
co
.
.
.
Conclusion
.
.
.
.
.
.
.
.
.
tication
.
dynamiques
.
In
.
.
.
.
.
.
76
.
I
Présen
I
p
I.4.1
.
Théorème
Iden
de
à
Müller
.
.
.
.
.
.
.
.
.
.
120
.
.
.
.
.
.
.
.
.
Signal
.
éc
.
.
.
.
.
.
.
.
.
.
.
.
.
méth
.
.
.
Sim
.
HOIS
.
.
.
la
.
.
.
In
.
.
77
.
I
.
I
.
I.4.2
.
In
.
tégration
IV.6.1
n
.
umérique
.
garan
.
tie
.
dans
.
le
.
cas
.
g
Algorithme
é
le
néral
ératif
.
.
.
.
.
108
.
.
.
.
.
.
.
.
.
.
.
.
.
.
78
.
I
.
I
V
I.4.2.1
n
Appro
des
ximations
temps
de
113
solutions
duction
minimale
.
e
.
t
.
maximale
.
.
.
.
.
.
.
.
.
78
113
I
de
I
ensem
I.4.2.2
l'iden
Exemples
.
illustratif
.
s
114
.
ensem
.
systèmes
.
con
.
.
.
V.4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Mo
.
.
.
.
.
.
.
.
.
.
.
.
80
.
I
.
I
121
I.5
i
Quelques
yp
remarques
.
concernan
.
t
.
la
.
précision
.
des
Image
encadremen
.
ts
.
de
.
solutions
.
86
.
I
.
I
V.4.2.1.1
I.6
par
Conclusion
de
.
.
.
.
.
123
.
on
.
o
.
.
.
.
.
125
.
on
.
o
.
.
.
.
.
128
.
ersion
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
104
.
Exemple
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
87
.
IV
.
Appro
.
c
.
he
.
h
.
y
IV.6.2
b
d'encadremen
ride
dans
p
cas
our
op
l'encadremen
.
t
.
des
.
solutions
.
d'EDO
.
in
.
ce
IV.7
r
.
taines
.
89
.
IV.1
.
In
.
tro
.
duction
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
112
.
Iden
.
e
.
se
.
bliste
.
systèmes
.
à
.
con
.
u
.
V.1
.
tro
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
89
.
IV.2
.
L'automate
.
h
.
ybride
.
d'encadremen
V.2
t
tation
.
l'appro
.
he
.
bliste
.
our
.
ticatio
.
.
.
.
.
.
.
.
.
.
.
V.3
.
tication
.
bliste
.
s
.
dynamiques
.
temps
.
tin
.
.
.
.
.
116
.
Appl
.
.
90
.
IV.3
.
Exemple
.
illustratif
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
V.4.1
.
dèle
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
92
.
IV.4
V.4.2
Déroulemen
d'exc
t
tation
de
t
l
e
'automate
helon
h
.
ybride
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
V.4.2.1
.
directe
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
122
95
Sim
IV.5
on
L'appro
la
c
o
he
HOI
h
.
ybride
.
in
.
terfacée
.
a
.
v
V.4.2.1.2
ec
ulati
un
par
algorithme
méth
de
de
bissection
.
.
.
.
.
.
.
.
.
.
V.4.2.1.3
.
ulati
.
par
99
méth
IV.6
de
Cas
.
des
.
EDO
.
co
.
op
.
érativ
V.4.2.2
es
v
.
ensem
.
iste
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
133
.
..
.
.
T
.
able
.
des
.
matières
.
V.4.3
.
Signal
.
d'exc
.
i
.
tation
.
du
.
t
.
yp
2
e
:
harmoniq
.
u
le
e
.
.
.
.
.
.
.
.
.
.
VI.3.1
.
.
.
.
.
Applications
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
135
Essai
V.4.3.1
.
Image
2
directe
.
.
:
.
.
.
.
.
.
.
.
.
.
.
:
.
.
.
.
.
.
.
in
.
.
.
de
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
135
.
V.4.3.1.1
153
Sim
.
ulati
.
on
.
par
VI.2.3.2.2
les
de
métho
.
des
.
HOI
.
et
.
HOIS
.
.
.
.
.
.
.
.
.
135
.
V.4.3.1.2
.
Sim
160
ulati
.
on
.
par
.
la
Essai
mét
.
ho
.
de
.
TCID
Deuxième
.
in
.
.
.
.
.
.
.
.
.
.
.
.
.
164
.
.
138
.
V.4.3.2
.
In
167
v
.
ersion
.
ensem
.
bli
.
ste
.
.
.
.
.
.
168
.
.
.
.
.
.
.
.
.
152
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Essai
.
.
.
.
.
.
.
.
.
.
141
.
V.5
.
Conclusion
4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
d'état
.
des
.
TCID
.
:
.
.
.
.
.
.
.
.
.
.
.
.
.
157
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Essai
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4
.
.
.
.
143
.
VI
.
Observ
.
ateurs
.
in
.
terv
:
alles
.
p
.
our
.
les
.
sy
.
st
.
è
162
m
c
e
ate
s
alles
dynamiques
.
con
.
tin
.
us
.
incer-
texte
tains
.
145
.
VI.1
.
In
.
tro
.
duction
.
.
.
.
.
.
Observ
.
alle
.
.
.
.
.
.
.
.
.
.
.
.
.
P
.
d'observ
.
.
.
.
.
.
.
.
.
167
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
145
.
VI.2
Essai
Première
:
appro
.
c
.
he
.
:
.
Prédiction-correction
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
152
.
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
147
.
VI.2.1
.
Con
.
texte
.
.
.
.
.
.
Essai
.
:
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
153
.
Estimation
.
par
.
biais
.
métho
.
s
.
155
.
1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
147
.
VI.2.2
.
Princip
.
e
.
.
.
.
.
.
Essai
.
:
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
158
.
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
148
Essai
VI.2.3
:
Application
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
160
.
5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
VI.3
.
appro
.
he
150
Observ
VI.2.3.1
urs
Mo
terv
dèle
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
164
.
Con
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
VI.3.2
.
ateur
150
terv
VI.2.3.2
.
Sim
.
ulation
.
(tests
.
et
.
résultats)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
VI.3.3
.
ositivité
.
l'erreur
.
ation
.
.
.
.
.
.
.
.
.
.
151
.
VI.2.3.2.1
.
Estimation
.
d'état
.
par
VI.4
le
.
biais
.
des
.
métho
.
de
.
s
.
MI
.
.
.
152
.
Essai
.
1
.
:
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4
..
non
I.5.2
able
.
des
.
matières
193
5
.
VI.4.1
.
Exemple
.
1
188
.
de
.
de
.
.
.
.
.
.
.
dynamiques
.
propriété
.
atteignable
.
.
.
.
.
.
.
I.5.2.2
.
.
.
les
.
.
.
v
.
.
.
.
.
.
.
h
.
.
.
.
.
e
.
.
.
Appro
.
.
.
.
.
.
.
.
.
.
.
op
.
VI
168
.
VI.4.1.1
ybride
T
linéaire
ests
196
et
.
résultats
.
.
.
.
bissection
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Dénition
.
.
.
.
.
I.3
.
.
.
.
.
185
.
é
.
.
.
.
.
.
.
e
.
.
169
I.5
Essai
.
1
.
.
.
.
.
.
1
.
.
.
.
.
.
.
Système
.
.
.
.
.
par
.
in
.
.
.
la
.
.
.
3
.
ératif
.
.
.
ulation
.
alles
.
I.5.3.2
.
d'encadremen
.
Exemple
.
op
.
.
.
Premier
.
.
.
.
170
Deuxième
Essai
.
2
.
.
I.6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
VI
.
systèmes
.
.
.
.
.
.
.
.
.
184
.
des
.
ybrides
.
.
.
.
.
.
.
.
.
I.3.1
.
u
170
que
Essai
.
3
.
.
.
.
.
.
.
.
VI
.
conserv
.
l'espace
.
.
.
.
.
187
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
I.5.1
.
Système
.
.
.
.
.
.
.
.
.
.
.
188
.
2
171
linéaire
Essai
.
4
.
.
.
.
.
.
Sim
.
mo
.
a
.
v
.
.
.
192
.
ulation
.
de
.
t
.
.
.
I.5.3
.
Système
.
co
.
.
.
.
.
.
.
I.5.3.1
.
les
.
in
.
tégration
.
197
.
ulation
.
de
.
dynamique
.
VI
171
:
VI.4.2
non
Exemple
2
2
.
.
.
.
VI
.
:
.
.
.
.
.
.
.
.
.
VI
.
:
.
bissection
.
.
.
.
.
.
.
203
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
T
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
173
.
VI.4.2.1
.
T
.
ests
.
et
.
résultats
183
.
I.2
.
des
.
dynamiques
.
ybrides
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
VI
.
Analyse
.
systèmes
.
h
.
.
.
.
.
.
.
.
.
.
.
.
.
.
175
.
Essai
.
1
VI
.
Preuv
.
n
.
m
.
ri
.
de
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
186
.
I.4
.
ximation
.
ativ
.
de
.
d'état
.
.
.
.
.
.
.
.
.
.
.
VI
175
Applications
Essai
.
2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
VI
.
Exemple
.
:
.
linéaire
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
175
.
Essai
.
3
.
.
VI
.
Exemple
.
:
.
non
.
co
.
ératif
.
.
.
.
.
.
.
.
.
.
.
.
.
189
.
I.5.2.1
.
ulation
.
les
.
dèles
.
T
.
ylor
.
ter
.
alles
.
.
.
.
.
.
.
VI
.
Sim
.
par
178
métho
Essai
h
4
d'encadremen
.
.
.
.
.
.
.
VI
.
Exemple
.
:
.
non
.
non
.
op
.
1
.
.
.
.
.
.
.
.
.
.
.
VI
.
Sim
.
par
.
métho
.
s
.
terv
.
d'in
.
.
.
.
.
VI
.
Sim
.
par
178
métho
VI.5
s
Conclusion
t
.
.
.
197
.
I.5.4
.
4
.
Système
.
linéaire
.
co
.
ératif
.
.
.
.
.
.
.
.
.
.
.
200
.
I.5.4.1
.
cas
.
Sans
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
203
.
I.5.4.2
.
cas
.
A
.
ec
.
.
.
.
.
.
.
.
.
.
.
.
181
.
VI
.
I
VI
A
Conclusion
tteignabilité
.
des
.
systèmes
.
dynamiques
.
non
.
linéaires
.
incertains
.
183
.
VI
.
I.1
.
In
.
tro
.
duction
.
.
.
.
.
.
.
.
.
.
206
.
..
.
.
T
.
able
.
des
prédiction
matières
.
Conclusion
correc
générale
.
207
233
Annexes
214
211
.
A
.
Métho
.
de
215
de
.
Hermite-Obresc
.
hk
.
o
.
in
.
terv
.
alle
Phase
213
.
A.1
.
P
.
olynôme
.
de
.
Hermite-Obresc
.
hk
.
o
Phase
:
on
Cas
.
p
.
onc
.
tuel
.
.
.
.
.
.
216
.
.
.
.
.
.
.
.
.
A.2.1
.
de
.
.
.
.
.
.
.
.
.
.
213
.
A.2
.
Extension
.
aux
.
in
.
terv
.
al
.
les
.
.
.
.
A.2.2
.
de
.
ti
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Bibliographie
.
6
.