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
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
Modelling and estimation methods for discrete multi-dimensional systems. Multi-dimensional signal processing plays a role in a variety of application areas, ranging from remote sensing for environmental monitoring and geological mapping, to medical imaging and the automatic control of industrial processes. The success of the project will provide mathematical tools for the advancement of the state-of-the-art in these broad areas.
Complexity-manageable methodologies and efficient computational tools for analysis and design of large-scale systems. The tools to be developed in this project have impact on a broad range of disciplines, including system analysis, feedback control technology, signal processing, communication network, and information theory. Practically, the success of this project will create cutting edge technologies applicable to design and management of important infrastructures of the modern society such as ....Complexity-manageable methodologies and efficient computational tools for analysis and design of large-scale systems. The tools to be developed in this project have impact on a broad range of disciplines, including system analysis, feedback control technology, signal processing, communication network, and information theory. Practically, the success of this project will create cutting edge technologies applicable to design and management of important infrastructures of the modern society such as communication networks, transportation systems, electrical power grids, and collaborative intelligent machines, and water distribution networks. Success of this project will bring novel methodologies and computational tools which help engineers to systematically design and validate the performance of their engineering systems.Read moreRead less