Vérification de la Sûreté des Systèmes Hybrides
search
  • Vérification de la Sûreté des Systèmes Hybrides
  • Vérification de la Sûreté des Systèmes Hybrides

Vérification de la Sûreté des Systèmes Hybrides

OTHMAN NASRI

49,00 €
46,55 € Économisez 5%

Calcul d’Atteignabilité par Abstractions Linéaires

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.

Format : Papier

Livraison dans le monde entier.
Frais d'envoi limités à 4,90 € pour la France métropolitaine quel que soit le nombre d'articles. Délai de livraison : 2 à 5 jours.
Pour les produits numériques, frais d'envoi offerts et accès immédiat.

Quantité
Disponible

Othman Nasri, docteur en automatique et informatique industrielle depuis fin 2007 (Université de Rennes 1, France).

Maître assistant à l’Ecole Nationale d’Ingénieurs de Sousse (ENISo).

Chercheur au sein de laboratoire SAGE (Université de Sousse).

Il travaille sur la vérification des SDH et l’application des méthodes FDI/FTC aux systèmes complexes.


Fiche technique

Auteur
OTHMAN NASRI
Langue
Français
Éditeur
Presses Académiques Francophones
Année
2012
Pays
Tunisie Tunisie

30 autres produits dans la même catégorie :

Voir tout
Voir tout