Résultats pour Auteur : "Steyer, Jean-Philippe"

Using timed automata and model-checking to simulate material flow in agricultural production systems : Application to animal waste management. Helias Arnaud, Guerrin François, Steyer Jean-Philippe. 2008. Computers and Electronics in Agriculture, 63 (2) : 183-192.

Abstraction of continuous system trajectories into timed automata. Helias Arnaud, Guerrin François, Steyer Jean-Philippe. 2004. e-STA, 1 (3), 7 p.

Simulation de l'approvisionnement d'une unité de traitement de lisier de porc par plusieurs unités de production. Modélisation par équations différentielles ordinaires et programmation linaire. Helias Arnaud, Guerrin François, Lopez Pierre, Steyer Jean-Philippe. 2003. In : Modélisation des flux de biomasse et des transferts de fertilité : cas de la gestion des effluents d'élevage à l'île de la Réunion. Actes du séminaire, 19-20 juin 2002, Montpellier, France. Restitution des travaux de l'ATP 99/60. Guerrin François (ed.), Paillat Jean-Marie (ed.). CIRAD. Montpellier : CIRAD ISBN 2-87614-543-X Séminaire de l'ATP 99/60, Montpellier, France, 19 Juin 2002/20 Juin 2002.

Utilisation des outils de model-checking en temps réel pour la représentation de pratiques de gestion des effluents d'élevage. Helias Arnaud, Guerrin François, Steyer Jean-Philippe. 2006. In : 4ème rendez-vous de Rencontres scientifiques sciences et technologies de l'information et de la communication (STIC) pour l'environnement, 5-7 avril 2006, Narbonne, France. INRA. s.l. : s.n., 8 p. Rencontres Scientifiques Sciences et Technologies de l'Information et de la Communication (STIC) pour l'Environnement. 4, Narbonne, France, 5 Avril 2006/7 Avril 2006.

Abstracting continuous system behaviours into timed automata : application to diagnosis of an anaerobic digestion process. Helias Arnaud, Guerrin François, Steyer Jean-Philippe. 2004. In : 15th International Workshop on Principales of Diagnosis, 23-25 June 2004, Carcassonne, France. s.l. : s.n., 6 p. International Workshop on Principales of Diagnosis, Carcassonne, France, 23 Juin 2004/25 Juin 2004.

Abstraction of continuous system trajectories into timed automata. Helias Arnaud, Guerrin François, Steyer Jean-Philippe. 2004. In : Wodes 04, 7th Workshop on Discrete Event systems, 22-24 September 2004, Reims, France. s.l. : s.n., 6 p. IFAC Workshop on Discrete Event Systems. 7, Reims, France, 22 Septembre 2004/24 Septembre 2004.

Using real-time model-checking tools in agricultural planning : application to livestock waste management. Helias Arnaud, Guerrin François, Steyer Jean-Philippe. 2004. 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 Novembre 2004/4 Novembre 2004.

Représentation par automates temporisés de contraintes temporalles : cas de la fertilisation organique des cultures de l'île de la Réunion. Helias Arnaud, Guerrin François, Steyer Jean-Philippe. 2003. In : Conférence francophone de modélisation et Simulation : organisation et conduite d'activités dans l'industrie et les services, 23 au 25 avril 2003, Toulouse, France. s.l. : s.n., 8 p. Conférence Francophone de Modélisation et Simulation : Organisation et Conduite d'Activités dans l'Industrie et les Services (MOSIM'03). 4, Toulouse, France, 23 Avril 2003/25 Avril 2003.

Abstraction en modèles discrets de modèles d'évolution de stocks continus : application à la gestion des effluents d'élevage. Helias Arnaud, Guerrin François, Harmand J., Steyer Jean-Philippe. 2002. In : Système d'information modélisation, optimisation commande en génie des procédés, 24-25 octobre 2002, Toulouse, France. s.l. : s.n., 6 p. SIMO 2002, Toulouse, France, 24 Octobre 2002/25 Octobre 2002.