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.
KeywordsMacroscopic Property Macroscopic Behaviour Automate Guide Vehicle Macroscopic Variable Automate Guide Vehicle System
Unable to display preview. Download preview PDF.
- 1.Egemin, DistriNet: Emc2: Egemin Modular Controls Concept., (IWT-funded project with participants: Egemin and DistriNet (Started on 1 March 2004), ending on 28 February (2006), http://www.egemin.be (research group of K.U.Leuven)
- 2.De Wolf, T., Holvoet, T.: Emergence and Self-Organisation: a statement of similarities and differences. In: Proceedings of the Second International Workshop on Engineering Self-Organising Applications, New York, USA, pp. 96–110 (2004)Google Scholar
- 4.Edmonds, B., Bryson, J.J.: The Insufficiency of Formal Design Methods - the necessity of an experimental approach for understanding and control of complex MAS. In: Proceedings of the 3rd Internation Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2004), pp. 938–945. ACM Press, New York (2004)Google Scholar
- 6.Anthony, R.J.: Emergence: A Paradigm for Robust and Scalable Distributed Applications. In: Proceedings of IEEE International Conference on Autonomic Computing (ICAC 2004), New York, pp. 132–139 (2004)Google Scholar
- 8.Wilson, W.: Resolving Discrepancies between Deterministic Population Models and Individual-Based Simulations. American Naturalist 151, 116–134 (1998)Google Scholar
- 10.Kevrekidis, I.G., Gear, C.W., Hyman, J.M., Kevrekidis, P.G., Runborg, O., Theodoropoulos, C.: Equation-free, coarse-grained multiscale computation: enabling microscopic simulators to perform system-level analysis. Communications in Mathematical Sciences 1, 715–762 (2003) available, at http://www.intlpress.com/CMS/ MathSciNetCrossRefMATHGoogle Scholar
- 12.Guerin, S., Kunkle, D.: Emergence of Constraint in Self-Organizing Systems. NDPLS: Nonlinear Dynamics, Psychology, and Life Sciences 8, 131 (2004)Google Scholar
- 13.De Wolf, T., Samaey, G., Holvoet, T., Roose, D.: Decentralised Autonomic Computing: Analysing Self-Organising Emergent Behaviour using Advanced Numerical Methods. In: Proceedings of IEEE International Conference on Autonomic Computing (ICAC 2005), Seattle, USA (2005)(accepted) Google Scholar
- 14.Poulton, G., Guo, Y., James, G., Valencia, P., Gerasimov, V., Li, J.: Directed Self-Assembly of 2-Dimensional Mesoblocks using Top-down/Bottom-up Design. In: Brueckner, S.A., Di Marzo Serugendo, G., Karageorgos, A., Nagpal, R. (eds.) ESOA 2005. LNCS (LNAI), vol. 3464, pp. 137–149. Springer, Heidelberg (2005)CrossRefGoogle Scholar
- 15.Parunak, H.V.D., Brueckner, S.A.: Engineering Swarming Systems. In: Bergenti, F., Gleizes, M.P., Zambonelli, F. (eds.) Methodologies and Software Engineering for Agent Systems. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 11. Springer, Heidelberg (2004)Google Scholar