Vérification de modèles floue

Description

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.

Links & Downloads

1. http://www.archipel.uqam.ca/3159/1/M9400.pdf
2. 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.

Tags

Logique floue

Model-checking (Informatique)

Additional Fields

Identifer	oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QMUQ.3159
Date	January 2006
Creators	Constantineau, Ivan
Source Sets	Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada
Detected Language	French
Type	Mémoire accepté, NonPeerReviewed
Format	application/pdf
Relation	http://www.archipel.uqam.ca/3159/