Modelling the Dynamics of an Aedes albopictus Population

Thomas Anung Basuki; Antonio Cerone; Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Elisabetta Rossi

doi:10.4204/EPTCS.33.2

Modelling the Dynamics of an Aedes albopictus Population

Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Elisabetta Rossi

School of Mathematical & Computer Sciences

Research output: Contribution to journal › Article › peer-review

16 Downloads (Pure)

Abstract

We present a methodology for modelling population dynamics with formal means of computer science. This allows unambiguous description of systems and application of analysis tools such as simulators and model checkers. In particular, the dynamics of a population of Aedes albopictus (a species of mosquito) and its modelling with the Stochastic Calculus of Looping Sequences (Stochastic CLS) are considered. The use of Stochastic CLS to model population dynamics requires an extension which allows environmental events (such as changes in the temperature and rainfalls) to be taken into account. A simulator for the constructed model is developed via translation into the specification language Maude, and used to compare the dynamics obtained from the model with real data.

Original language	English
Pages (from-to)	18-36
Number of pages	19
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	33
DOIs	https://doi.org/10.4204/EPTCS.33.2
Publication status	Published - 19 Aug 2010

Keywords

cs.CE
cs.FL
q-bio.PE

Access to Document

10.4204/EPTCS.33.2

download pdf

Cite this

@article{43fd0186aa854b6cb8623df2561148d4,

title = "Modelling the Dynamics of an Aedes albopictus Population",

abstract = " We present a methodology for modelling population dynamics with formal means of computer science. This allows unambiguous description of systems and application of analysis tools such as simulators and model checkers. In particular, the dynamics of a population of Aedes albopictus (a species of mosquito) and its modelling with the Stochastic Calculus of Looping Sequences (Stochastic CLS) are considered. The use of Stochastic CLS to model population dynamics requires an extension which allows environmental events (such as changes in the temperature and rainfalls) to be taken into account. A simulator for the constructed model is developed via translation into the specification language Maude, and used to compare the dynamics obtained from the model with real data. ",

keywords = "cs.CE, cs.FL, q-bio.PE",

author = "Basuki, {Thomas Anung} and Antonio Cerone and Roberto Barbuti and Andrea Maggiolo-Schettini and Paolo Milazzo and Elisabetta Rossi",

note = "In Proceedings AMCA-POP 2010, arXiv:1008.3147",

year = "2010",

month = aug,

day = "19",

doi = "10.4204/EPTCS.33.2",

language = "English",

volume = "33",

pages = "18--36",

journal = "Electronic Proceedings in Theoretical Computer Science",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Modelling the Dynamics of an Aedes albopictus Population

AU - Basuki, Thomas Anung

AU - Cerone, Antonio

AU - Barbuti, Roberto

AU - Maggiolo-Schettini, Andrea

AU - Milazzo, Paolo

AU - Rossi, Elisabetta

N1 - In Proceedings AMCA-POP 2010, arXiv:1008.3147

PY - 2010/8/19

Y1 - 2010/8/19

N2 - We present a methodology for modelling population dynamics with formal means of computer science. This allows unambiguous description of systems and application of analysis tools such as simulators and model checkers. In particular, the dynamics of a population of Aedes albopictus (a species of mosquito) and its modelling with the Stochastic Calculus of Looping Sequences (Stochastic CLS) are considered. The use of Stochastic CLS to model population dynamics requires an extension which allows environmental events (such as changes in the temperature and rainfalls) to be taken into account. A simulator for the constructed model is developed via translation into the specification language Maude, and used to compare the dynamics obtained from the model with real data.

AB - We present a methodology for modelling population dynamics with formal means of computer science. This allows unambiguous description of systems and application of analysis tools such as simulators and model checkers. In particular, the dynamics of a population of Aedes albopictus (a species of mosquito) and its modelling with the Stochastic Calculus of Looping Sequences (Stochastic CLS) are considered. The use of Stochastic CLS to model population dynamics requires an extension which allows environmental events (such as changes in the temperature and rainfalls) to be taken into account. A simulator for the constructed model is developed via translation into the specification language Maude, and used to compare the dynamics obtained from the model with real data.

KW - cs.CE

KW - cs.FL

KW - q-bio.PE

U2 - 10.4204/EPTCS.33.2

DO - 10.4204/EPTCS.33.2

M3 - Article

SN - 2075-2180

VL - 33

SP - 18

EP - 36

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

ER -

Modelling the Dynamics of an Aedes albopictus Population

Abstract

Keywords

Access to Document

Fingerprint

Cite this