Image-based teleoperation of semi-autonomous robotic vehicles. This project will contribute strongly to Australia's robotic service industry in the development of semi-autonomous robotic inspection vehicles by; developing core technology in image-based teleoperation, training experts in the area, promoting the study of this topic within the Australian academia, and developing test facilities and prototype vehicles. Robotic inspection vehicles have the potential to replace direct human presence i ....Image-based teleoperation of semi-autonomous robotic vehicles. This project will contribute strongly to Australia's robotic service industry in the development of semi-autonomous robotic inspection vehicles by; developing core technology in image-based teleoperation, training experts in the area, promoting the study of this topic within the Australian academia, and developing test facilities and prototype vehicles. Robotic inspection vehicles have the potential to replace direct human presence in difficult, dangerous or simply uncomfortable inspection tasks such as; inspection of industrial pressure vessels, piping and conduits in factories or mines, undersea cabling, inspection of bridges, dams and other large scale civil buildings, amongst many other possibilities.Read moreRead less
Efficient Algorithms for Multiple Object Filtering using Stochastic Geometry. The outcomes of this project will enhance our ability to harness advances in sensing and computing technologies and develop automated systems which facilitate rapid and reliable detection and monitoring of potential threats in our air, sea, and land space. Such systems assist our defence personnel in the event of a threat to implement measured and effective responses, and ultimately enhance Australia's operational adva ....Efficient Algorithms for Multiple Object Filtering using Stochastic Geometry. The outcomes of this project will enhance our ability to harness advances in sensing and computing technologies and develop automated systems which facilitate rapid and reliable detection and monitoring of potential threats in our air, sea, and land space. Such systems assist our defence personnel in the event of a threat to implement measured and effective responses, and ultimately enhance Australia's operational advantage, in line with the national research priority of 'Safeguarding Australia' and its associated priority goals. The developed technologies also have significant commercial potential which benefit Australian industries in areas such as robotics, automotive safety and biomedical engineering.Read moreRead less
Extending the scope of modular analysis for the validation of large systems. The increasing complexity of computer systems has severe implications for verification and validation, especially for critical systems (e.g. medical supervision, avionics mission systems). The standard approach is to build a formal model of the system and automatically analyse its behaviour. Such models can be captured in a modular, high-level description, but the number of states is usually so large as to preclude an ....Extending the scope of modular analysis for the validation of large systems. The increasing complexity of computer systems has severe implications for verification and validation, especially for critical systems (e.g. medical supervision, avionics mission systems). The standard approach is to build a formal model of the system and automatically analyse its behaviour. Such models can be captured in a modular, high-level description, but the number of states is usually so large as to preclude analysis. The modular analysis proposed in this project matches the analysis technique to the structure of the model. Preliminary results are promising and motivate the extension of the technique to a larger class of modular descriptions.Read moreRead less
Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and los ....Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and loss of life or serious accidents in safety critical areas (medical, transport and defence applications). It is thus of utmost importance that distributed systems are designed correctly. This project aims to advance the state of the art in verifying that distributed systems will work correctly.Read moreRead less
Remote Delivery and Capture of Payloads using Aerial Deployed Tethers. The capability to rapidly transport payloads to and from remote locations is critical for search and rescue, disaster relief, remote communities, and military operations. Conventional technology is not well suited to this role, hence we propose to develop an intelligent system to manoeuvre a tether, towed from an aircraft, to pick-up or set-down a payload, with zero surface velocity. Because of the complex, nonlinear dynamics ....Remote Delivery and Capture of Payloads using Aerial Deployed Tethers. The capability to rapidly transport payloads to and from remote locations is critical for search and rescue, disaster relief, remote communities, and military operations. Conventional technology is not well suited to this role, hence we propose to develop an intelligent system to manoeuvre a tether, towed from an aircraft, to pick-up or set-down a payload, with zero surface velocity. Because of the complex, nonlinear dynamics of a cable-body system, advanced modelling and nonlinear optimal control will be applied in this task. The resulting world-first system will provide important economic opportunities and demonstrate Australian scientific capacity for novel developing intelligent systems.Read moreRead less
Dynamic Simulation of Gear and Bearing Interactions in Gearboxes for Improved Diagnostics and Prognostics of Faults. The techniques to be developed in this project should become the international standard for diagnostic and prognostic techniques for high speed gearboxes, and improve the performance of Australian industry. Australia being a major supplier of natural resources, with many mines in remote locations, it is heavily dependent on machine condition monitoring techniques, such as those be ....Dynamic Simulation of Gear and Bearing Interactions in Gearboxes for Improved Diagnostics and Prognostics of Faults. The techniques to be developed in this project should become the international standard for diagnostic and prognostic techniques for high speed gearboxes, and improve the performance of Australian industry. Australia being a major supplier of natural resources, with many mines in remote locations, it is heavily dependent on machine condition monitoring techniques, such as those being developed in the project, to maximise output and minimise the likelihood of catastrophic failure. The techniques also give improved safety, for example of helicopters, which are suspended from the gearbox, making it a very critical component. This will be of considerable benefit to both civil and military operators of helicopters, both important to Australia.Read moreRead less