Skip to Main content Skip to Navigation
Master Thesis

Modélisation et exploration d'un écosystème à dynamique spatiale par des outils de model-checking

Abstract : The representation of large ecosystem is problematic, because of necessary needs to model it. New approaches are developed to answer this problem. This report offers à new qualitative approach to represent populations inside a landscape, which is evolving under human actions. The innovation is te modelling of population flows with timed automata, a qualitative modelling method. It has been possible to create a method, which starts from the modelling of a landscape and ends at the creation of its possible development and the analysis of the factors promoting agronomic and ecological criteria. However, the actual tools are still limited and do not permit real applications.
Document type :
Master Thesis
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://dumas.ccsd.cnrs.fr/dumas-01253878
Contributor : Agrocampus Ouest <>
Submitted on : Monday, January 11, 2016 - 2:56:24 PM
Last modification on : Monday, July 6, 2020 - 3:38:21 PM
Long-term archiving on: : Tuesday, April 12, 2016 - 11:20:43 AM

Identifiers

  • HAL Id : dumas-01253878, version 1

Collections

Citation

Pierre Gaignon. Modélisation et exploration d'un écosystème à dynamique spatiale par des outils de model-checking . Statistiques [stat]. 2015. ⟨dumas-01253878⟩

Share

Metrics

Record views

209

Files downloads

158