Gilmore, Stephen

Fleuriot, Jacques

Zoń, Natalia

other

2019-08-05T09:32:45Z

2019-08-05T09:32:45Z

2019-07-01

Collective Adaptive Systems (CAS) are composed of individual agents with internal knowledge and rules which organize themselves into ensembles. These ensembles can often be observed to exhibit behaviour resembling that of a single entity with a clear goal and a consistent internal knowledge, even when the individual agents within the ensemble are not managed by any outside, globally-accessible entity. Because of their lack of a need for centralized control which results in high robustness, CAS are commonly observed in nature – and for similar reasons are often reflected in human engineered systems. Researching the patterns of operation observed in such systems provides meaningful insight into how to design and optimise stable multiagent systems capable of withstanding adverse conditions. Formal modelling provides valuable intellectual tools which can be applied to the problem of analysis of systems by means of modelling and simulation. In this thesis we explore the modelling of CAS in which space (topology and distances) plays a significant role. Working with CARMA (Collective Adaptive Resource-sharing Markovian Agents) a formal feature-rich language for modelling stochastic CAS, we investigate a number of spatial CAS scenarios from the realm of urban planning. When components operate in a spatial context, their behaviour can be affected by where they are located in that space. For example, their location can influence the speed at which they move, and their ability to communicate with other components. Components in CARMA have internal store, and behaviour expressed by Markov processes. They can communicate with each other through sending messages on state transitions in a unicast or broadcast fashion. Simulation with pseudo-random events can be used to obtain values of measures applied to CARMA models, providing a basis for analysis and optimisation. The CARMA models developed in the case studies are data-driven and the results of simulating these models are compared with real-world data. In particular, we explore two scenarios: crowd-routing and city transportation systems. Building on top of CARMA, we also introduce CGP (CARMA Graphical Plugin), a novel graphical software tool for graphically specifying spatial CAS systems with the feature of automatic translation into CARMA models. We also supply CARMA with additional syntax structures for expressing spatial constructs.

http://hdl.handle.net/1842/35958

en

The University of Edinburgh

V. GALPIN, A. GEORGOULAS, S. GILMORE, J. HILLSTON, D. LATELLA, M. LORETI, M. MASSINK, AND N. ZO´N, Quanticol deliverable 4.3: CaSL at work, 2017. http://blog.inf.ed.ac.uk/quanticol/files/2017/03/ Deliverable-D43.pdf.

V. GALPIN, N. ZO´N, P. WILSDORF, AND S. GILMORE, Mesoscopic modelling of pedestrian movement using CARMA and its tools, ACM Trans. Model. Comput. Simul., 28 (2018), pp. 11:1–11:26.

N. ZON, V. GALPIN, AND S. GILMORE, Modelling movement for collective adaptive systems with CARMA, in Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016., M. ter Beek and M. Loreti, eds., vol. 217 of EPTCS, 2016, pp. 43–52.

N. ZON AND S. GILMORE, Data-driven modelling and simulation of urban transportation systems using Carma, in Proceedings of International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA) 2018, Springer, 2018.

N. ZO´N, S. GILMORE, AND J. HILLSTON, Rigorous graphical modelling of movement in collective adaptive systems, in Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, T. Margaria and B. Steffen, eds., vol. 9952 of Lecture Notes in Computer Science, 2016, pp. 674–688.

formal modelling

CARMA

Collective Adaptive Systems

CAS

Stochastic modelling of spatial collective adaptive systems

Thesis or Dissertation

Doctoral

PhD Doctor of Philosophy