Context-aware verification and validation framework for autonomous driving. This project aims to enhance the reliability and safety of emerging self-driving vehicles, through a framework that supports the validation and verification of autonomous driving systems. This project expects to generate new knowledge in areas of software engineering, intelligent transport, and machine learning, using a multi-disciplinary research combining expertise from various fields. Expected outcomes of this project ....Context-aware verification and validation framework for autonomous driving. This project aims to enhance the reliability and safety of emerging self-driving vehicles, through a framework that supports the validation and verification of autonomous driving systems. This project expects to generate new knowledge in areas of software engineering, intelligent transport, and machine learning, using a multi-disciplinary research combining expertise from various fields. Expected outcomes of this project are a family of new context-aware techniques to verify and validate complex behaviours in autonomous driving. This should provide significant benefits, such as safe autonomous driving systems and the improved journey experience and security for road users.Read moreRead less
Estimation of Complex Networked Dynamic Systems. An essential part of science and engineering is the development of mathematical models to describe how observed quantities relate to one another. For example, such models have proven to be extremely powerful in predicting the value of financial instruments, in providing high performance control of robots, and in detecting faults or changes in petrochemical processing plants. Constructing these models based on measurements from the system itself is ....Estimation of Complex Networked Dynamic Systems. An essential part of science and engineering is the development of mathematical models to describe how observed quantities relate to one another. For example, such models have proven to be extremely powerful in predicting the value of financial instruments, in providing high performance control of robots, and in detecting faults or changes in petrochemical processing plants. Constructing these models based on measurements from the system itself is known as system identification. This project is directed at developing new system identification methods for situations that, on the one hand, have previously been considered unsolvable, and on the other, are acknowledged as being of high practical interest.Read moreRead less
Innovative X-by-Wire Control Systems for Improved Vehicle Manoeuvrability and Stability. Future automobiles will be equipped with safety-critical ‘x-by-wire’ systems, such as ‘steer-by-wire’, ‘brake-by-wire’, and ‘drive-by-wire’, to enable active safety control and improve reliability and performance. This project aims to develop a new coordinated control strategy based on an in-depth understanding of the fundamental dynamics and stability characteristics of vehicles. Corresponding x-by-wire sys ....Innovative X-by-Wire Control Systems for Improved Vehicle Manoeuvrability and Stability. Future automobiles will be equipped with safety-critical ‘x-by-wire’ systems, such as ‘steer-by-wire’, ‘brake-by-wire’, and ‘drive-by-wire’, to enable active safety control and improve reliability and performance. This project aims to develop a new coordinated control strategy based on an in-depth understanding of the fundamental dynamics and stability characteristics of vehicles. Corresponding x-by-wire systems will then be implemented, using a novel networked bilateral-control concept and new haptic devices for enhancing the overall performance and safety of vehicles. This project will lead to the innovative design of vehicle active safety systems for automobile manufacturing in Australia and the rest of the world.Read moreRead less
Optimisation methods for coherent quantum signal estimation and filtering. The project aims to develop an innovative systems theory and optimisation methods to enhance the design of components for next-generation quantum communication networks. It will advance new theoretical knowledge and efficient algorithms that can be applied to make networks more efficient and less costly. New technologies set to emerge within the next decade including specialised quantum processors and transformative cyber ....Optimisation methods for coherent quantum signal estimation and filtering. The project aims to develop an innovative systems theory and optimisation methods to enhance the design of components for next-generation quantum communication networks. It will advance new theoretical knowledge and efficient algorithms that can be applied to make networks more efficient and less costly. New technologies set to emerge within the next decade including specialised quantum processors and transformative cyber security systems will require ultra-fast networks, and the project will contribute significantly to advancing these technologies. This will benefit the Australia's economy and reinforce Australia's leadership in the quantum technological revolution through innovative engineering approaches.Read moreRead less
A hybrid system framework for robust model predictive control. This project will produce new analysis and design tools to develop novel hybrid model predictive control systems with guaranteed stability, robustness and fault tolerance. We foresee major benefits for Australia by enhancing its scientific reputation and by promoting safety, efficiency and technological innovation in industries and services.
Subsurface Atomic Force Microscopy using Dual Probes. The proposal aims to develop a new microscopy method for imaging nano-scale structures buried below the surface of a sample; for example, metal conductors in a computer processor chip. The expected outcome is a new method for creating subsurface images with an application focus on semiconductor device inspection and quality control. The proposed microscope is expected to create new economic opportunities including new commercial products, int ....Subsurface Atomic Force Microscopy using Dual Probes. The proposal aims to develop a new microscopy method for imaging nano-scale structures buried below the surface of a sample; for example, metal conductors in a computer processor chip. The expected outcome is a new method for creating subsurface images with an application focus on semiconductor device inspection and quality control. The proposed microscope is expected to create new economic opportunities including new commercial products, intellectual property, and the potential for a start-up venture. The benefits to Australia should include the creation of new job opportunities and the development of local expertise in a high-value market sector.Read moreRead less
An Integrative and Interactive Approach for Co-estimation of Multiple Sequence Alignment and Phylogeny Reconstruction. In this project innovative IT methods will be developed to assist biologists to solve complex and important biological problems. Many important applications in computational biology need very accurate and reliable tools for multiple sequence alignment and phylogeny reconstruction. Unfortunately, current existing tools are unreliable and are prone to serious errors when applied t ....An Integrative and Interactive Approach for Co-estimation of Multiple Sequence Alignment and Phylogeny Reconstruction. In this project innovative IT methods will be developed to assist biologists to solve complex and important biological problems. Many important applications in computational biology need very accurate and reliable tools for multiple sequence alignment and phylogeny reconstruction. Unfortunately, current existing tools are unreliable and are prone to serious errors when applied to large and divergent biological sequences. The success of this project will not only make significant contribution to the relevant research fields, but also help achieve goals in certain real-life biological research projects which are unique and important to Australia.Read moreRead less
Viewable Measures for Component-Based Software Engineering. Software costs over US$300 billion per year worldwide with around 70% of large projects failing to complete in time. Reliable estimation of development effort is a great challenge in Software Engineering. This project aims to develop a reliable multi-dimensional software size measure and an effort estimation model for a new method of development called component based software engineering. We will validate our results theoretically and ....Viewable Measures for Component-Based Software Engineering. Software costs over US$300 billion per year worldwide with around 70% of large projects failing to complete in time. Reliable estimation of development effort is a great challenge in Software Engineering. This project aims to develop a reliable multi-dimensional software size measure and an effort estimation model for a new method of development called component based software engineering. We will validate our results theoretically and test it against empirical data from software industry. We will provide novel visualization techniques to comprehend measurements of large systems. The outcomes will help software projects better estimate deadlines and budgets thus reducing costs significantly.Read moreRead less
Processing large data sets on commodity data-parallel hardware. The project aims to reduce the costs of software development by improving the accessibility of massively data-parallel processors, termed graphics processing units (GPUs). The project seeks to develop a high-level programming system with data streaming support targeting GPUs and multi-GPU architectures. This would facilitate the difficult task of developing parallel applications for high-performance computing architectures. The comb ....Processing large data sets on commodity data-parallel hardware. The project aims to reduce the costs of software development by improving the accessibility of massively data-parallel processors, termed graphics processing units (GPUs). The project seeks to develop a high-level programming system with data streaming support targeting GPUs and multi-GPU architectures. This would facilitate the difficult task of developing parallel applications for high-performance computing architectures. The combination of parallelism and data streaming is designed to enable efficient processing of data too big to be held in device memory, which is a common problem in scientific computing, data analysis and machine learning. The project plans to integrate data streaming into an existing system, currently targeting single GPU architectures and which is successfully used in both industry and research.Read moreRead less
Fault tolerant control based on set-theoretic methods: robustness, nonlinear effects and probabilistic developments. This project will bring benefits to Australia by developing innovative self-healing technological systems that are able to maintain appropriate levels of performance while reacting to unforeseeable faults. The project will contribute to the National Research Priority area: Frontier Technologies for Building and Transforming Australian Industries.