Discovery Projects - Grant ID: DP110101211

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP110101211

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

Assuring dependability of complex adaptive multi-agent systems using time bands. As the complexity of computer-based systems rapidly increases, we need new methods for assuring their correct behaviour. This project will provide a means of relating behaviour at different timescales, enabling us to understand how the long-term behaviour of a system results from the short-term interactions between its components.

Funded Activity Details

Start Date: 01-01-2011

End Date: 31-01-2015

Funding Scheme: Discovery Projects

Funding Amount: $285,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Adaptive Agents and Intelligent Robotics | Applied Discrete Mathematics | Computational Logic and Formal Languages | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Information and Communication Services not elsewhere classified |

Other Keywords

Adaptive Agents and Intelligent Robotics | Applied Discrete Mathematics | Computation Theory and Mathematics | Computational Logic and Formal Languages | Information and Communication Services not elsewhere classified

Related Links