Curriculum Vitae 1 Etat civil Nom : Hilaire Prénom : Vincent Date et lieu de naissance : 15/12/1972 à Béziers (34) Situation de famille : marié e-mail : vincent.hilaire@utbm.fr 2 Diplômes Baccalauréat C, mention AB, option informatique, en 1990, DUT informatique en 1992, DEUG Mathématiques Appliquées et Sciences Sociales en 1993, IUP Génie Mathématique et Informatique : Licence mention B en 1994, Maîtrise mention AB en 1995. DEA Informatique, mention B en 1996, Laboratoire d Informatique de Robotique et de Microélectronique de Montpellier, Doctorat en Informatique. mention très honorable, en 2000, Laboratoire de Recherche en Informatique de Sévenans (LaRIS). 3 Thèse «Vers une approche de spécification, de prototypage et de vérification de Systèmes Multi-Agents» soutenue le 26 janvier 2000 devant le jury composé de François Charpillet Examinateur Chargé de Recherche INRIA, Nancy Jacques Ferber Rapporteur Professeur à l Université de Montpellier II Hervé Guyennet Examinateur Professeur à l Université de Franche Comté Abderrafiâa Koukam Co-directeur Maître de Conférences à l UTBM Jean-Pierre Müller Président du jury Professeur à l Université de Neuchâtel Mohamed Naïmi Directeur Professeur à l UTBM Kokou Yétongnon Rapporteur Professeur à l Université de Bourgogne 4 Publications 4.1 Publications dans des revues ou chapitres de livres [R1] P. Gruer, V. Hilaire, and Abder Koukam. approche multi-formalismes pour la spécification des systèmes multi-agents, volume Organisation et applications des SMA, chapter 1. Hermès, 2002 1
[R2] P. Gruer, V. Hilaire, Abder Koukam, and Krzysztof Cetnarowicz. A formal framework for multi-agent systems analysis and design. Expert Systems with Applications, 23, December 2002 [R3] A Koukam, B. Mazigh, P. Gruer, and V. Hilaire. A multiview approach to modeling and analysis of discrete event systems. System Analysis - Modelling - Simulation, 43(6) :721 740, 2003 [R4] P. Gruer, V. Hilaire, J. Kozlak, and A. Koukam. A multi-agent approach to modeling and simulation of transport on demand problem, volume Artificial intelligence and security in computing systems, pages 119 126. Kluwer Academic Publishers, 2003 [R5] P. Gruer, V. Hilaire, and Abder Koukam. Heterogeneous formal specification based on object-z and state charts : semantics and verification. Journal of Systems and Software, 70(1-2) :95 105, 2004 [R6] C. Bernon, V. Chevrier, V. Hilaire, and P. Marrow. Applications of self-organising multi-agent systems : An initial framework for comparison. Informatica, 30(1) :73 84, 2006 [R7] Jaroslaw Koźlak, Jean-Charles Créput, Vincent Hilaire, and Abder Koukam. Multiagent approach to dynamic pick-up and delivery problem with uncertain knowledge about future transport demands. Fundamenta Informaticae, 71(1), 2006 [R8] Vincent Hilaire, Pablo Gruer, Abder Koukam, and Olivier Simonin. Formal specification approach of role dynamics in agent organisations : Application to the satisfaction-altruism model. International Journal of Software Engineering and Knowledge Engineering, 2006 [R9] S Rodriguez, V Hilaire, P Gruer, and A Koukam. A formal holonic framework with proved self-organizing capabilities. International Journal of Cooperative Information Systems, 16(2), 2007 4.2 Publications dans des conférences avec comités de lecture [C1] F. Delclaux and V. Hilaire. Premiers essais de détermination du coefficient de ruissellement decennal a l aide de regles floues. In L hydrologie tropicale : géoscience et outil pour le developpement, number 238, pages 413 424. International Association of Hydrological Science Publ, 1995 T. Lissajoux, V. Hilaire, A. Koukam, and A. Caminada. Genetic Algorithms as Prototyping Tools for Multi-Agent Systems : Application to the Antenna Parameter Setting Problem. In S. Albayrak and F. J. Garijo, editors, Lecture Notes in Artificial Intelligence, number 1437 in LNAI. Springer Verlag, 1998 [C3] V. Hilaire, T. Lissajoux, and A. Koukam. AgentCharts : An Operational Model For Multi-Agent Systems. In International Conference on Advanced Computer Systems ACS 98, 1998 [C4] V. Hilaire, T. Lissajoux, and A. Koukam. Towards an executable specification of multi-agent systems. In Joaquim Filipe and José Cordeiro, editors, International Conference on Enterprise Information Systems 99. Kluwer Academic Publisher, 1999 [C5] Belhassene Mazigh, Vincent Hilaire, Pablo Gruer, and Abder Koukam. Agent oriented approach for modeling and simulation of productive organizations. In 10th DAAAM International Symposium «International Manufacturing & Automation : Past-Present-Future». DAAAM, 1999 2
[C6] Belhassene Mazigh, Abder Koukam, Vincent Hilaire, and Pablo Gruer. Combining multi-agents approach with high level petri nets for simulation of productive organizations. In IFAC Workshop on Multi Agent Systems in Production. IFAC, 1999 [C7] R. Campero, P. Gruer, V. Hilaire, and P. Rovarini. Modeling and simulation of agentoriented systems : an approach based on object-z and the statecharts. In Christoph Urban, editor, Agent Based Simulation, 2000 [C8] V. Hilaire, T. Lissajoux, A. Koukam, and J.C. Creput. A multi-agent approach to adaptive mesh generation. In Agent Based Simulation, 2000 [C9] Pablo Gruer, Vincent Hilaire, and Abder Koukam. Verification of Object-Z Specifications by using Transition Systems. In T. S. E. Maibaum, editor, Fundamental Aspects of Software Engineering, number 1783 in Lecture Notes in Computer Science. Springer Verlag, 2000 [C10] Pablo Gruer, Vincent Hilaire, and Abder Koukam. an Approach to the Verification of Multi-Agent Systems. In International Conference on Multi Agent Systems. IEEE Computer Society Press, 2000 [C11] Vincent Hilaire. Formal specification and prototyping of organizational based multiagent systems. In International Conference on the Design of Cooperative Systems, Lecture Notes in Computer Science. Springer Verlag, 2000 [C12] Vincent Hilaire, Abder Koukam, Pablo Gruer, and Jean-Pierre Müller. Formal specification and prototyping of multi-agent systems. In Andrea Omicini, Robert Tolksdorf, and Franco Zambonelli, editors, Engineering Societies in the Agents World, number 1972 in Lecture Notes in Artificial Intelligence. Springer Verlag, 2001 [C13] Vincent Hilaire, Abder Koukam, Pablo Gruer, and Jean-Pierre Müller. Vers une méthodologie formelle de spécification de systèmes multi-agents. In Journées Francophones IAD & SMA. Hermes, 2000 [C14] P. Gruer, V. Hilaire, and Abder Koukam. Multi-agent approach to modeling and simulation of urban transportation systems. In IEEE Systems, Man, and Cybernetics Conference, 2001 [C15] P. Gruer, V. Hilaire, A. Koukam, and S. Hayat. a methodology based on multiples views for multi-agent systems in simulation, application to the transportation domain. In 13th European Simulation Symposium, 2001 [C16] K. Cetnarowicz, P. Gruer, V. Hilaire, and A. Koukam. A formal specification of m- agent architecture. In 2nd International Workshop of Central and Eastern Europe on Multi-Agent Systems, Lecture Notes in Artificial Intelligence. Springer Verlag, 2001 [C17] V. Hilaire, P. Gruer, A. Koukam, and A El Moudni. Engineering soccer robots behaviours. In 2002 FIRA Robot Congress, Seoul, 2002. KAIST Press [C18] A. Berdai, P. Gruer, V. Hilaire, and A. Koukam. A multi-agent model for the estimation of passenger waiting time in public transportation networks. In 2nd WSEAS Int. Conf. on Simulation, Modelling and Optimization (ICOSMO 2002), 2002 [C19] V. Hilaire, A. Koukam, and P. Gruer. a multi-agent system featuring virtual character in play for theatre. In Proceedings of the AgentDay 02 workshop, 2002 [C20] P. Gruer, V. Hilaire, J. Kozlak, and Abder Koukam. Application of multi-agent simulations to solve a transport on demand problem. In Ninth International Conference on Advanced Computer Systems, Sczeczin, 2002 3
[C21] V. Hilaire, A. Koukam, and P. Gruer. A mechanism for dynamic role playing. In Agent Technologies, Infrastructures, Tools and Applications for E-Services, number 2592 in Lecture Notes in Artificial Intelligence. Springer Verlag, 2002 [C22] S. Rodriguez and V. Hilaire. An architecture for multi-agent systems in the robotsoccer field. In Proceedings of the AgentDay 02 workshop, 2002 [C23] Sebastian Rodriguez, Vincent Hilaire, and Abderrafiaa Koukam. Towards a methodological framework for holonic multi-agent systems. In Proceedings of the ESAW 03 workshop, pages 179 185, 2003 [C24] M. BAKHOUYA, S. RODRIGUEZ, V. HILAIRE, A. KOUKAM, and J. GABER. Intelligent immune-based system for autonomous soccer robots. In FIRA Robot World Congress Austria, 2003 [C25] Jaroslaw Kozlak, Jean-Charles Creput, Vincent Hilaire, and Abder Koukam. Multiagent environment for dynamic transport planning and scheduling. In Marian Bubak, Geert Dick van Albada, and et al. Peter M. A. Sloot, editors, Computational Science, number 3038 in Lecture Notes in Computer Science, pages 638 645. Springer Verlag, 2004 [C26] Vincent Hilaire, Olivier Simonin, Abder Koukam, and Jacques Ferber. A formal framework to design and reuse agent and multiagent models. In James Odell, P. Giorgini, and Jorg Muller, editors, Agent Oriented Software Engineering, number 3382 in LNCS 3382. Springer, 2005 [C27] Sebastian Rodriguez, Vincent Hilaire, and Abder Koukam. Formal specification of holonic multi-agent systems framework. In Vaidy S. Sunderam, Geert Dick van Albada, Peter M. A. Sllot, and Jack J. Dongarra, editors, Computational Science - ICCS 2005, number 3516 in Lecture Notes in Computer Science, pages 719 726. Springer, 2005 [C28] Sebastian Rodriguez, Vincent Hilaire, and Abder Koukam. Holonic modeling of environments for situated multi-agent systems. In Danny Weyns, H Van Dyke Parunak, and Fabien Michel, editors, Environments for Multi-Agent Systems II, number 3830 in Lecture Notes in Artificial Intelligence, pages 18 31. Springer, 2006 [C29] Sebastian Rodriguez, Vincent Hilaire, and Abder Koukam. Multi-agent coordination is arbitration from a super-holon point of view. In proceedings of MA4CS 05, 2005 [C30] Sebastian Rodriguez, Vincent Hilaire, and Abder Koukam. An holonic approach to model and deploy large scale simulations. In proceedings of MABS 06, 2006 [C31] Davy Monticolo, Vincent Hilaire, Abder Koukam, and Sebastien Meunier. An approach for building project memories to facilitate design process in a concurrent engineering context. In proceedings of Concurrent Engineering 06, 2006 [C32] Davy Monticolo, Samuel Gomes, Vincent Hilaire, and Patrick Serrafero. A multiagent architecture to synthesize industrila knowledge from a plm system. In PLEDM 06, 2006 [C33] Sebastian Rodriguez, Nicolas Gaud, Vincent Hilaire, and Abder Koukam. Modeling holonic systems with an organizational approach. In proceedings of EUMAS 06, 2006 [C34] Sebastian Rodriguez, Nicolas Gaud, Vincent Hilaire, Stéphane Galland, and Abder Koukam. An analysis and design concept for self-organization in holonic mas. In S Brueckner, S Hassas, M Jelasity, and D Yamins, editors, Engineering Self- Organising Systems, number 4335 in LNAI, pages 15 27. 2007 4
[C35] Davy Monticolo, Vincent Hilaire, Abder Koukam, and Samuel Gomes. An e- groupware based on multi agents systems for knowledge management. In DEST 07, 2007 [C36] Davy Monticolo, Vincent Hilaire, Patrick Serrafero, and Samuel Gomes. Knowledge capitalization process linked to the design process. In KMOM 07, 2007 5 Encadrement 5.1 Thèse D. Monticolo «Approche multi-agents pour la capitalisation des connaissances du processus de conception de produits» 1ère année de thèse, pourcentage d encadrement : 40 % Directeur : A. Koukam. S. Rodriguez «From Analysis to Design of Holonic Multi-Agent Systems : a Framework, Methodological Guidelines and Applications» thèse soutenue le 14/12/05, pourcentage d encadrement : 70 %. Directeur : A. Koukam. 5.2 Diplôme d Etude Approfondies J Jolly «Approche de reconnaissance de stratégies de robots footballeurs par champs de potentiels». DEA IAP de Besançon, 2004, pourcentage d encadrement : 30 %. F Tolba, «Architecture réactive pour la supervision d une équipe de robots footballeurs». DEA IAP de Besançon, 2003, pourcentage d encadrement : 40 %. S. Rodriguez, "Approches multi-agent en robotique collective, application aux robots footballeurs". DEA IAP de Besançon, 2002, pourcentage d encadrement : 50 %. 5.3 Masters de recherche délivrés par des universités étrangères Ces stages ont été effectués au sein de notre laboratoire en accord avec l université mentionnée Luis Rosa Soler, An Immune-System based Multiagent System for Solving the Transport on Demand problem. Master de l université de Tucuman, Argentine, 2004, pourcentage d encadrement : 100 %. Lukasz Nowak, Coordinating behavior-based intelligent mobile robot soccer using an immunized reinforcement adaptive learning mechanism in Multi Agent environment. Master, de l AGH, Pologne, 2004, pourcentage d encadrement : 100 % Tomacz Rodecky, Développement de réseaux temporels simples pour système multi-robots, Master de l AGH, Pologne, 2002, pourcentage d encadrement : 100 % 5
6 Activités administratives et Responsabilités collectives Responsable des ressources bibliographiques en informatique pour la bibliothèque de l UTBM, Membre du conseil du laboratoire SeT septembre 2000-septembre 2004, Membre nommé du comité d évaluation des projets «nouvelles technologies éducatives» de l UTBM, Vice-président de la comission de spécialistes 27-61-62-63 de l UTBM avril 2003-mai 2005 Responsable de la filière d ingénieurs : Ingénierie des Logiciels et de la Connaissance depuis février 2003. 7 Responsabilités liées à la recherche - Responsable de l axe de recherche : Méthodologies de spécification et de vérification de Systèmes Multi-Agents Cet axe regroupe depuis septembre 2002 trois maîtres de conférences et un professeur des universités. L activité de recherche de l axe consiste à proposer une approche de : spécification formelle, validation et vérification pour l analyse et la conception de Systèmes Multi-Agents [R1,R2]. Pour cela nous introduisons un cadre méthodologique fondé sur les concepts de rôle, d interaction et d organisation [C4]. La modélisation s effectue en considérant deux niveaux d abstraction. Le premier (niveau organisationnel) considère le système comme un ensemble d organisations, chacune étant composée d entités abstraites appelées rôles et de leurs interactions. Une organisation représente le système selon un point de vue donné, relativement à un objectif de modélisation. Le second niveau, qualifié d agentification, introduit les agents comme des entités pouvant encapsuler des rôles. Les interactions entre les rôles deviennent alors des interactions entre les agents qui mettent en œuvre ces rôles. D un point de vue spécification formelle, nous proposons une approche multiformalismes fondée sur la composition de spécifications exprimées en Object-Z et statecharts [R5]. Chaque concept du modèle est spécifié par une classe Object-Z pouvant intégrer un statechart. On a ainsi la possibilité, d une part, de définir de nouveaux concepts au niveau modèle, d autre part, d hériter de ces classes pour définir ses propres rôles, interactions et organisations. La validation repose sur le prototypage et la simulation à l aide de l environnement Statemate [C9]. Cet environnement permet d exécuter et d animer les spécifications statecharts aussi bien au niveau organisation qu au niveau agentification. Concernant la vérification, nous avons proposé une approche fondée sur la définition d une sémantique commune aux deux formalismes de spécification. Cette approche permet la vérification par évaluation sur un modèle (model checking) [C10] et la preuve de théorèmes grâce à la transformation des spécifications par- 6
tielles (exprimées en Object-Z et statecharts) en systèmes de transition [R5]. Cette approche nous a permis d analyser et de concevoir des Systèmes Multi- Agents pour des domaines d applications variés : optimisation et simulation de problèmes liés au transport [R4,C2,C8], architecture de contrôle intelligent de robots [C1,C7,C9], animation de personnages virtuels [C4] et optimisation de problèmes liés aux réseaux radiomobiles [C6]. Depuis 2003 nous travaillons sur l ingénierie d architectures d agents à base de systèmes immunitaires [C7,C12] et de holons [C10,C11,C12]. - Correspondant du réseau d excellence européen AgentLink Correspondant de AgentLink II (à l heure actuelle AgentLink III) depuis septembre 2000. Membre des groupes de travail Self-Organized Systems (publication d un article dans la revue Informatica en 2006 avec les membres du groupe) et Agent Oriented Software Engineering. - Coordinateur du groupe de travail "Système Daedalus" Ce groupe a réalisé le système multi-agents Daedalus pour l animation de personages virtuels dans la pièce de théâtre Orgia. Cette pièce a fait deux tournée en France 2000-2001 et 2001-2002. Publications liées au projet : C7 - Coordinateur du projet Robotec Coordinateur, 2001-2002, du projet robotec qui vise la mise en place d une équipe de robots mobiles pour la coupe du monde de robots footballeurs 2002 organisée par la FIRA en Corée du sud (résultat 15/32). Publications liées au projet : C5, C9,C12 - Organisation de conférences membre des comités de programme du workshop AgentDay 2002 et de la Journée Technique "Ingénierie des Systèmes de Mobilité et de Transport" en 2004. - Revue d articles Journées Francophones Intelligence Artificielle Distribuée et Système Multi-Agents 2002, International Conference on Information Systems and Engineering (ISE) 2002, IEEE International Symposium on Signal Processing and Information technology (ISSPIT) 2002, International Conference on Information Systems and Engineering 2003, Genetic and Evolutionnary Computation COnference 2004. 7