Model checking Multi-Agent System and its applications. This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing impro ....Model checking Multi-Agent System and its applications. This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing improved ways of military operation flows, and for making Australian security communication systems more dependable.Read moreRead less
Networked control systems: harnessing an emerging technology. Drive-by-wire cars, fly-by-wire aircraft and sensor/actuator wireless networks in process and manufacturing industries are just a few examples of emerging networked control technologies that are currently reshaping our world. These technological advances have a vast potential to reduce the cost, weight and volume of engineered systems, simplify their maintenance and installation and their novel architectures and features may enable u ....Networked control systems: harnessing an emerging technology. Drive-by-wire cars, fly-by-wire aircraft and sensor/actuator wireless networks in process and manufacturing industries are just a few examples of emerging networked control technologies that are currently reshaping our world. These technological advances have a vast potential to reduce the cost, weight and volume of engineered systems, simplify their maintenance and installation and their novel architectures and features may enable us to address significant environmental and socio-economic challenges, such as an increased demand for energy and other limited resources. This project will develop a systematic design methodology for networked control systems that will be essential in ensuring that its full potential is exploited.Read moreRead less
Optimal Control of Multi-Object System. Better understanding of multi-object systems developed from this research, in particular, optimal control algorithms for multi-object systems have several significant socio-economic benefits. Application areas that benefits from our research include aerospace applications such as radar, sonar, guidance, navigation, and air traffic control and non-aerospace areas such as image processing, oceanography autonomous vehicles and robotics, remote sensing, and bi ....Optimal Control of Multi-Object System. Better understanding of multi-object systems developed from this research, in particular, optimal control algorithms for multi-object systems have several significant socio-economic benefits. Application areas that benefits from our research include aerospace applications such as radar, sonar, guidance, navigation, and air traffic control and non-aerospace areas such as image processing, oceanography autonomous vehicles and robotics, remote sensing, and biomedical research. The sensor network discipline also stand to benefit from the understanding of multi-object system and control framework. Read moreRead less