Searching for Cost-Optimized Strategies: An Agricultural Application - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Searching for Cost-Optimized Strategies: An Agricultural Application


We consider a system modeled as a set of interacting components evolving along time according to explicit timing constraints. The decision making problem consists in selecting and organizing actions in order to reach a goal state in a limited time and in an optimal manner, assuming actions have a cost. We propose to reformulate the planning problem in terms of model-checking and controller synthesis such that the state to reach is expressed using a temporal logic. We have chosen to represent each agent using the formalism of Priced Timed Game Au-tomata (PTGA) and a set of knowledge. PTGA is an extension of Timed Automata that allows the representation of cost on actions and the definition of a goal (to reach or to avoid). This paper describes two algorithms designed to answer the planning problem on a network of agents and proposes practical implementation using model-checking tools that shows promising results on an agricultural application: a grassland based dairy production system.
Fichier principal
Vignette du fichier
ICDSST-2016-largouet.pdf (403.02 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01398660 , version 1 (17-11-2016)


Attribution - NonCommercial



Christine Largouët, Yulong Zhao, Marie-Odile Cordier. Searching for Cost-Optimized Strategies: An Agricultural Application. 2nd International Conference, ICDSST 2016, May 2016, Plymouth, United Kingdom. pp.31 - 43, ⟨10.1007/978-3-319-32877-5_3⟩. ⟨hal-01398660⟩
249 View
166 Download



Gmail Facebook X LinkedIn More