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
Effective software vulnerability detection for web services. This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or through the cloud, as well as methods for proving the absence of certain types of vulnerability. So-called injection attacks are pervasive and generally considered the most important security threat on today's Internet. The programming languages used for software services tend to use strings as a unive ....Effective software vulnerability detection for web services. This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or through the cloud, as well as methods for proving the absence of certain types of vulnerability. So-called injection attacks are pervasive and generally considered the most important security threat on today's Internet. The programming languages used for software services tend to use strings as a universal data structure, which unfortunately makes it hard to separate trusted code from untrusted user-provided data. This project intends to develop novel program analysis tools and string constraint solvers, and employ these tools to support sophisticated automated reasoning about string manipulating software.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.
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0347131
Funder
Australian Research Council
Funding Amount
$115,490.00
Summary
Intelligent Computer System to Access Information Directly from the Brain Using High Resolution Electroencephalography and Repetitive Transcranial Magnetic Stimulation. The ambitious aim of this project is to create a novel intelligent computer system which accesss information from the brain. To do this we use repetitive Transcranial Magnetic Stimulation and high resolution Electroencephalography.
Improving Global Tuberculosis Control With The AuTuMN Platform
Funder
National Health and Medical Research Council
Funding Amount
$655,059.00
Summary
Tuberculosis (TB) is the world’s leading infectious killer, with the failure of global control responsible for the vast majority of Australia’s cases. Using our robustly developed software platform, we have performed several country-level studies to predict the future burden of disease and compare the impact of alternative responses to controlling the epidemic. In this project, we will extend our platform to perform simulations at the global level and answer key questions in TB control.
Supervised autonomy for autonomous underwater vehicles (AUVs) using limited bandwidth communication channels. The project aims to improve the feedback link between an autonomous underwater vehicle (AUV) and an operator by developing novel acoustic communication schemes that exploit developments in machine learning, network, and communication theory and represents a step towards truly autonomous and intelligent surveying using AUV systems.
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