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
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
