Research Perspectives - Tools for Visualisation of Portfolios
EPSRC logo

EPSRC Database


Source RCUK EPSRC Data

EP/K033905/1 - Verification of resource-bounded multi-agent systems (VRBMAS)

Research Perspectives grant details from EPSRC portfolio

http://www.researchperspectives.org/gow.grants/grant_EPK0339051.png

Dr N Alechina EP/K033905/1 - Verification of resource-bounded multi-agent systems (VRBMAS)

Principal Investigator - School of Computer Science, University of Nottingham

Other Investigators

Dr B Logan, Co InvestigatorDr B Logan

Scheme

Standard Research

Research Areas

Programming Languages and Compilers Programming Languages and Compilers

Verification and Correctness Verification and Correctness

Related Grants

EP/K033921/1

Start Date

09/2013

End Date

08/2016

Value

£280,864

Similar Grants

Automatic generation of similar EPSRC grants

Similar Topics

Topic similar to the description of this grant

Grant Description

Summary and Description of the grant

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.

Structured Data / Microdata


Grant Event Details:
Name: Verification of resource-bounded multi-agent systems (VRBMAS) - EP/K033905/1
Start Date: 2013-09-01T00:00:00+00:00
End Date: 2016-08-31T00:00:00+00:00

Organization: University of Nottingham

Description: 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 o ...