Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Vérification de la sûreté des systèmes hybrides
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Vérification de la sûreté des systèmes hybrides

Vérification de la sûreté des systèmes hybrides

Nasri-O - Collection Omn.pres.franc.

144 pages, parution le 08/08/2012

Résumé

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.

Caractéristiques techniques

  PAPIER
Éditeur(s) Presses Academiques Francophones
Auteur(s) Nasri-O
Collection Omn.pres.franc.
Parution 08/08/2012
Nb. de pages 144
Format 15.2 x 22.9
Couverture Broché
Poids 222g
EAN13 9783838171975

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription