Verifying agent-based models with steady-state analysis

被引:3
作者
Gentile, James E. [1 ]
Davis, Gregory J. [1 ,2 ]
Rund, Samuel S. C.
机构
[1] Univ Notre Dame, Dept Psychol, Notre Dame, IN 46556 USA
[2] Univ Notre Dame, Dept Comp Sci & Engn, Notre Dame, IN 46556 USA
关键词
Verification; Agent-based modeling; Steady-state analysis; MALARIA;
D O I
10.1007/s10588-012-9128-8
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Agent-based modeling has been well received in the simulation community. Complex systems are simulated by many autonomous agents whose behavior is defined by a conceptual model. However, the model can be improperly implemented or misinterpreted resulting in an implementation that does not reflect the conceptual rules. It is imperative that the implementation's function be tested against the model's expected outcome. In this paper, we present certain steady-state techniques that can be used to verify the operation of agent-based simulations. These methods are introduced and then applied to an ecological model which simulates reproductive dynamics of mosquitoes.
引用
收藏
页码:404 / 418
页数:15
相关论文
共 23 条
[1]   On an initial transient deletion rule with rigorous theoretical support [J].
Awad, Hernan P. ;
Glynn, Peter W. .
PROCEEDINGS OF THE 2006 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2006, :186-191
[2]  
Axtell R., 1996, Computational & Mathematical Organization Theory, V2, P123, DOI [DOI 10.1007/BF01299065, 10.1007/BF01299065]
[3]  
Balci O., 2001, ACM T MODEL COMPUT S, V7, P352, DOI DOI 10.1145/508366.508369
[4]   Verifying multi-agent programs by model checking [J].
Bordini, RH ;
Fisher, M ;
Visser, W ;
Wooldridge, M .
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2006, 12 (02) :239-256
[5]   AN ANALYSIS OF EMERGING BEHAVIORS IN LARGE-SCALE QUEUEING-BASED SERVICE SYSTEMS USING AGENT-BASED SIMULATION [J].
Chan, Wai Kin .
2008 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2008, :872-878
[6]   Reducing the burden of anemia in infants and young children in malaria-endemic countries of Africa: From evidence to action [J].
Crawley, J .
AMERICAN JOURNAL OF TROPICAL MEDICINE AND HYGIENE, 2004, 71 (02) :25-34
[7]  
Gentile James E., 2011, International Journal of Agent Technologies & Systems, V3, P49, DOI 10.4018/jats.2011070104
[8]  
Grimm Volker, 2002, Natural Resource Modeling, V15, P23
[9]   Predicting the impact of insecticide-treated bed nets on malaria transmission: the devil is in the detail [J].
Gu, Weidong ;
Novak, Robert J. .
MALARIA JOURNAL, 2009, 8
[10]   Agent-based modelling of mosquito foraging behaviour for malaria control [J].
Gu, Weidong ;
Novak, Robert J. .
TRANSACTIONS OF THE ROYAL SOCIETY OF TROPICAL MEDICINE AND HYGIENE, 2009, 103 (11) :1105-1112