Modelling, Identification and Control of Complex Networks. Australia has been well known for its leading research in systems and control and many real-world applications in, for instance, telecommunications, defence, power grids and life sciences. This project will further promote Australia's leading position in the emerging new research field - complex networks by theoretical breakthrough in modelling, identification and control of complex networks, and cutting-edge platform technology that can ....Modelling, Identification and Control of Complex Networks. Australia has been well known for its leading research in systems and control and many real-world applications in, for instance, telecommunications, defence, power grids and life sciences. This project will further promote Australia's leading position in the emerging new research field - complex networks by theoretical breakthrough in modelling, identification and control of complex networks, and cutting-edge platform technology that can help Australian energy industry to reduce greenhouse emissions. It will also result in education of the next generation research leaders in this emerging field.Read moreRead less
Dynamic Analysis and Control for Hybrid Systems and Networks. Hybrid systems are now accepted as the best way to model many high-tech situations in transport, energy management, networking, household and industrial automation. This project will develop the theoretical tools needed to ensure such systems operate stably and efficiently despite imperfections and outside disturbances.
Generalised quantum models of complexity with application to cognitive systems. Non-separable systems surround us. Our transportation, taxation, schooling, environmental and social policies are all interrelated, and it is increasingly recognised that we cannot consider them in isolation. Such systems are generally deemed complex, and it is often impossible to separate them from one another. Despite this, many of our most advanced modelling techniques are grounded in principles of separability a ....Generalised quantum models of complexity with application to cognitive systems. Non-separable systems surround us. Our transportation, taxation, schooling, environmental and social policies are all interrelated, and it is increasingly recognised that we cannot consider them in isolation. Such systems are generally deemed complex, and it is often impossible to separate them from one another. Despite this, many of our most advanced modelling techniques are grounded in principles of separability and non-contextuality. This project will develop a new set of models of non-separable systems and complexity that will in turn lead to new frontier technologies and theories.Read moreRead less
Occupational Measures Approach to Long Run Average and Singularly Perturbed Optimal Control Problems. Problems of optimal control of long-run average and singularly perturbed systems arise in many applications. The project will lead to the development of new linear programming based techniques for analyzing these problems (including problems intractable so far) and finding their numerical solutions. The new techniques will have a potential to be further developed into software that can benefit A ....Occupational Measures Approach to Long Run Average and Singularly Perturbed Optimal Control Problems. Problems of optimal control of long-run average and singularly perturbed systems arise in many applications. The project will lead to the development of new linear programming based techniques for analyzing these problems (including problems intractable so far) and finding their numerical solutions. The new techniques will have a potential to be further developed into software that can benefit Australian industries and technologies. The proposed topic is in the focus of interest of many eminent researchers around the world and the dissemination of our results will further improve Australia's standing in the international research community. Read moreRead less
ARC Centre in Bioinformatics. The Australian Centre for Genome-Phenome Bioinformatics will examine how the genome comes to life in the mammalian cell during differentiation and development. We will model, visualise and experimentally validate the complex cellular systems and regulatory networks that control the transformation of genomic information into biological structure and function. We will develop novel approaches and tools to improve health, optimise agricultural production and exploit ne ....ARC Centre in Bioinformatics. The Australian Centre for Genome-Phenome Bioinformatics will examine how the genome comes to life in the mammalian cell during differentiation and development. We will model, visualise and experimentally validate the complex cellular systems and regulatory networks that control the transformation of genomic information into biological structure and function. We will develop novel approaches and tools to improve health, optimise agricultural production and exploit new cell technologies. The Centre will build critical mass and national focus in bioinformatics to generate the human capital and intellectual property that Australia needs to compete in advanced bioscience and biotechnology.Read moreRead less
Statistical methods for detection of non-coding RNAs in eukaryote genomes. Understanding how eukaryotic cells work is a major goal of 21st century biology. A crucial step will be to catalogue the functional components of eukaryotic genomes. Australian researchers must be involved in this process at an early stage, in order to maximise commercial opportunities, attract quality researchers and position ourselves for further advances. This project will make major contributions to international effo ....Statistical methods for detection of non-coding RNAs in eukaryote genomes. Understanding how eukaryotic cells work is a major goal of 21st century biology. A crucial step will be to catalogue the functional components of eukaryotic genomes. Australian researchers must be involved in this process at an early stage, in order to maximise commercial opportunities, attract quality researchers and position ourselves for further advances. This project will make major contributions to international efforts in this area, via the development of statistical methods for segmenting genomes, classification of those segments, and study of the resulting classes. In the long term, enhanced understanding of eukaryotic cells will lead to breakthroughs in biology, and to medical, pharmaceutical, agricultural and scientific advances.Read moreRead less
Service-oriented negotiation and coordination in multi-agent systems. Australia has a strong competitive advantage in the area of agent software. The outcomes of this project will provide an improved platform for services in application areas such as finance, e-commerce, tourism, and multi-platform media. More broadly, the work proposed here will enable the IT industry in Australia, and Melbourne specifically, to adopt and utilise agent-technology in developing the complex software that is inc ....Service-oriented negotiation and coordination in multi-agent systems. Australia has a strong competitive advantage in the area of agent software. The outcomes of this project will provide an improved platform for services in application areas such as finance, e-commerce, tourism, and multi-platform media. More broadly, the work proposed here will enable the IT industry in Australia, and Melbourne specifically, to adopt and utilise agent-technology in developing the complex software that is increasingly required to meet the needs of the software-driven knowledge economy of the 21st century.Read moreRead less
Constructive control of interconnected systems. Sustainability and competitiveness of the Australian industry critically depends on the progress in the technological area of distributed information processing and control. This project will contribute to the existing Australian research effort in this area by advancing the control systems theory which underpins many cutting edge technologies in areas of immediate national interest.
HOLOMORPHIC CURVES, REEB FLOWS AND CONTACT TOPOLOGY. Motion of a satellite is one of many examples of a Reeb dynamical system. The aim of the project is to deepen our understanding of Reeb flows. The Reeb flows, in particular, include Hamiltonian flows on three-dimensional contact type energy surfaces. To study the behaviour of Reeb flows we construct systems of global surfaces of section and study the iterates of the Poincare map, which is obtained by following the flow until it hits a surface. ....HOLOMORPHIC CURVES, REEB FLOWS AND CONTACT TOPOLOGY. Motion of a satellite is one of many examples of a Reeb dynamical system. The aim of the project is to deepen our understanding of Reeb flows. The Reeb flows, in particular, include Hamiltonian flows on three-dimensional contact type energy surfaces. To study the behaviour of Reeb flows we construct systems of global surfaces of section and study the iterates of the Poincare map, which is obtained by following the flow until it hits a surface. The main tools in constructing systems of global surfaces of section are holomorphic curves in symplectization, which are defined on punctured Riemann surfaces and solve nonlinear Cauchy-Riemann type operator. These curves are also main ingredients of new invariants of contact and symplectic manifolds.
These new invariants are now known as Contact Homology and Symplectic Field Theory. In the second part of the project we develop analytical foundations for these theories.Read moreRead less
Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and ....Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and first to link conditional objects with continuous time constraints.
Need for structures we propose arises in diagnostic reasoning, bayesian learning, temporal databases, and time-dependent data mining. Several commercial products (like Microsoft Office Assistant)could apply them forthwith.Read moreRead less