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
Optimisation of embedded virtual complex systems by re-using a library of available components. Nowadays, there are benefits in building complex embedded systems, such as a house surveillance agent, by re-using and combining available modules, such as cameras, blinds, phones, lights, etc. Because complete construction may be impossible, this project devises methods for automatically achieving the desired system to the highest-degree possible.
Representation and Reasoning for Cognitive Personal Robotics. Robotic systems are becoming increasingly more sophisticated and prevalent. Developing complex and maintainable robot programs to control these systems remains a significant challenge particularly given the diversity of robot platforms and application areas. This project aims to build on advances in problem solving and programming paradigms in Artificial Intelligence, applying them to learning sophisticated robot programs. These techn ....Representation and Reasoning for Cognitive Personal Robotics. Robotic systems are becoming increasingly more sophisticated and prevalent. Developing complex and maintainable robot programs to control these systems remains a significant challenge particularly given the diversity of robot platforms and application areas. This project aims to build on advances in problem solving and programming paradigms in Artificial Intelligence, applying them to learning sophisticated robot programs. These techniques have the potential to provide for elaboration tolerance, knowledge/program maintenance and optimisation of performance. This project aims to develop techniques for building sophisticated declarative robot programs. It aims to achieve this by learning procedural robot programs and turning them into maintainable declarative robot programs.Read moreRead less
Representing and reasoning about ability for robots to use the cloud. While robots have come a long way they are still hampered by processing and data storage limitations. Component based robot middleware and facilities provided by cloud computing provide means for addressing these issues. This project develops technology for representing and reasoning about robot abilities so as to take advantage of these advances.