Model-checking precision agriculture logistics: the case of the differential harvest
- PDF / 2,275,417 Bytes
- 26 Pages / 439.642 x 666.49 pts Page_size
- 68 Downloads / 172 Views
Model-checking precision agriculture logistics: the case of the differential harvest Rim Saddem-yagoubi1,2 Didier Crestani2
· Olivier Naud1 · Karen Godary-dejean2 ·
Received: 13 January 2019 / Accepted: 10 February 2020 / © Springer Science+Business Media, LLC, part of Springer Nature 2020
Abstract The development, in the last decades, of technologies for precision agriculture allows the acquisition of crop data with a high spatial resolution. This offers possibilities for innovative control and raises new logistics issues that may be solved using discrete event models. In vineyards, some technologies make it possible to define zones with different qualities of grapes and sort the grapes at harvest to make different vintages. In this context, the Differential Harvest Problem (DHP) consists in finding a trajectory of the harvesting machine in the field in order to obtain at least a given quantity of higher quality grapes and minimising working time. In available literature, the DHP has been solved using Constraint Programming. In this paper, we investigate if it is possible to solve the DHP using the Cost Optimal Reachability Analysis feature of a model-checking tool such as UPPAAL-CORA. A model named DHP PTA has been designed based on the priced timed automata formalism and the UPPAAL-CORA tool. The method made it possible to obtain the optimal trajectory of a harvesting machine for a vine plot composed of up to 14 rows. The study is based on real vineyard data. This paper is an extended version of a communication presented at WODES 2018 (Saddem-Yagoubi IFAC-PapersOnLine 51(7):57–63, 2018). Keywords Timed automata · Formal verification · Model-checking · Controller synthesis · Vehicle routing · UPPAAL-CORA · Optimisation · Precision agriculture
1 Introduction Agriculture provides food needs for a human population that is constantly increasing. However, worldwide, the number of farms is decreasing (Lowder et al. 2016). Thus, the This article belongs to the Topical Collection: Topical Collection on Applications-2020 Guest Editors: Francesco Basile, Jan Komenda, and Christoforos Hadjicostis This work has received the support of French National Research Agency under the grant number ANR-14-CE27-0004 attributed to AdAP2E project. Rim Saddem-yagoubi
[email protected]
Extended author information available on the last page of the article.
Discrete Event Dynamic Systems
area worked per farmer is increasing. The current challenge for agriculture is to improve the quality and quantity of products while preserving the human health and the environment. One of the ways to meet this challenge is to use Precision Agriculture (PAg) technologies which improve the accuracy of farming operations. PAg has been a research topic for many years and its purpose is to adapt agricultural actions to local situation in the field so that the right action is performed at the right place and at the right time McBratney et al. (2005). Technologies for PAg are now widespread in the farms and are being developed further. As defined in M
Data Loading...
