Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the ....Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
ARC Centre for Complex Dynamic Systems & Control. Complex dynamic systems are an inescapable feature of the world we live in. Modelling, analysing and optimizing complex behaviour is crucial for environment, process industry, biomedical, energy distribution, transportation and other applications. The Centre for Complex Dynamic Systems and Control will become an international authority in the analysis, design and optimization of complex dynamic systems, pursuing both outstanding fundamental and c ....ARC Centre for Complex Dynamic Systems & Control. Complex dynamic systems are an inescapable feature of the world we live in. Modelling, analysing and optimizing complex behaviour is crucial for environment, process industry, biomedical, energy distribution, transportation and other applications. The Centre for Complex Dynamic Systems and Control will become an international authority in the analysis, design and optimization of complex dynamic systems, pursuing both outstanding fundamental and cutting edge applied research outcomes. These outcomes will be of specific benefit to partner organizations including minerals, process, metal forming, and automotive industries.Read moreRead less
Global Behaviour of Integrable Complex Systems. Complex systems as diverse as the weather and the solar system are modelled by non-linear equations that have elusive, unstable solutions. An infinitesimally small change in the state of the system at one place can lead to a vast change in its behaviour far away. Such extreme sensitivity is often take to be a sign of chaos, but it also occurs in completely ordered, integrable systems. Our main aim is to tackle the immense challenge of describing th ....Global Behaviour of Integrable Complex Systems. Complex systems as diverse as the weather and the solar system are modelled by non-linear equations that have elusive, unstable solutions. An infinitesimally small change in the state of the system at one place can lead to a vast change in its behaviour far away. Such extreme sensitivity is often take to be a sign of chaos, but it also occurs in completely ordered, integrable systems. Our main aim is to tackle the immense challenge of describing the global behaviour of such elusive solutions, particularly when the systems depend on many variables.Read moreRead less
Centre for Mathematical and Statistical Modelling of Complex Systems. This Centre, formed by a group of high-profile researchers, brings expertise from linked but hitherto disparate areas together. It will place Australia at the forefront of research into complex systems.
The mission of the Centre is to stimulate research in mathematical and statistical modelling of complex systems and to encourage cross-fertilisation of ideas and techniques. The specific objectives are
- to formulate and ana ....Centre for Mathematical and Statistical Modelling of Complex Systems. This Centre, formed by a group of high-profile researchers, brings expertise from linked but hitherto disparate areas together. It will place Australia at the forefront of research into complex systems.
The mission of the Centre is to stimulate research in mathematical and statistical modelling of complex systems and to encourage cross-fertilisation of ideas and techniques. The specific objectives are
- to formulate and analyse mathematical and statistical models for natural and artificial complex systems,
- to use these models to develop an understanding of the behaviour of these systems
- to incorporate this understanding into strategies for management and control.Read moreRead less
Modelling the APEC Digital Divide. Study of private sector motivation for the uptake of ICT is helpful in formulating regulatory and commercial responses to foster growth of competitive information-using and information-producing industries. The project will help clarify the relative benefits of production and use of ICT. Additionally, in an APEC context, analysis of the digital divide will inform policy appropriate to enhancing Australia's contribution to the region. The general purpose infor ....Modelling the APEC Digital Divide. Study of private sector motivation for the uptake of ICT is helpful in formulating regulatory and commercial responses to foster growth of competitive information-using and information-producing industries. The project will help clarify the relative benefits of production and use of ICT. Additionally, in an APEC context, analysis of the digital divide will inform policy appropriate to enhancing Australia's contribution to the region. The general purpose information technology of the Internet network is fast evolving into the enabling technology of choice for innovation and creative applications of a platform for communication and electronic transactions.Read moreRead less
Electrodynamics of the High Latitude Ionosphere. Electrical power (~10^12 W on average), incident over the high latitude ionospheres drives auroral displays, causes magnetic disturbances and other space weather effects over the globe, including Australia. This project uses Iridium, a US$6 billion, commercial satellite constellation, to study energy deposition into the ionosphere from near-Earth space. The Iridium data is not public domain. This project provides data access, representing a signif ....Electrodynamics of the High Latitude Ionosphere. Electrical power (~10^12 W on average), incident over the high latitude ionospheres drives auroral displays, causes magnetic disturbances and other space weather effects over the globe, including Australia. This project uses Iridium, a US$6 billion, commercial satellite constellation, to study energy deposition into the ionosphere from near-Earth space. The Iridium data is not public domain. This project provides data access, representing a significant cost-effective way for Australia to participate in observational space science. Australian postgraduate training is an integral part of the project, providing international level access and interpretation of scientific satellite and over the horizon radar network data.Read moreRead less
Space-Time Block Codes using Orthogonal, Amicable, and General Designs. Space-time coding for multiple transmit and multiple receive antennas is the enabling technology for future wireless communication systems. Multiple antennas provide independent transmission paths resulting in an increased channel capacity without requiring costly additional bandwidth. Space-time block codes lead to the simplest receiver structures and thus to the most economical solutions. The currently known codes are base ....Space-Time Block Codes using Orthogonal, Amicable, and General Designs. Space-time coding for multiple transmit and multiple receive antennas is the enabling technology for future wireless communication systems. Multiple antennas provide independent transmission paths resulting in an increased channel capacity without requiring costly additional bandwidth. Space-time block codes lead to the simplest receiver structures and thus to the most economical solutions. The currently known codes are based on the work of one of the CIs, but so far only a small part of that work has been utilised. We aim to fully exploit the potential of this theory and move the performance of wireless systems towards their theoretical limits.Read moreRead less
Diversity Improvements in Ultra-Wide Band Communications. The proposed project will facilitate development of new frontier technologies that will most likely form the basis for future optimal usage of bandwidth. It will strengthen Australia's role in the advancement of communication technology for the future. Through involvement in the project, the PhD, Masters, and Honours graduates will acquire knowledge and the skills in widely applicable advanced mathematical theory and methods for the analy ....Diversity Improvements in Ultra-Wide Band Communications. The proposed project will facilitate development of new frontier technologies that will most likely form the basis for future optimal usage of bandwidth. It will strengthen Australia's role in the advancement of communication technology for the future. Through involvement in the project, the PhD, Masters, and Honours graduates will acquire knowledge and the skills in widely applicable advanced mathematical theory and methods for the analysis and design of communication systems. The project will also serve to build new international links and extend existing ones through active involvement of overseas researchers.Read moreRead less
Building correct-by-construction distributed systems from specifications stating how agents' knowledge evolves over time. Many distributed computer system implementations fail to comply with their original informal requirement specification. These requirements typically refer to the migration of information through the system over time, but current specification languages are not rich enough to express such requirements on a sufficiently abstract level. This results in a huge error-provoking gap ....Building correct-by-construction distributed systems from specifications stating how agents' knowledge evolves over time. Many distributed computer system implementations fail to comply with their original informal requirement specification. These requirements typically refer to the migration of information through the system over time, but current specification languages are not rich enough to express such requirements on a sufficiently abstract level. This results in a huge error-provoking gap between the informal requirements and the starting point of formally verifiable development. To minimise this gap, we develop a particularly expressive specification language, a calculus for stepwise refinement from such specifications down to distributed systems, and an automated tool for checking and supporting refinement steps in the calculus.Read moreRead less