Development of Self-organising Emergent Applications with Simulation-Based Numerical Analysis

The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-deterministic nature of such systems, it is hard to guarantee that the required macroscopic behaviour is achieved and maintained. Before even considering a self-organising emergent system in an industrial context, e.g. for Automated Guided Vehicle (AGV) transportation systems, such guarantees are needed. An empirical analysis approach is proposed that combines realistic agent-based simulations with existing scientific numerical algorithms for analysing the macroscopic behaviour. The numerical algorithm itself obtains the analysis results on the fly by steering and accelerating the simulation process according to the algorithm's goal. The approach is feasible, compared to formal proofs, and leads to more reliable and valuable results, compared to mere observation of simulation results. Also, the approach allows to systematically analyse the macroscopic behaviour to acquire macroscopic guarantees and feedback that can be used by an engineering process to iteratively shape a self-organising emergent solution.

[1]  Bruce Edmonds,et al.  The insufficiency of formal design methods - the necessity of an experimental approach for the understanding and control of complex MAS , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[2]  William H. Press,et al.  Numerical recipes in C. The art of scientific computing , 1987 .

[3]  Ioannis G. Kevrekidis,et al.  Equation-free: The computer-aided analysis of complex multiscale systems , 2004 .

[4]  Daniel Kunkle,et al.  Emergence of constraint in self-organizing systems. , 2004, Nonlinear dynamics, psychology, and life sciences.

[5]  Bruce Edmonds,et al.  Using the Experimental Method to Produce Reliable Self-Organised Systems , 2004, Engineering Self-Organising Systems.

[6]  Tom De Wolf,et al.  Decentralised Autonomic Computing: Analysing Self-Organising Emergent Behaviour using Advanced Numerical Methods , 2005, Second International Conference on Autonomic Computing (ICAC'05).

[7]  William H. Press,et al.  Book-Review - Numerical Recipes in Pascal - the Art of Scientific Computing , 1989 .

[8]  Ying Guo,et al.  Directed Self-assembly of 2-Dimensional Mesoblocks Using Top-Down/Bottom-Up Design , 2004, Engineering Self-Organising Systems.

[9]  Franco Zambonelli,et al.  Methodologies and Software Engineering for Agent Systems , 2004, Multiagent Systems, Artificial Societies, and Simulated Organizations.

[10]  Peter Wegner,et al.  Why interaction is more powerful than algorithms , 1997, CACM.

[11]  T. Wolf,et al.  Emergence and self-organisation: a statement of similarities and differences , 2004 .

[12]  Richard Anthony.  Emergence: a paradigm for robust and scalable distributed applications , 2004 .

[13]  H. Van Dyke Parunak,et al.  Engineering Swarming Systems , 2004 .

[14]  C. W. Gear,et al.  Equation-Free, Coarse-Grained Multiscale Computation: Enabling Mocroscopic Simulators to Perform System-Level Analysis , 2003 .

[15]  Salima Hassas,et al.  Self-Organisation: Paradigms and Applications , 2003, Engineering Self-Organising Systems.

[16]  H. Van Dyke Parunak,et al.  Agent-Based Modeling vs. Equation-Based Modeling: A Case Study and Users' Guide , 1998, MABS.

[17]  W. Wilson.  Resolving Discrepancies between Deterministic Population Models and Individual‐Based Simulations , 1998, The American Naturalist.

[18]  Radhika Nagpal,et al.  A Catalog of Biologically-Inspired Primitives for Engineering Self-Organization , 2003, Engineering Self-Organising Systems.