Vérification de modèles floue

Constantineau, Ivan (2006). « Vérification de modèles floue » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.

Fichier(s) associé(s) à ce document :
[img]
Prévisualisation
PDF
Télécharger (1MB)

Résumé

Dans ce mémoire, on généralise la notion de vérification automatique de modèles au contexte flou. On définit des structures de Kripke floues et on leur associe des logiques temporelles floues, dénotées NCTL * et NCTL. On vérifie que les opérateurs de la logique NCTL sont monotones et qu'il y a moyen de faire de la vérification de modèles dans ce contexte. On en fait alors la démonstration.

Type: Mémoire accepté
Informations complémentaires: Le mémoire a été numérisé tel que transmis par l'auteur.
Mots-clés ou Sujets: Logique floue, Model-checking (Informatique)
Unité d'appartenance: Faculté des sciences > Département d'informatique
Déposé par: RB Service des bibliothèques
Date de dépôt: 16 juill. 2010 16:50
Dernière modification: 01 nov. 2014 02:15
Adresse URL : http://www.archipel.uqam.ca/id/eprint/3159

Statistiques

Voir les statistiques sur cinq ans...