Titre :

Precision spraying: from map to sprayer control using model-checking

Auteur(s) :

Saddem-Yagoubi, Rim [Auteur]
Robotique mobile pour l'exploration de l'environnement [EXPLORE]
Naud, Olivier [Auteur]
Information – Technologies – Analyse Environnementale – Procédés Agricoles [UMR ITAP]
Cazenave, Paul [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Godary-Dejean, Karen [Auteur]
Robotique mobile pour l'exploration de l'environnement [EXPLORE]
Crestani, Didier [Auteur]
Robotique mobile pour l'exploration de l'environnement [EXPLORE]

Titre de la revue :

Journal of Agricultural Informatics

Pagination :

1-10

Éditeur :

Hungarian Association of Agricultural Informatics

Date de publication :

2017-11-21

ISSN :

2061-862X

Mot(s)-clé(s) en anglais :

Controler Synthesis
LiDAR data
Precision agriculture
Timed automata
Optimization
Grapevine

Discipline(s) HAL :

Sciences de l'ingénieur [physics]/Automatique / Robotique
Informatique [cs]/Théorie et langage formel [cs.FL]

Résumé en anglais : [en]

Precision agriculture is a set of methods based on spatial and timed information which aims at making agricultural operations specific to local crop needs. This study was conducted to contribute to precision spraying for ...
Lire la suite >Precision agriculture is a set of methods based on spatial and timed information which aims at making agricultural operations specific to local crop needs. This study was conducted to contribute to precision spraying for trellised perennial crops such as grapevine with a new method called Automata Modelling for Precision Spraying (AMPS). AMPS is based on the timed automata formalism and the UppAal-CORA model-checking tool with cost optimisation. It takes 2D ground-based LiDAR data of the canopy as input and computes a command sequence for the sprayer that is optimized for a cost criterion. AMPS was tested on LiDAR data from a vine row and with a hypothetical sprayer model based on pneumatic technology and individual command for each spout. The chosen cost criterion was the amount of product sprayed on the row. It was demonstrated on the example that a significant proportion of phytosanitary product can be saved. It was also shown that it is necessary to take into account spout control dynamics, because the savings are inferior to the ideal case in which spout response would be instantaneous.Lire moins >

Langue :

Anglais

Vulgarisation :

Non

Projet ANR :

Plate-forme de production environnementale adaptable et autonome

Commentaire :

[Departement_IRSTEA]Ecotechnologies [TR1_IRSTEA]INSPIRE [ADD1_IRSTEA]Équiper l'agriculture

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL