Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is mo ....Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is more efficient than a traditional model checker during the design phase because it does only a minimum amount of work in its search for a fault.Read moreRead less
ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand add ....ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand addresses issues about methodology, modelling toolkits, and management and control. Practical applications are advanced via collaborative projects that address key issues in biology, environment, and socio-economics.Read moreRead less
New Model Predictive Control Design Methods. Automatic computer control is fundamental to sustaining a wide range of manufacturing, mineral processing, chemical processing, and other industries vital to the Australian economy. Furthermore, the efficiency, profitability, and environmental impact of these operations is directly linked to the quality of this computer control. In many situations, even a few percent improvement in automatic control delivers dividends measured in many millions of doll ....New Model Predictive Control Design Methods. Automatic computer control is fundamental to sustaining a wide range of manufacturing, mineral processing, chemical processing, and other industries vital to the Australian economy. Furthermore, the efficiency, profitability, and environmental impact of these operations is directly linked to the quality of this computer control. In many situations, even a few percent improvement in automatic control delivers dividends measured in many millions of dollars. This project will develop design tools allowing for more sophisticated, high performance control to be more widely employed. This will deliver the potential for economic and environmental benefits and energy savings to be achieved across a range of industries.Read moreRead less
Novel time-frequency techniques for analysing and modeling non-stationary physical and engineering data. This project addresses an issue of fundamental importance in science and technology, where non-stationary data (which have time-varying statistics) are ubiquitous. Therefore, the development of time-frequency tools to model and analyse non-stationary data has great potential for impact in a wide range of areas reaching from seismic data analysis to biomedical signal processing to sonar and ra ....Novel time-frequency techniques for analysing and modeling non-stationary physical and engineering data. This project addresses an issue of fundamental importance in science and technology, where non-stationary data (which have time-varying statistics) are ubiquitous. Therefore, the development of time-frequency tools to model and analyse non-stationary data has great potential for impact in a wide range of areas reaching from seismic data analysis to biomedical signal processing to sonar and radar. Employing techniques to be developed in this proposal, we expect to be able to classify and detect features of non-stationary data that were unrecognisable using hitherto known methods.Read moreRead less
Computational haemodynamics system for prediction of risk of rupture of cerebral aneurysms. Every year about 2000 Australians suffer a ruptured aneurysm in the brain and some 750 of these die within 4 weeks. Since there is an increase in the detection of unruptured aneurysms, especially in healthy young people, there is an urgent need to be able to decide which lead to rupture and to provide suitable treatment options. This project, which will provide markedly improved means of patient-specific ....Computational haemodynamics system for prediction of risk of rupture of cerebral aneurysms. Every year about 2000 Australians suffer a ruptured aneurysm in the brain and some 750 of these die within 4 weeks. Since there is an increase in the detection of unruptured aneurysms, especially in healthy young people, there is an urgent need to be able to decide which lead to rupture and to provide suitable treatment options. This project, which will provide markedly improved means of patient-specific risk determination for aneurysm rupture, will have significant impact in reducing associated costs on the national health burden due to cerebral hemorrhage and stroke, on community productivity and disability and on more efficient targeting of expensive and dangerous brain surgery.Read moreRead less
Discovering Activity Patterns Driven by High Impacts in Heterogeneous and Imbalanced Data. The identification of high impact activities is important for detecting and preventing their occurrences and reducing resulting risks and losses to our society. This project will deliver cutting-edge techniques for effectively extracting activity patterns driven by high business impacts. It can safeguard Australia and build and transform Australian industries by delivering frontier techniques and smart pre ....Discovering Activity Patterns Driven by High Impacts in Heterogeneous and Imbalanced Data. The identification of high impact activities is important for detecting and preventing their occurrences and reducing resulting risks and losses to our society. This project will deliver cutting-edge techniques for effectively extracting activity patterns driven by high business impacts. It can safeguard Australia and build and transform Australian industries by delivering frontier techniques and smart prevention and intervention capabilities to enhance key industries such as finance compliance, national security and crime reduction. The resulting activity mining system, researchers trained and high quality publications will further enhance Australia's global leading role in tackling critical data mining challenges and applications.Read moreRead less
A Framework for Adaptive Extensible Personae for Interactive Toys. This project will be of benefit in that it will facilitate the development of quality toys, based on sound psychological foundations. These toys will have a long life since they can be extended over time, growing with the child. There is also potential to be used for children with psychological difficulties, and applications in health and aged-care. This project will provide opportunities for Australian business, and will also h ....A Framework for Adaptive Extensible Personae for Interactive Toys. This project will be of benefit in that it will facilitate the development of quality toys, based on sound psychological foundations. These toys will have a long life since they can be extended over time, growing with the child. There is also potential to be used for children with psychological difficulties, and applications in health and aged-care. This project will provide opportunities for Australian business, and will also help to keep Australia at the forefront in the area of intelligent agent technology. It is an example of a project that helps create a culture of innovation in Australian industry.Read moreRead less
Domain-Driven Actionable Link Discovery. Driven by emergent data mining applications such as detecting terrorist and distributed fraudulent activities, this project will deliver effective techniques and algorithms for discovering isolated yet important links dispersed across related enterprise information systems. The outcomes will enable Australia to play a significant role in the new link discovery area. They will empower Australian organizations with powerful data mining capabilities to deal ....Domain-Driven Actionable Link Discovery. Driven by emergent data mining applications such as detecting terrorist and distributed fraudulent activities, this project will deliver effective techniques and algorithms for discovering isolated yet important links dispersed across related enterprise information systems. The outcomes will enable Australia to play a significant role in the new link discovery area. They will empower Australian organizations with powerful data mining capabilities to deal with critical cross-organization problems, for instance, counter-terrorism, cross-market surveillance, auditing surveillance and social network analysis. They will enhance Australian social security, compliance and life quality through smart information use.Read moreRead less
Sound and Shape Synthesis Using Tensegrity Particle Systems. Pixar's Toy Story amazed audiences with its computer-generated images, yet the sound was still composed and ?tuned? almost wholly by human hand. In industry, virtual reality systems are increasingly applied to simulation and visualisation but, in general, 'sound? is poorly handled. In this project, we seek to research complex systems that will simulate an object's sound, shape and interaction characteristics in a unified approach. Our ....Sound and Shape Synthesis Using Tensegrity Particle Systems. Pixar's Toy Story amazed audiences with its computer-generated images, yet the sound was still composed and ?tuned? almost wholly by human hand. In industry, virtual reality systems are increasingly applied to simulation and visualisation but, in general, 'sound? is poorly handled. In this project, we seek to research complex systems that will simulate an object's sound, shape and interaction characteristics in a unified approach. Our proposed Tensegrity particle systems generate minimal, stable and robust descriptions of objects in interacting situations. This represents a new and unique approach to the unified representation of multimedia objects with applications in manufacturing and entertainment.Read moreRead less
Agent-based methods for communication system design in complex organisations. There is a direct opportunity to directly improve the efficiency, effectiveness, and safety of health work as a result of improved communication tools arising from this project. The current evidence that poor communication systems and practices significantly impair clinical work, and are related to avoidable clinical error and patient death, suggest compelling national benefits. Health represents 10% of GDP, and comm ....Agent-based methods for communication system design in complex organisations. There is a direct opportunity to directly improve the efficiency, effectiveness, and safety of health work as a result of improved communication tools arising from this project. The current evidence that poor communication systems and practices significantly impair clinical work, and are related to avoidable clinical error and patient death, suggest compelling national benefits. Health represents 10% of GDP, and communication technologies have yet to be significantly exploited here. There are substantial commercial opportunities nationally, for successful new communication services that service health care. Internationally the markets may be even larger, as healthcare is a larger proportion of GDP in nations such as the US. Read moreRead less