Modelling Complex Systems by Integration of Agent-Based and Dynamical Systems Models

Existing models for complex systems are often based on quantitative, numerical methods such as Dynamical Systems Theory (DST) [Port and Gelder 1995]. Such approaches often use numerical variables to describe global aspects and specify how they affect each other over time. An advantage of such approaches is that numerical approximation methods and software are available for simulation.

[1]  Tibor Bosse,et al.  LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn , 2005, IEA/AIE.

[2]  W. Ashby.  Design for a Brain , 1954 .

[3]  T. Gelder,et al.  Mind as Motion: Explorations in the Dynamics of Cognition , 1995 .

[4]  H. Wong-Toi,et al.  Symbolic analysis of hybrid systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[5]  Jan Treur,et al.  Verifying Interlevel Relations Within Multi-Agent Systems , 2006, ECAI.

[6]  Tibor Bosse,et al.  Formalisation and Analysis of the Temporal Dynamics of Conditioning , 2005, AOSE.

[7]  Peter D. Richardson,et al.  Numerical Methods in Engineering and Science , 1987 .

[8]  J. M. Watt.  Numerical Initial Value Problems in Ordinary Differential Equations , 1972 .

[9]  Jan Treur,et al.  Agent-Based Defeasible Control in Dynamic Environments , 2002 .

[10]  Tibor Bosse,et al.  Integrating Agent Models and Dynamical Systems , 2007, DALT.

[11]  Zohar Manna,et al.  Verifying Hybrid Systems , 1992, Hybrid Systems.

[12]  Tibor Bosse,et al.  Specification and Verification of Dynamics in Cognitive Agent Models , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[13]  Jon C. Helton,et al.  Numerical methods in engineering and science , 1986 .

[14]  Alan Bundy,et al.  Eco-Logic - Logic-Based Approaches to Ecological Modeling , 1991, Logic programming.

[15]  A. Morse,et al.  Basic problems in stability and design of switched systems , 1999 .

[16]  Tibor Bosse,et al.  A Temporal Trace Language for the Formal Analysis of Dynamic Properties , 2005 .

[17]  A. Nerode,et al.  Logics for hybrid systems , 2000, Proceedings of the IEEE.

[18]  Tibor Bosse,et al.  A Language and Environment for Analysis of Dynamics by Simulation , 2005, Int. J. Artif. Intell. Tools.