Vérification de modèles floue
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...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2006
|
| Subjects: | |
| Online Access: | http://www.archipel.uqam.ca/3159/1/M9400.pdf |