Agritrop
Home

Using real-time model-checking tools in agricultural planning : application to livestock waste management

Helias Arnaud, Guerrin François, Steyer Jean-Philippe. 2004. Using real-time model-checking tools in agricultural planning : application to livestock waste management. In : MCPL 2004, 3rd Conference on Management and Control of Production and Logistics, 3-5 November 2004, Santiago de Chile. IFAC. s.l. : s.n., 8 p. Conference on Management and Control of Production and Logistics. 3, Santiago de Chile, Chili, 3 November 2004/4 November 2004.

Paper without proceedings
Full text not available from this repository.

Abstract : This paper addresses the dynamical representation of a network made of a set of waste production units (i.e., livestock farms) needing to transfer their wastes to a set of consumption units (i.e., crops onto which wastes may be spread over). The dynamics of stocks (taken as continuous fluxes with imprecise parameters) should thus be coupled with management decisions or actions (taken as discrete events). Various temporal constraints determine the possibilities of waste transfers. These constraints, for each production or consumption unit, are modelled as a timed automaton. Possible allocation of wastes is then analysed by using model-checking techniques applied to the global timed automaton resulting from the product of all the elementary timed automata. For this, we used the Kronos software based on the Timed Computational Tree Logic (TCTL). Our approach is illustrated on the functioning of a typical farming system made of livestock and crop enterprises in the context of the Reunion Island. (Résumé d'auteur)

Mots-clés Agrovoc : Déchet agricole, Fumier, Lisier, Amendement organique, Utilisation des déchets, Affectation de ressources, Aide à la décision, Modèle, Application des ordinateurs

Classification Agris : Q70 - Processing of agricultural wastes
U10 - Mathematical and statistical methods

Auteurs et affiliations

  • Helias Arnaud, INRA (FRA)
  • Guerrin François, CIRAD-TERA-REV (REU)
  • Steyer Jean-Philippe, INRA (FRA)

Autres liens de la publication

Source : Cirad - Agritrop (https://agritrop.cirad.fr/529132/)

View Item (staff only) View Item (staff only)

[ Page générée et mise en cache le 2019-10-04 ]