Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented i ....Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented is very important in their design. This project will develop leading-edge performance analysis techniques and tools for an important class of practical systems. There is potential to commercialise the resulting tools and methodology and to transfer the expertise to industry.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
Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. ....Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. The reduction techniques will be implemented and evaluated using important transaction protocols for electronic commerce and internet enabled wireless communications. The technique will also be applied to so called 'object-oriented' modelling languages.Read moreRead less
Mathematical Foundations of Distributed Radar. Conventional military threats to Australia are large or fast moving objects such as ships and aircraft and conventional radar systems are designed to handle such threats. Recent global political shifts have changed the threats to include objects that are small and slowly moving, such as people, small vehicles and boats. Advances in radar hardware make feasible small, low-powered, devices with inherently reduced performance in comparison to deployed ....Mathematical Foundations of Distributed Radar. Conventional military threats to Australia are large or fast moving objects such as ships and aircraft and conventional radar systems are designed to handle such threats. Recent global political shifts have changed the threats to include objects that are small and slowly moving, such as people, small vehicles and boats. Advances in radar hardware make feasible small, low-powered, devices with inherently reduced performance in comparison to deployed systems. Methods for information integration over a dispersed system of such small devices, design of suitable waveform suites and clever local signal processing algorithms will be developed to achieve the performance improvements the hardware offers, to handle the new threats.Read moreRead less
Resource-aware Signal Processing and Control Algorithms for Networked Sensor Systems. Networked sensing and control is an important technology for Australia's future. Applications range from monitoring wildlife habitats to safety management of large civil structures. This project will lead to sustainable engineering solutions for these applications and provide key fundamental performance limits. Beyond the creation of new theory and algorithms, the national and community benefits will include: ....Resource-aware Signal Processing and Control Algorithms for Networked Sensor Systems. Networked sensing and control is an important technology for Australia's future. Applications range from monitoring wildlife habitats to safety management of large civil structures. This project will lead to sustainable engineering solutions for these applications and provide key fundamental performance limits. Beyond the creation of new theory and algorithms, the national and community benefits will include: (i) enhancement of Australia's reputation for innovative Engineering research through quality publications and international collaborations; and (ii) improvement of the research and development capability in the ICT sector through rigorous training of postgraduate students and postdoctoral fellows.Read moreRead less
Inverse and related problems in statistics. Modern statistical inverse problems arise in fields from astronomy and biology to engineering and finance. Sometimes the problems involve the analysis of small samples of very high dimensional data, and are central to information aquisition in areas such as genomics and signal analysis. All these topics are of significant national importance, and their solution will bring national and community benefits. In addition, the program to which the proposa ....Inverse and related problems in statistics. Modern statistical inverse problems arise in fields from astronomy and biology to engineering and finance. Sometimes the problems involve the analysis of small samples of very high dimensional data, and are central to information aquisition in areas such as genomics and signal analysis. All these topics are of significant national importance, and their solution will bring national and community benefits. In addition, the program to which the proposal will lead will be used extensively for research training. In Australia, where the demand for research-trained statisticians greatly exceeds supply, this contribution to the nation and the community will be particularly important. Read moreRead less
Distributed Estimation and Control under Communication Constraints. Sensor networks will be an important technology for Australia's future. Applications range from monitoring water quality to controlling complex defence systems. This project will lead to a better understanding of the fundamental limits of wireless sensor networks. Above and beyond the creation of new theory and algorithms, the national and community benefits will include: (i) enhancement of Australia's reputation for innovative ....Distributed Estimation and Control under Communication Constraints. Sensor networks will be an important technology for Australia's future. Applications range from monitoring water quality to controlling complex defence systems. This project will lead to a better understanding of the fundamental limits of wireless sensor networks. Above and beyond the creation of new theory and algorithms, the national and community benefits will include: (i) enhancement of Australia's reputation for innovative Engineering research through quality publications and international collaborations; and (ii) improvement of the research and development capability in the information and communications technology sector through high level training of postgraduate students and postdoctoral fellows in this important technology.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
Peace Building and Responsive Governance in Asia and the Pacific. War causes not only human suffering; it threatens the health and education of generations of children, sets back regional economies and encourages warlords to become transnational criminals who traffic in drugs, people, money laundering, guns and terror across Australia's region.
Fresh insights will be obtained from the successes and failures of attempts to build peace in failing states that Australia sees as a threat to our sec ....Peace Building and Responsive Governance in Asia and the Pacific. War causes not only human suffering; it threatens the health and education of generations of children, sets back regional economies and encourages warlords to become transnational criminals who traffic in drugs, people, money laundering, guns and terror across Australia's region.
Fresh insights will be obtained from the successes and failures of attempts to build peace in failing states that Australia sees as a threat to our security. These national and regional diagnoses will enhance the quality of Australia's contribution to security and stability in our part of the globe and enhance national capacity to contribute to global peace strategies. Read moreRead less
Performance evaluation and characterisation for filtering in multi-object system. The project falls within the National Research Priority of 'Safeguarding Australia' and associated research priority goal of 'Transforming Defence Technology'. The project outcomes will provide cutting edge technology in surveillance, and monitoring of potential threat in our air, sea, and land space. Fast, reliable information enable our personnel to make timely, intelligent judgements, and appropriate responses i ....Performance evaluation and characterisation for filtering in multi-object system. The project falls within the National Research Priority of 'Safeguarding Australia' and associated research priority goal of 'Transforming Defence Technology'. The project outcomes will provide cutting edge technology in surveillance, and monitoring of potential threat in our air, sea, and land space. Fast, reliable information enable our personnel to make timely, intelligent judgements, and appropriate responses in the event of a threat, thereby maintaining Australia's operational advantage. Other application areas that benefits from our research include radar, sonar, guidance, navigation, air traffic control, image processing, oceanography, autonomous vehicles and robotics, remote sensing, and biomedical research.
Read moreRead less