Exploiting the Symmetry of Spatial Awareness for 21st Century Automation. This project aims to enable autonomous robotic systems to operate more robustly and more reliably in the complex, cluttered and dynamic environments found in real-world applications. Applying the latest understanding of symmetry in non-linear systems and control provides tools that can be used to develop new design methodologies for spatial awareness algorithms. The outcomes of this project should increase Australia's ca ....Exploiting the Symmetry of Spatial Awareness for 21st Century Automation. This project aims to enable autonomous robotic systems to operate more robustly and more reliably in the complex, cluttered and dynamic environments found in real-world applications. Applying the latest understanding of symmetry in non-linear systems and control provides tools that can be used to develop new design methodologies for spatial awareness algorithms. The outcomes of this project should increase Australia's capacity in high-tech systems and deliver world best open source code for spatial awareness problems to enable the next generation of automation in Australia.Read moreRead less
Robust Coherent Control Engineering for Quantum Systems and Networks. This project aims to develop new methods for the design of robust coherent controllers for emerging applications to quantum systems and networks. Using robust controllers which are themselves quantum systems, tools from the theory of optimal risk sensitive control aim to enable technological systems to be designed with high levels of performance in the face of unavoidable uncertainties due to imperfect fabrication and interact ....Robust Coherent Control Engineering for Quantum Systems and Networks. This project aims to develop new methods for the design of robust coherent controllers for emerging applications to quantum systems and networks. Using robust controllers which are themselves quantum systems, tools from the theory of optimal risk sensitive control aim to enable technological systems to be designed with high levels of performance in the face of unavoidable uncertainties due to imperfect fabrication and interactions with the environment. The research aims to yield systematic control engineering methods to combat the effects of quantum decoherence which is critical in order to make quantum technologies such as quantum computing truly practical. Applications include computing, secure communications, sensing and simulationsRead 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
MemberGuard: Protecting Machine Learning Privacy from Membership Inference. Machine Learning has become a core part of many real-world applications. However, machine learning models are vulnerable to membership inference attacks. In these attacks, an adversary can infer if a given data record has been part of the model's training data. In this project, the team aims to develop new techniques that can be used to counter these attacks, such as 1) new analytical models for membership leakage, 2) ne ....MemberGuard: Protecting Machine Learning Privacy from Membership Inference. Machine Learning has become a core part of many real-world applications. However, machine learning models are vulnerable to membership inference attacks. In these attacks, an adversary can infer if a given data record has been part of the model's training data. In this project, the team aims to develop new techniques that can be used to counter these attacks, such as 1) new analytical models for membership leakage, 2) new methods for susceptibility diagnosis, 3) new defences that leverage privacy and utility. Data-oriented services are estimated to be valuable assets in the future. These techniques can help Australia gain cutting edge advantage in machine learning security and privacy and protect its intellectual property on these services.Read moreRead less
Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while pres ....Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while preserving the data privacy. These tools should provide significant benefits to the privacy of cloud users, as well as financial and reputation benefits to the IT industry, by significantly reducing the likelihood of massive user data privacy breaches in the event of a cyber-hacking attack on the cloud server.Read moreRead less
Optimisation of piezoelectric metamaterials: Towards robotic stress sensors. This project aims to design new piezoelectric material microstructures that can enhance the measurement of complex local stress states within robotic limbs. The project expects to generate new knowledge of the achievable properties of multi-poled piezoelectric materials and develop computational tools for the analysis and structural optimisation of such materials. The designed microstructures may revolutionise piezoelec ....Optimisation of piezoelectric metamaterials: Towards robotic stress sensors. This project aims to design new piezoelectric material microstructures that can enhance the measurement of complex local stress states within robotic limbs. The project expects to generate new knowledge of the achievable properties of multi-poled piezoelectric materials and develop computational tools for the analysis and structural optimisation of such materials. The designed microstructures may revolutionise piezoelectric sensor technology. Expected outcomes include manufactured proof-of-concept sensors that enable measurement of local stress fields. This should provide significant benefits, such as improved future robot capability and reliability, and research training for next-generation Australian computational mathematicians. Read moreRead less
Control and Optimization of Distributed Multiagent Formations. The project aims to develop a conceptual framework and algorithms for handling multi-vehicle formation control. Formations of unmanned airborne vehicles are currently used by defence forces and swarms of micro-vehicles are beginning to find increasing use in defence and for civilian emergency response, largely for surveillance purposes. Vehicles must cooperate to achieve a global formation objective, while respecting constraints on s ....Control and Optimization of Distributed Multiagent Formations. The project aims to develop a conceptual framework and algorithms for handling multi-vehicle formation control. Formations of unmanned airborne vehicles are currently used by defence forces and swarms of micro-vehicles are beginning to find increasing use in defence and for civilian emergency response, largely for surveillance purposes. Vehicles must cooperate to achieve a global formation objective, while respecting constraints on sensors, energy, and general mechanical limitations. The project aims to resolve the challenges of deciding what a single vehicle should observe, what and to where it should communicate, and how it should move in relation to what it sees. The conceptual framework developed may also be relevant in guiding future defence acquisitions and civilian applications.Read moreRead less
Verified concurrent memory management on modern processors. This project aims to formally verify automatic memory managers in the presence of concurrency and the weakly ordered memory of modern processors. A new framework for verifying memory managers, reusable for a wide range of managed programming languages, target hardware, policies, and algorithms will be developed. Expected technical outcomes include improved techniques to ensure trustworthiness of the foundations on which critical softwar ....Verified concurrent memory management on modern processors. This project aims to formally verify automatic memory managers in the presence of concurrency and the weakly ordered memory of modern processors. A new framework for verifying memory managers, reusable for a wide range of managed programming languages, target hardware, policies, and algorithms will be developed. Expected technical outcomes include improved techniques to ensure trustworthiness of the foundations on which critical software infrastructures are built. This will significantly enhance the security of public and private cyber assets, and deliver applications that are more robust and trustworthy, across a range of critical infrastructure such as transportation, communication, energy and defence.Read moreRead less
Next generation garbage collection: discovery, design, and development. This project aims to improve the performance of programming languages used by millions of Australians every day, such as Java, JavaScript and PHP by developing improved memory-management algorithms. These languages use what is referred to as “garbage collection” to ensure memory is managed without data loss, but do so conservatively and consequently cause performance challenges and energy overheads. This project expects to p ....Next generation garbage collection: discovery, design, and development. This project aims to improve the performance of programming languages used by millions of Australians every day, such as Java, JavaScript and PHP by developing improved memory-management algorithms. These languages use what is referred to as “garbage collection” to ensure memory is managed without data loss, but do so conservatively and consequently cause performance challenges and energy overheads. This project expects to provide these languages with improved memory-management algorithms, and provides researchers and industry with a framework for innovation. This project will enable safe software that is more efficient on today's hardware and able to exploit emerging hardware. This project should lead to better performance and energy savings for server applications, phones, watches, and smart appliances, while ensuring memory safety.Read moreRead less
Control of network systems with signed dynamical interconnections. New technologies such as online recommendations, smart grids, and cyber-physical systems are becoming backbone infrastructure. Such systems are operated as network systems with interconnected functioning units (agents) where cooperative and adversarial agent relations often coexist. This project aims to develop the theories and tools for designing and building dynamic networks with signed interactions that arise from a variety of ....Control of network systems with signed dynamical interconnections. New technologies such as online recommendations, smart grids, and cyber-physical systems are becoming backbone infrastructure. Such systems are operated as network systems with interconnected functioning units (agents) where cooperative and adversarial agent relations often coexist. This project aims to develop the theories and tools for designing and building dynamic networks with signed interactions that arise from a variety of applications where both cooperative and adversarial agent interactions coexist. By developing theories and algorithms for control and identification over such systems, this project will contribute directly to their safe and robust operation. The resulting theories will provide deeper understanding of network control systems and the resulting algorithms will enable the elimination of attackers and malicious users for online review systems and smart grids. This project will contribute to increased cybersecurity for all Australians.Read moreRead less