EPSRC logo

Details of Grant 

EPSRC Reference: EP/K033905/1
Title: Verification of resource-bounded multi-agent systems (VRBMAS)
Principal Investigator: Alechina, Dr N
Other Investigators:
Logan, Dr B
Researcher Co-Investigators:
Project Partners:
Department: School of Computer Science
Organisation: University of Nottingham
Scheme: Standard Research
Starts: 01 September 2013 Ends: 15 June 2017 Value (£): 280,864
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
EP/K033921/1
Panel History:
Panel DatePanel NameOutcome
05 Jun 2013 EPSRC ICT Responsive Mode - Jun 2013 Announced
Summary on Grant Application Form
A multi-agent system is a system which is comprised of multiple interacting agents. An agent is an autonomous entity that has the ability to collect information, reason about it, and perform actions based on it in pursuit of its own goals or on behalf of others. Examples of agents are controllers for automatic devices such as satellites, health care systems, non-driver transport systems such as UAVs, and even nodes in sensor networks.

Multi-agent systems are ubiquitous. Many distributed software and hardware systems can be naturally modelled as multi-agent systems. Such systems are by nature of their components extremely complex, and the interaction between components can lead to undesired behaviours that are not easy to detect. Hence, automated verification of multi-agent systems is a very important and thriving research area. We propose an important advance in this area, namely producing verification tools which allow users to specify which resources the agents need for their actions. Current tools do not offer a systematic framework for modelling resource requirements for agents' actions. However, such an ability is very important for specification of many systems, for example sensor networks where the nodes have very limited resources, e.g. energy.

Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.nottingham.ac.uk