Show simple item record

dc.contributor.advisorHillston, Jane
dc.contributor.advisorPlotkin, Gordon
dc.contributor.authorFeng, Cheng
dc.date.accessioned2017-06-22T14:07:58Z
dc.date.available2017-06-22T14:07:58Z
dc.date.issued2017-07-07
dc.identifier.urihttp://hdl.handle.net/1842/22070
dc.description.abstractRecent advances in information and communications technology have led to a surge in the popularity of artificial Collective Adaptive Systems (CAS). Such systems, comprised by many spatially distributed autonomous entities with decentralised control, can often achieve discernible characteristics at the global level; a phenomenon sometimes termed emergence. Examples include smart transport systems, smart electricity power grids, robot swarms, etc. The design and operational management of CAS are of vital importance because different configurations of CAS may exhibit very large variability in their performance and the quality of services they offer. However, due to their complexity caused by varying degrees of behaviour, large system scale and highly distributed nature, it is often very difficult to understand and predict the behaviour of CAS under different situations. Novel modelling and quantitative analysis methodologies are therefore required to address the challenges posed by the complexity of such systems. In this thesis, we develop a process algebraic modelling formalism that can be used to express complex dynamic behaviour of CAS and provide fast and scalable analysis techniques to investigate the dynamic behaviour and support the design and operational management of such systems. The major contributions of this thesis are: (i) development of a novel high-level formalism, PALOMA, the Process Algebra for Located Markovian Agents for the modelling of CAS. CAS specified in PALOMA can be automatically translated to their underlying mathematical models called Population Continuous-Time Markov Chains (PCTMCs). (ii) development of an automatic moment-closure approximation method which can provide rapid Ordinary Differential Equation-based analysis of PALOMA models. (iii) development of an automatic model reduction algorithm for the speed up of stochastic simulation of PALOMA/PCTMC models. (iv) presenting a case study, predicting bike availability in stations of Santander Cycles, the public bike-sharing system in London, to show that our techniques are well-suited for analysing real CAS.en
dc.contributor.sponsorEuropean Research Councilen
dc.language.isoenen
dc.publisherThe University of Edinburghen
dc.relation.hasversionFeng, C., Gribaudo, M., and Hillston, J. (2015). Performance analysis of collective adaptive behaviour in time and space. Electronic Notes in Theoretical Computer Science, 318:53–68.en
dc.relation.hasversionFeng, C. and Hillston, J. (2014). PALOMA: A process algebra for located Markovian agents. In Quantitative Evaluation of Systems, volume 8657 of LNCS, pages 265–280. Springer.en
dc.relation.hasversionFeng, C. and Hillston, J. (2015). Speed-up of stochastic simulation of PCTMC models by statistical model reduction. In Computer Performance Engineering, volume 9272 of LNCS, pages 291–305. Springer.en
dc.relation.hasversionFeng, C., Hillston, J., and Galpin, V. (2016). Automatic momentclosure approximation of spatially distributed collective adaptive systems. ACM Transactions on Modeling and Computer Simulation (TOMACS), 26(4):26.en
dc.relation.hasversionFeng, C., Hillston, J., and Reijsbergen, D. (2016). Momentbased probabilistic prediction of bike availability for bike-sharing systems. In Quantitative Evaluation of Systems, volume 9826 of LNCS, pages 139–155. Springer.en
dc.rightsAttribution-NonCommercial-ShareAlike 4.0 International*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.subjectCollective Adaptive Systemsen
dc.subjectquantitative modellingen
dc.titleProcess algebra for located Markovian agents and scalable analysis techniques for the modelling of Collective Adaptive Systemsen
dc.typeThesis or Dissertationen
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnamePhD Doctor of Philosophyen


Files in this item

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-ShareAlike 4.0 International
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-ShareAlike 4.0 International