, Introduction au contrôle des systèmes temps-réel, European Journal of Automation, vol.39, pp.1-2, 2005.
, A theory of timed automata. Theoretical computer science, pp.183-235, 1994.
, A plot drainage network as a conceptual tool for the spatial representation of surface flow pathways in agricultural catchments, Computers and Geosciences, pp.276-288, 2009.
DOI : 10.1016/j.cageo.2008.09.003
URL : https://hal.archives-ouvertes.fr/hal-00626175
, Petri nets in performance analysis: An introduction, Lectures on Petri Nets I : Basic Models, pp.211-256, 1998.
DOI : 10.1007/3-540-65306-6_17
, Controller synthesis for timed automata, 1998.
, Analyse multidimensionnelle interactive de résultats de simulation d'un agro-système
, MODERATO: an object-oriented decision tool for designing maize irrigation schedules, Ecological Modelling, vol.137, issue.1, pp.43-60, 2001.
DOI : 10.1016/S0304-3800(00)00431-2
, A hydrological model dedicated to topography-based simulation of nitrogen transfer and transformation : rationale and application to the geomorphology -denitrification relationship, Hydrological Processes, vol.16, issue.2, pp.493-507, 2002.
, Trophic model of lagoonal communities in a large open atoll (Uvea, Loyalty islands, New Caledonia), Aquatic Living Resources, vol.17, issue.2
DOI : 10.1051/alr:2004024
, Trophic model of lagoonal communities in a large open atoll (Uvea, Loyalty islands, Aquatic Living Resources, vol.17, pp.151-162, 2004.
, A hierarchical partitioning method for optimizing irrigation strategies, Agricultural Systems, vol.80, issue.3, pp.235-253, 2004.
DOI : 10.1016/j.agsy.2003.07.004
, Priced Timed Automata: Algorithms and Applications, Lecture Notes in Computer Science, vol.3657, pp.162-182, 2005.
DOI : 10.1007/11561163_8
, Rule induction with CN2: Some recent improvements, pp.151-163, 1991.
DOI : 10.1007/BFb0017011
, Concur 2005 -concurrency theory. chapter Efficient on-the-fly algorithms for the analysis of timed games, pp.66-80, 2005.
, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986.
DOI : 10.1145/5397.5399
, A machine learning approach for evaluating the impact of land use and management practices on streamwater pollution by pesticides, Modelling, Simulation Society of Australia, and New Zealand MODSIM'05 (International Congress on Modelling and Simulation), 2005.
URL : https://hal.archives-ouvertes.fr/inria-00511101
, Sepatou : a decision support system for the management of rotational grazing in a dairy production, Proceedings of 2nd European Conference on Information Technology in Agriculture, pp.549-557, 1999.
, Simulation optimization of grazing management strategies, 2001.
, Peled. Model-Checking, 2002.
, Automatic synthesis of robust and optimal controllers ? an industrial case study, pp.90-104, 2009.
, A coefficient of agreement for nominal scales, Educational and Psychological Measurement, vol.20, issue.1, pp.37-46, 1960.
, Patur' in : le paturage des vaches laitieres assiste par ordinateur, Fourrages, vol.167, issue.2, pp.385-398, 2001.
, Knowledge representation and qualitative simulation of salmon redd functioning. Part I: qualitative modeling and simulation, Biosystems, vol.59, issue.2, pp.75-84, 2001.
DOI : 10.1016/S0303-2647(01)00100-9
, Integer programming. Series in decision and control, 1972.
, A decisionoriented model to evaluate the effect of land use and agricultural management on herbicide contamination in stream water. Environmental Modelling and Software, pp.1433-1446, 2009.
, Agrégation/abstraction de modèles pour l'analyse et l'organisation de réseaux de flux : application à la gestion des effluents d'élevage à la Réunion, 2003.
, Using timed automata and model-checking to simulate material flow in agricultural production systems???Application to animal waste management, Computers and Electronics in Agriculture, vol.63, issue.2, pp.183-192, 2008.
DOI : 10.1016/j.compag.2008.02.008
, A Formal Basis for the Heuristic Determination of Minimum Cost Paths, IEEE Transactions on Systems Science and Cybernetics, vol.4, issue.2, pp.100-107, 1968.
DOI : 10.1109/TSSC.1968.300136
, Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.193-244, 1994.
DOI : 10.1109/LICS.1992.185551
, Guided Controller Synthesis for Climate Controller Using Uppaal Tiga, Formal Modeling and Analysis of Timed Systems, 5th International Conference Proceedings, volume 4763 of Lecture Notes in Computer Science, pp.227-240, 2007.
DOI : 10.1007/978-3-540-75454-1_17
, Stochastic Estimation of the Maximum of a Regression Function, The Annals of Mathematical Statistics, vol.23, issue.3, pp.462-466, 1952.
DOI : 10.1214/aoms/1177729392
, Patrons de scenarios pour l'exploration qualitative d'un écosystème, Actes de Reconnaissance des Formes et Intelligence Artificielle (RFIA'10), 2010.
, Use Of Timed Automata And Model-Checking To Explore Scenarios On Ecosystem Models. Environmental Modelling and Software, pp.123-138, 2011.
, Scenario templates to analyse qualitative ecosystem models, International Congress on Modelling and Simulation (MODSIM'09), pp.2129-2135, 2009.
, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010
, A generic framework for scenario exercises using models applied to waterresource management. Environmental Modelling and Software, pp.125-133, 2012.
, A generic framework for simulating agricultural production systems, Modelling nutrient digestion and utilisation in farm animals, pp.13-21, 2011.
DOI : 10.3920/978-90-8686-712-7_1
, Farming system design to feed the changing world. A review Agronomy for Sustainable Development, pp.131-149, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01201345
, A simulation framework for the design of grassland-based beef-cattle farms, Environmental Modelling & Software, vol.26, issue.4, pp.371-385, 2011.
DOI : 10.1016/j.envsoft.2010.10.002
, Temporal logic patterns for querying dynamic models of cellular interaction networks, Bioinformatics, vol.24, issue.16, 2008.
DOI : 10.1093/bioinformatics/btn275
URL : https://hal.archives-ouvertes.fr/inria-00357805
, Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks, 18th European Conference on Artificial Intelligence, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00357802
, Mathematical Biology I : An Introduction, Interdisciplinary Applied Mathematics, vol.17, 2002.
, Advanced Data Mining Techniques, 2008.
, Ecomata appliqué à un écosystème halieutique de la mer du nord, 2011.
, Automated modeling of complex systems to answer prediction questions Supervisory control of a class of discrete event processes The control of discrete event systems, Proceedings of the IEEESBA06] P. Salles, B. Bredeweg, and S. Araújo. Qualitative models about stream ecosystem recovery : Exploratory studiesSMGOG + 11] J. Salmon-Monviola, C. Gascuel-Odoux, F. Garcia, F. Tortrat, M.-O, pp.201-260206, 1987.
, Simulating the effect of techniques and environmental constraints on the spatio-temporal distribution of herbicide applications and stream losses Mining simulation data by rule induction to determine critical source areas of stream water pollution by herbicides, TN06] D. Tulllos and M. Neumann. A qualitative model for characterizing effects of anthropogenic activities on benthic communities. Ecological Modeling, pp.382-39475, 2006.
, Thèse doctorat Informatique Rennes 1 Building Actions From Classification Rules Knowledge and Information Systems (KAIS) journal A new approach to modelling the dynamics of oospore germination in plasmopara viticola Kronos : A verification tool for real-time systems (kronos user's manual release 2.2), Yov98] S. Yovine. Model Checking timed automata Embedded Systems Largouët, and M.-O. Cordier. EcoMata : Un logiciel d'aide à la décision pour améliorer la gestion des écosystèmes. Ingénierie des Systèmes d'Information (ISI), pp.267-298113, 1997.
, Une simulation d'une exploitation d'un troupeau de 30 vaches laitières adultes sur six parcelles de prairie avec le 15 mars comme date du début de la simulation et pour une durée de 90 jours (partiellement affiché) Les mises au pâturage : du 15/03 au 20/03 sur la parcelle 1, sur la parcelle 6. Les applications d'engrais : 40 kg N/ha respectivement sur la parcelle 1 le 22/03, sur la parcelle 2 le 26/03, p.22
, automate de gauche convertit un clic et deux clics sur un bouton en deux messages de synchronisation TurnOn et TurnOff. L'automate de droite reçoit ces messages pour déclencher et couper l'alarme, p.39
, L'utilisateur entre le réseau trophique, les perturbations environnementales et les stratégies de pêche sur l'éditeur d'écosystème . Le générateur d'automate prend ces informations comme entrées et fournit en sortie un réseau d'automates modélisant l'écosystème. L'utilisateur lance ensuite des requêtes à l'aide des scénarios sur le lanceur de requête, p.52
, Never " invoquée pour une situation où le maquereau est à l'état qualitatif Danger, p.55
, WhichDate " invoquée pour une situation où le maquereau est à l'état qualitatif Danger, p.56
, WhichStates " invoquée pour la date 30 années, p.56
, Trois états qualitatifs : Stopped, Normal, High. Intervalle entre deux changements d'état qualitatif : multiple de six unités de temps, p.65