Unifying Foundations for Intelligent Agents. This project aims to drive forward the development of rigorous foundations for intelligent agents. The agent framework, the expected utility principle, sequential decision theory, and the information-theoretic foundations of inductive reasoning and machine learning have already brought significant order into the previously heterogeneous scattered field of artificial intelligence. This project aims to investigate an information-theoretic approach towar ....Unifying Foundations for Intelligent Agents. This project aims to drive forward the development of rigorous foundations for intelligent agents. The agent framework, the expected utility principle, sequential decision theory, and the information-theoretic foundations of inductive reasoning and machine learning have already brought significant order into the previously heterogeneous scattered field of artificial intelligence. This project aims to investigate an information-theoretic approach towards a unifying foundation for intelligent agents, which has recently spawned impressive applications. The theory is expected to provide a gold standard and valuable guidance for researchers working on smart software.Read moreRead less
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
AI Planning: The Next Generation. This is a project in Artificial Intelligence. It aims at extending and integrating automated planning (and other forms of reasoning) with learning to produce a new generation of planning systems that are robust, safe, scalable, and trusted. These are some of the most significant issues to address to accelerate the adoption of planning systems in industry. Expected outcomes include a pipeline to learn rich symbolic planning models from narrated demonstration vide ....AI Planning: The Next Generation. This is a project in Artificial Intelligence. It aims at extending and integrating automated planning (and other forms of reasoning) with learning to produce a new generation of planning systems that are robust, safe, scalable, and trusted. These are some of the most significant issues to address to accelerate the adoption of planning systems in industry. Expected outcomes include a pipeline to learn rich symbolic planning models from narrated demonstration videos, new ways to represent, learn, and search for generalised policies that are scalable and robust, and approaches to verify and explain generalised policies. The new systems should benefit the aerospace industry by assisting humans in assembling and delivering aerospace products.Read moreRead less
Fast Precision Robust Control of Resonant Flexible Systems. The project aims to produce new control system design tools to enable fast precision control of advanced engineering systems encorporating flexible structures. This should enable improved speed and accuracy in control systems for precision instruments such as atomic force microscopes along with improving control system performance in areas of precision engineering such as semiconductor manufacturing, robotics and microelectromechanical ....Fast Precision Robust Control of Resonant Flexible Systems. The project aims to produce new control system design tools to enable fast precision control of advanced engineering systems encorporating flexible structures. This should enable improved speed and accuracy in control systems for precision instruments such as atomic force microscopes along with improving control system performance in areas of precision engineering such as semiconductor manufacturing, robotics and microelectromechanical systems. The outcomes are expected to be new control system synthesis and modelling tools enabling fast and highly accurate control of industrial systems using nonlinear and switching elements and achieving high levels of robustness. This will benefit Australian precision manufacturing industries.Read moreRead less
Nonlinear Quantum Control Engineering. This project will develop tractable methods for the design of robust, nonlinear, coherent feedback control systems building on the approach of quantum risk sensitive control and extending classical nonlinear control methods. It will also develop methods to design robust and nonlinear filters and coherent observers for nonlinear and finite level quantum systems and apply these results to the design of robust measurement based quantum controllers. In addition ....Nonlinear Quantum Control Engineering. This project will develop tractable methods for the design of robust, nonlinear, coherent feedback control systems building on the approach of quantum risk sensitive control and extending classical nonlinear control methods. It will also develop methods to design robust and nonlinear filters and coherent observers for nonlinear and finite level quantum systems and apply these results to the design of robust measurement based quantum controllers. In addition, the project will apply coherent and measurement based robust control methods to achieve useful emergent behaviours in nonlinear quantum networks. Such emergent behaviours may involve the robust reduction of decoherence effects and the robust solution of quantum computational problems. 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
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
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