White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Biologically Inspired Agents: A Framework for Formal Modelling and Simulation of Agents with Elementary Spatial Attributes

Petreska, Isidora (2013) Biologically Inspired Agents: A Framework for Formal Modelling and Simulation of Agents with Elementary Spatial Attributes. MPhil thesis, University of Sheffield.

[img]
Preview
Text
Thesis.pdf
Available under License Creative Commons Attribution-Noncommercial-No Derivative Works 2.0 UK: England & Wales.

Download (2938Kb) | Preview
[img]
Preview
Text
Access To Thesis.pdf
Available under License Creative Commons Attribution-Noncommercial-No Derivative Works 2.0 UK: England & Wales.

Download (1104Kb) | Preview

Abstract

Applications of biological or biologically inspired multi-agent systems often assume a certain level of reliability and robustness, which is not always easy to be achieved. Formal modelling and verification of these systems may present many interesting challenges. For instance, formal verification may be cumbersome or even impossible to be applied on models with increased complexity. On the other hand, the behaviour of bio multi-agent systems consists of communities evolving in space and time (such as social insects, tissues, colonies of bacteria, etc.) which are characterised with a highly dynamic structure. Formal modelling of such systems cannot be carried out in a neat and effective way. This work presents many interesting problems in the area of modelling and verification of bio multi-agent systems. Targeting a rather broad scope, the path for devising a global solution to tackle all of the problems, can be considered as secularly optimistic. Instead, we discuss a number of improvements in the development process, including enhancements on several modelling formalisms, alternative ways to formal verification, as well as a research framework which changes the standard modelling and verification approach of bio multi-agent systems.

Item Type: Thesis (MPhil)
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Computer Science (Sheffield)
The University of Sheffield > Faculty of Science (Sheffield) > Computer Science (Sheffield)
Depositing User: Isidora Petreska
Date Deposited: 27 Jan 2014 16:01
Last Modified: 27 Jan 2014 16:01
URI: http://etheses.whiterose.ac.uk/id/eprint/4986

Actions (repository staff only: login required)