transparents

Tahiti-2010
Exploration qualitative d’un écosystème :
-à l’aide de patrons de scénarios
-par la synthèse de contrôleur
Christine LARGOUËT Agrocampus Ouest, centre de Rennes
IRISA, Equipe DREAM
Marie-Odile CORDIER Université de Rennes I
IRISA, E
q
ui
p
e DREAM
qp

Introduction
→Intérêt des modèles de simulation en écologie
→Difficulté de représentation des écosystèmes
→Modélisation qualitative : une alternative pour les systèmes
ltl
comp
l
exes e
t
ma
l
connus
→Formalisme des SED pour représenter un écosystème
– Démarche générique pour construire un modèle qualitatif et temporel
– Ensemble d’automates temporisés synchronisés
→Exploitation du modèle à l’aide de scénarios prédéfinis
– Langage de haut niveau reposant sur la logique TCTL
– Mise en œuvre à l’aide de techniques de model-checking
→Application de la synthèse de contrôleur
- Déterminer de la stratégie optimale pour un état souhaité du système
→Application écosystème marin soumis à des pressions de pêche

Résumé de l’approche
User-oriented simulation
Predictive scenarios
Scenarios on potential policies
Fisheries stakeholders
Q
uestions into
Unified representation
for different sub-systems
Fisheries
stakeholders
Q
parameters
translation
Qualitative model
Efficient and qualitative answers
Results
interpretation
Knowledge integration
Automatic generation
Learning Expert Knowledge
interpretation
Numerical models Ecosysteme

L’année dernière on vous a présenté....

Ecosystème simplifié
Réseau trophique