Survival vs. revenue: modelling and reasoning on population dynamics (WIP)

We report on modelling a population dynamics problem by means of stochastic quantitative analysis. We are interested in the tension between survival of the population and revenue that can be obtained by its exploitation, and in showing how the chosen approach can help in properly tuning the exploitation parameters to set an optimal policy ensuring sustainability of the population. We carry out our exploratory study by considering an idealised population in its environment.

[1]  T. Caro,et al.  Effects of Trophy Hunting on Lion and Leopard Populations in Tanzania , 2011, Conservation biology : the journal of the Society for Conservation Biology.

[2]  D. Gillespie.  A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .

[3]  Stephen Gilmore,et al.  Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models , 2008, J. Comput. Syst. Sci..

[4]  Carron Shankland,et al.  Process Algebra Models of Population Dynamics , 2008, AB.

[5]  P. Lindsey,et al.  The Significance of African Lions for the Financial Viability of Trophy Hunting and the Maintenance of Wild Land , 2012, PloS one.

[6]  E. Shapiro,et al.  Cellular abstractions: Cells as computation , 2002, Nature.

[7]  D. Bray.  Protein molecules as computational elements in living cells , 1995, Nature.

[8]  Doug S Butterworth,et al.  Tips and tricks in designing management procedures , 2007 .

[9]  N. Bunnefeld,et al.  Management strategy evaluation: a powerful tool for conservation? , 2011, Trends in ecology & evolution.

[10]  Craig Packer,et al.  Sustainable trophy hunting of African lions , 2004, Nature.

[11]  Bernt-Erik Sæther,et al.  Optimal harvest of age-structured populations of moose Alces alces in a fluctuating environment , 2001, Wildlife Biology.

[12]  Jane Hillston,et al.  Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks , 2007, FBTC@CONCUR.

[13]  Nils Bunnefeld,et al.  The Science of Sustainable Hunting , 2009 .

[14]  A. Borshchev,et al.  From System Dynamics and Discrete Event to Practical Agent Based Modeling : Reasons , Techniques , Tools , 2004 .

[15]  T. Caro,et al.  Animal breeding systems and big game hunting: Models and application , 2009 .

[16]  Diego Latella,et al.  Scalable context-dependent analysis of emergency egress models , 2012, Formal Aspects of Computing.

[17]  Giancarlo Mauri,et al.  The Interplay of Intrinsic and Extrinsic Bounded Noises in Biomolecular Networks , 2012, PloS one.

[18]  Giancarlo Mauri,et al.  NoisySim: exact simulation of stochastic chemically reacting systems with extrinsic bounded noises (WIP) , 2013, SpringSim.

[19]  Benigno E. Aguirre,et al.  A Critical Review Of Emergency Evacuation Simulation Models , 2004 .