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.
Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probab ....Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probability makes that particularly difficult.
The focus of this project is to develop new formal methods that are
economical and practical in use. Exploiting our recent advances in
probabilistic program semantics, we will add probability in a new
way to proven techniques in concurrency theory, including
refinement and hierarchical design.Read moreRead less
Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence ....Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be 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
Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devi ....Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devices that we might not even realise we are using.
Our research aims to make it easier and more effective to describe and then successfully build-in features that enforce security without adverse impact on usability.Read moreRead less
Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build ....Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build-in features that enforce security in software without adverse impact on usability. This research addresses National Security Priority 3, Smart technology, and will build on Australia's world-leading position in pioneering uptake of innovative technology.Read moreRead less
Joint System Identification for Point Processes and Time-series. In various application areas such as neurophysiology, earthquake modeling, price spikes in electricity markets, the data of interest are point processes (aka sequences of events) or combinations of point processes and analog signals. To understand the underlying subject of interest we need to be able to extract the maximum information from these observation sequences. The current tools for doing this are very limited. This resear ....Joint System Identification for Point Processes and Time-series. In various application areas such as neurophysiology, earthquake modeling, price spikes in electricity markets, the data of interest are point processes (aka sequences of events) or combinations of point processes and analog signals. To understand the underlying subject of interest we need to be able to extract the maximum information from these observation sequences. The current tools for doing this are very limited. This research program will develop the complex signal processing and system methodology needed to create a suitable tool set.Read moreRead less
Enhancing Performance in Controlling Finite Level Quantum Systems with Uncertainties. Australia is a recognized leader in the international race to develop quantum frontier technologies. Funding of this project will consolidate and strengthen Australia's leadership in quantum information technology by developing new theory and tractable control approaches to deal with typical uncertainties arising in practical applications and to enhance performance in controlling finite level quantum systems, a ....Enhancing Performance in Controlling Finite Level Quantum Systems with Uncertainties. Australia is a recognized leader in the international race to develop quantum frontier technologies. Funding of this project will consolidate and strengthen Australia's leadership in quantum information technology by developing new theory and tractable control approaches to deal with typical uncertainties arising in practical applications and to enhance performance in controlling finite level quantum systems, and will also enhance the capability of Australian researchers to participate in promising quantum technologies. The outcomes of this project will play an important role in establishing Australian quantum information industries, which can provide new commercial opportunities and benefit Australia's economy.Read moreRead less
Fundamental Studies in System Identification. To operate a dynamic system such as a chemical process plant or an economy one needs two things; the equations describing the system; a way of regulating the system to provide desired outcomes. System identification provides the first; control engineering design provides the second. This proposal addresses three important problems in system identification and control. Firstly since the equations can never be known precisely we aim to determine what i ....Fundamental Studies in System Identification. To operate a dynamic system such as a chemical process plant or an economy one needs two things; the equations describing the system; a way of regulating the system to provide desired outcomes. System identification provides the first; control engineering design provides the second. This proposal addresses three important problems in system identification and control. Firstly since the equations can never be known precisely we aim to determine what is the best one can do? Secondly to provide then tight error bounds for the control design;
thirdly to develop new methods for some hitherto unresolved problems in system identification.Read moreRead less
What is the spatial and environmental distribution of phylogenetic diversity in the Australian biota? Almost nothing is known about the geographic distribution of phylogenetic relationships across Australia at fine resolutions of the order of tens of kilometres. The aim of this research is to map the spatial patterns of phylogenetic diversity in the Australian biota and identify possible environmental controls over them. We will analyse five disparate groups at a spatial resolution that is ord ....What is the spatial and environmental distribution of phylogenetic diversity in the Australian biota? Almost nothing is known about the geographic distribution of phylogenetic relationships across Australia at fine resolutions of the order of tens of kilometres. The aim of this research is to map the spatial patterns of phylogenetic diversity in the Australian biota and identify possible environmental controls over them. We will analyse five disparate groups at a spatial resolution that is orders of magnitude finer than previous research, analysing their relationship with possible environmental controls using advanced spatial analysis methods. The knowledge we will generate about the spatial distribution of these relationships is essential to understand and conserve Australia's unique biodiversity.Read moreRead less
Uncertain Systems Theory applied to Nonlinear Robust Control and Filtering. Feedback control systems are becoming increasingly important in manufacturing industry, the automotive industry, defence applications as well as in many non-industrial applications such as the management of the environment or the economy. By developing new techniques for the design of high performance robust nonlinear controllers and filters which are widely applicable in industrial applications, this project will help m ....Uncertain Systems Theory applied to Nonlinear Robust Control and Filtering. Feedback control systems are becoming increasingly important in manufacturing industry, the automotive industry, defence applications as well as in many non-industrial applications such as the management of the environment or the economy. By developing new techniques for the design of high performance robust nonlinear controllers and filters which are widely applicable in industrial applications, this project will help make existing industrial technologies more efficient and make new industrial technologies feasible. Moreover, the research training carried out in the project will add to available a pool of experts in the areas of robust nonlinear control and filtering. Read moreRead less