Modélisation qualitative des agro-écosystèmes et aide à leur gestion par utilisation d’outils de model-checking

Doctoral thesis French OPEN
Zhao , Yulong;
(2014)
  • Publisher: HAL CCSD
  • Subject: Agricultural ecology | Qualitative modelling | Grazing activities | Simulation | Synthèse de contrôleur | [ SDV.EE.ECO ] Life Sciences [q-bio]/Ecology, environment/Ecosystems | Pâturage | Automate temporisé | Modélisation qualitative

The modeling in the domain of agro-ecology is important since it helps us to better understand the interactiosn between the environment and the human activities. Some research works based on simulation has been carried out during the recent years. Mainwhile, not only th... View more
  • References (13)
    13 references, page 1 of 2

    2 État de l'art : Aide à la décision dans les agro-écosystèmes 13 2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.2 Simulation pour l'aide à la décision . . . . . . . . . . . . . . . . . . . . . 14 2.2.1 Projet Sacadeau . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.2.2 Moderato . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2.2.3 Sediver . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2.2.4 Sepatou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 2.2.5 Patur'IN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 2.3 Model-checking et synthèse de contrôleur pour l'aide à la décision . . . . 24 2.3.1 Model-checking pour l'analyse de modèle . . . . . . . . . . . . . . 24 2.3.1.1 Model-checking dans réseaux d'interaction cellulaire . . 25 2.3.1.2 Model-checking pour la simulation de flux de matériel . 25 2.3.2 Synthèse de contrôleur . . . . . . . . . . . . . . . . . . . . . . . . 26 2.3.2.1 Synthèse de contrôleur pour l'aide au contrôle de climatisation . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 2.3.2.2 Synthèse de contrôleur pour un système embarqué . . . 28 2.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

    [RW87] P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 25(1) :206-230, January 1987.

    [RW89] P.J.G. Ramadge and W.M. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77(1), 1989.

    [SBA06] P. Salles, B. Bredeweg, and S. Araújo. Qualitative models about stream ecosystem recovery : Exploratory studies. Ecological Modelling, 194(1- 3) :80-89, 2006.

    [SMGOG+11] J. Salmon-Monviola, C. Gascuel-Odoux, F. Garcia, F. Tortrat, M.-O. Cordier, V. Masson, and R. Trépos. Simulating the effect of techniques and environmental constraints on the spatio-temporal distribution of herbicide applications and stream losses. Agriculture, Ecosystems and Environment, 140 :382-394, January 2011.

    [TMC+12] R. Trépos, V. Masson, M.-O. Cordier, C. Gascuel-Odoux, and J. SalmonMonviola. Mining simulation data by rule induction to determine critical source areas of stream water pollution by herbicides. Computers and Electronics in Agriculture, 86 :75-88, 2012.

    [TN06] D. Tulllos and M. Neumann. A qualitative model for characterizing effects of anthropogenic activities on benthic communities. Ecological Modeling, 196 :209-220, 2006.

    [Tré08] Cordier M.-O. Trépos, R. Apprentissage symbolique à partir de données issues de simulation pour l'aide à la décision gestion d'un bassin versant pour une meilleure qualité de l'eau. PhD thesis, 2008. Thèse doctorat Informatique Rennes 1 2008.

    [TSAC+13] R. Trépos, A. Salleb-Aouissi, M.-O. Cordier, V. Masson, and C. GascuelOdoux. Building Actions From Classification Rules. Knowledge and Information Systems (KAIS) journal, 34(2) :267-298, 2013.

    [VTZ+10] A. Veresi, S.L. Toffolatti, G. Zocchi, R. Guglielmann, and L. Ironi. A new approach to modelling the dynamics of oospore germination in plasmopara viticola. European Journal of Plant Pathology, 128(18) :113-126, 2010.

  • Metrics
Share - Bookmark