New Approach for Differential Harvest Problem: The model checking way

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 12 rows. The study is based on real vineyard data.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01935442
Contributor : Karen Godary-Dejean <>
Submitted on : Monday, November 26, 2018 - 4:37:12 PM
Last modification on : Tuesday, October 29, 2019 - 10:16:41 AM
Long-term archiving on : Wednesday, February 27, 2019 - 2:55:24 PM

File

2018_WODES_RimSaddem_FINAL.pdf
Publisher files allowed on an open archive

Identifiers

Citation

Rim Saddem-Yagoubi, Olivier Naud, Karen Godary-Dejean, Didier Crestani. New Approach for Differential Harvest Problem: The model checking way. 14th IFAC Workshop on Discrete Event Systems (WODES), May 2018, Sorrento Coast, Italy. pp.57-63, ⟨10.1016/j.ifacol.2018.06.279⟩. ⟨lirmm-01935442⟩

Share

Metrics

Record views

200

Files downloads

41