Verifying agent-based models with steady-state analysis

被引:0
作者
James E. Gentile
Gregory J. Davis
Samuel S. C. Rund
机构
[1] University of Notre Dame,
来源
Computational and Mathematical Organization Theory | 2012年 / 18卷
关键词
Verification; Agent-based modeling; Steady-state analysis;
D O I
暂无
中图分类号
学科分类号
摘要
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
页数:14
相关论文
共 33 条
[1]  
Axelrod R(1996)Aligning simulation models: a case study and results Comput Math Organ Theory 1 123-141
[2]  
Axtell R(2001)A methodology for certification of modeling and simulation applications ACM Trans Model Comput Simul 11 352-377
[3]  
Epstein J(2006)Verifying multi-agent programs by model checking Auton Agents Multi-Agent Syst 2 239-256
[4]  
Cohen M(2004)Reducing the burden of anemia in infants and young children in malaria-endemic countries of Africa: from evidence to action Am J Trop Med Hyg 71 25-65
[5]  
Balci O(2011)A framework for modeling genetically-aware mosquito vectors for sterile insect technique Int J Agent Technol Syst 3 49-38
[6]  
Bordini R(2002)Visual debugging: a way of analyzing, understanding and communicating bottom-up simulation models in ecology Nat Resour Model 15 23-1112
[7]  
Fisher M(2009)Agent-based modelling of mosquito foraging behaviour for malaria control Trans R Soc Trop Med Hyg 103 1105-162
[8]  
Visser W(2009)Predicting the impact of insecticide-treated bed nets on malaria transmission: the devil is in the detail Malar J 8 256-224
[9]  
Crawley J(1995)Verification and validation of simulation models Eur J Oper Res 82 145-320
[10]  
Gentile J(2006)Effects of larval competitors and predators on oviposition site selection of anopheles gambiae sensu stricto J Med Entomol 43 221-27