GdR I3 - Information - Interaction - Intelligence

AI, Simulation and Planning in High Autonomy Systems (AIS)
Conceptual Modeling and Simulation (CMS)

General Chairs: Bernard Zeigler, Norbert Giambiasi
Program Chair: Fernando Barros

Call for Participation

Scope

The 14th AIS conference provides an international forum for scientists, academicians, and professionals to present their latest research findings in the various fields of Artificial Intelligence, modeling, simulation, and their integration.

The 3rd Conceptual Modeling and Simulation Conference is devoted to the discussion of formal methods in modeling and simulation with an emphasis in formalisms for hybrid systems, agent mobility and structurally adaptive systems. Other topics included are formalism equivalence and model verification.

Authors are invited to submitt full papers presenting new research related to the conference topics. Submitted papers must be original and not currently under review by another conference or journal.

Topics of Interest

Papers related to theoretic modeling and simulation and their applications are solicited, but not limited to, on the following topics:

  • Theory and Methodology
  • DEVS Theory
  • Component-Based Modeling and Simulation
  • Dynamic Structure Modeling
  • Real-time Systems
  • Formalism Equivalence
  • Mobile Agents
  • Petri Nets
  • Formal Model Specification/Validation
  • Hybrid Systems Modeling
  • Model Interoperability
  • Simulation Life Cycle Methodology
  • Numerical Methods for Simulation          
  • Practices and Applications
  • Simulation of Mobile Agent Systems
  • Simulation of Self-Adaptive Systems
  • Web-based Simulation
  • Parallel & Distributed Simulation
  • Mobile Computer Networks M&S
  • High Level Architecture
  • Military Systems

Important Dates

  • Full paper Due: September 29th, 2006
  • Notification of Acceptance: October 28th, 2006
  • Camera-Ready Papers: November 30th, 2006

Submission

Please submit the full paper in PDF format (6 pages, double column, single spacing) according to the instructions in the multiconference’s site (http://www.lsis.org/imsm07).

Accepted papers will be published in the Conference Proceedings edited by the SCS. Best papers will be considered for publication in a special issue of a leading journal in the Modeling and Simulation area.

Special and Invited Sessions

Please mail to the organizers for more information.

  • Coupling simulation models with optimization methods
    The complexity, on one side of production systems (goods or services) and on the other side of the problems to be solved (algorithmic complexity, size, imposed time computing), make uneasy the use of traditional resolution approaches. It is thus essential to define and implement powerful optimization methods, to couple these methods, or even to couple them with simulation models.
    Organized by Michelle Chabrol and Michel Gourgand
  • Discrete Event and Hybrid Systems Modelling in Manufacturing and Transportation Domains
    This session, mixing theory and application, is concerned with models and formalisms based on Petri nets, automata and dioid algebra, used to represent manufacturing and transportation systems or traffic networks, in view of their modelling, simulation, performance evaluation, control and optimization. In particular, papers on timed, time, hybrid and continuous extensions of discrete event models are welcome. The objective is to present recent research findings related to these formalisms and the practical use of their associated tools.
    Organized by I. Demongodin and JC Hennet
  • Component-based software engineering (CBSE) techniques applied to simulation
    This session focuses on simulation software designs and architectures based on recent CBSE techniques and tools. Topics of interest include (but are not restricted to): Component frameworks; Component reuse; Hierarchical modeling; Programming languages and techniques (OOP, AOP, MOP, ...); Distributed components; Model transformations; Programming environments; Software factories; Source code management; Component verification & validation.
    Organized by Olivier Dalle and Philippe Mussi
  • Agent Based Modeling & Simulation, in Industry & Environment
    Research in the domain of multi-agent systems (MAS) is becoming more and more important because of the capacity of MAS to design and simulate complex systems, i.e. systems composed of many entities in interaction between themselves and with an external environment. MAS are used in many domains in which classical mathematical models are not available because either the dynamics are far from equilibrium, or the systems are open (creation and deletion of entities in the course of simulation), or emergent phenomena have to be explored, or the entities are heterogeneous (for example, the eco-socio-systems which combine ecological and social dynamics), or simply because they provide a more intuitive understanding. These sessions are intended to offer a forum for people interested in agent-based modeling and simulation to discuss methodologies, techniques in two main application fields: Industry and Environment.
    In industry the main goal of this session is to point out the current research works on applications and tools for modeling and simulation with MAS in industrials systems with MAS and to facilitate contacts and dialogue between scientists (in informatics, automatics and industrial engineering) and industry. Applications: modelling and/or simulation in: Control of industrial systems, Scheduling, Planning, Supply chain, Business Process, Transport and Logistics.
    In Environment, the main goal of this session is to stimulate contacts between practitioners of multi-agent systems on socio-ecosystems in order to exchange experiences on large-scale applications, modeling methodologies and management of multi-scale (both temporal and spatial),multi-resolution, and multiple viewpoints models. Applications: Environment management, Resource management, Social impact on environment, Political impact on environment, Environmental Decision Support Systems, Socio-eco-systems modeling.
    Organized by : Levent Yilmaz, Auburn University, USA & Bernard Espinasse, Université Paul Cézanne, France.

Program Committee (Draft)

  • Jacob Bahren, Oak Ridge National Laboratory, USA
  • Paul Barton, MIT, USA
  • António Brito, University of Oporto, Portugal
  • Agostino Bruzzone, University of Genoa, Italy
  • François Cellier, ETH, Switzerland
  • Michelle Chabrol, LIMOS, France
  • Hervé Coppier, LMBE, France
  • Maximiliano Cristia, Rosario National University, Argentina
  • Pedro D’Argenio, Cordoba National University, Argentina
  • I. Demongodin, Univ. Angers, France
  • Priscilla Elfrey, NASA, USA
  • Bernard Espinasse, LSIS, France
  • Jorge Figueiredo, Federal University of Campina Grande, Brazil
  • Cuneyd Firat, C2Tech, Turkey
  • Sumit Ghosh, University of Texas, USA
  • Michel Gourgand, LIMOS, France
  • J.C. Hennet, LAAS, France
  • David Hill, ISIMA, France
  • Mehmet Hocaoğlu, TUBITAK, Turkey
  • Xiaolin Hu , Georgia State University, USA
  • Moon Hwang, University of Arizona, USA
  • Syohei Ishizu, Aoyama Gakuin University, Japan
  • Cliff Joslyn, Los Alamos National Laboratory, USA
  • Sergio Junco, Rosario National University, Argentina
  • Franzisca Klügl, University of Würzburg, Germany
  • Ernesto Kofman, Rosario National University, Argentina
  • Axel Lehmann, Federal Armed Forces University Munique, Germany
  • Nuno Melão, Catholic University of Viseu, Portugal
  • Pieter Mosterman, Mathworks, USA
  • Tuncer Ören, University of Ottawa, Canada
  • Alessandra Orsoni, Kingston University, UK
  • Thorsten Pawletta, University of Wismar, Germany
  • Jerzy Rozenblit, University of Arizona, USA
  • Michael Syrjakow, University of Karlsruhe, Germany
  • Ryo Sato, University of Tsukuba, Japan
  • Maria Turnell, Federal University of Campina Grande, Brazil
  • Adeline Uhrmacher, University of Rostock, Germany
  • Gabriel Wainer, Carleton University, Canada
  • Levent Yilmaz, Auburn University, USA
  • Cecilia Zanni, LGeCo, France