Contatto
Come acquistare
Consegna
Guida all'acquisto
Verification de la Surete Des Systemes Hybrides
Francese
139 b
Fino a 30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
52.49
€
/
In brossura
53.71
€
/
Rigido
193.39
€
/
In brossura
22.49
€
Les systčmes dynamiques hybrides sont des systčmes dynamiques faisant intervenir explicitement et simultanément des phénomčnes ou des modčles de type dynamique continu et événementiel. Dans cette thčse, nous proposons des techniques algorithmiques de vérification formelle de propriétés pour ces systčmes. Ces techniques de vérification se basent sur le calcul de l'espace atteignable ŕ partir d'une région initiale pour déterminer si l'intersection de cet espace avec le domaine ŕ éviter est bien vide. Notre méthode consiste ŕ partitionner l'espace d'état du systčme complexe en régions et ŕ approximer pour chacune de ces régions la dynamique du systčme étudié par une dynamique plus simple. Nous présentons des extensions ŕ une proposition précédente afin de prendre en compte des incertitudes dans les dynamiques affines. Dans un premier temps cette incertitude est considérée comme invariante. Dans un second temps nous la considérons variante. Cette deuxičme extension permet de considérer l'atteignabilité des systčmes non-linéaires.
Informazioni sul libro
Francese
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatarioPotrebbe interessarti anche
/
Adobe ePub DRM
8.59
€
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?