Multivariate Algorithmics: Meeting the Challenge of Real World computational complexity. This Project will result in better methods for designing the algorithms that all computer applications depend on. Algorithms are the instruction sets that tell computers how to process information. Some information processing tasks are intrinsically difficult, even for computers working at enormous speeds. This Project will deliver new mathematical approaches to overcome these difficulties. More efficient al ....Multivariate Algorithmics: Meeting the Challenge of Real World computational complexity. This Project will result in better methods for designing the algorithms that all computer applications depend on. Algorithms are the instruction sets that tell computers how to process information. Some information processing tasks are intrinsically difficult, even for computers working at enormous speeds. This Project will deliver new mathematical approaches to overcome these difficulties. More efficient algorithmic approaches for difficult problems enable advances in all areas of computer applications such as medical diagnosis and health prediction, national security, communications efficiency, industrial productivity and all fields of science and engineering.Read moreRead less
Fault tolerant multisensor feedback control. This project will advance knowledge by deepening the theoretical understanding of the interplay between multisensory data and feedback control mechanisms. It will also expand the tool sets of control engineering with innovative multisensory control designs. We see major benefits for Australia arising from this project both by enhancing its scientific reputation and by promoting technological advances in its industries and services. The project has pot ....Fault tolerant multisensor feedback control. This project will advance knowledge by deepening the theoretical understanding of the interplay between multisensory data and feedback control mechanisms. It will also expand the tool sets of control engineering with innovative multisensory control designs. We see major benefits for Australia arising from this project both by enhancing its scientific reputation and by promoting technological advances in its industries and services. The project has potential to contribute to the National Research Priority area: Frontier Technologies for Building and Transforming Australian Industries, since it has direct impact on the relevant areas of biotechnology, information, communication technology, nanotechnology and sensor technology.Read moreRead less
Development of a Multi Threat Risk Assessment Model for Critical Infrastructure Using Scripted Agent Computer Technology. Current risk assessment paradigms are not suited to the control of catastrophic events such as terrorism. An advanced approach to risk assessment will be developed in this project for rare high impact events such as bomb blasts, where critical infrastructure is threatened. A new software platform based on scripted agent modelling will be constructed that will allow for state ....Development of a Multi Threat Risk Assessment Model for Critical Infrastructure Using Scripted Agent Computer Technology. Current risk assessment paradigms are not suited to the control of catastrophic events such as terrorism. An advanced approach to risk assessment will be developed in this project for rare high impact events such as bomb blasts, where critical infrastructure is threatened. A new software platform based on scripted agent modelling will be constructed that will allow for state of the art models to be used as agents providing a dynamic risk evaluation and necessary information for actions to infrastructure owners and emergency responders as a threat develops. Both the developed scripted agent and the risk assessment technologies can be applied to other technologies and complex risks, such as waste disposal and biotechnology.Read moreRead less
Development of a Multi Threat Risk Assessment Model for Critical Infrastructure Using Scripted Agent Computer Technology. The project will develop a distributed risk network capable of real time assessment of multiple threats to critical infrastructure, which will guide decision making on the appropriate response as the nature of the threat changes. This will assist all stakeholders and allow an integrated response across industry and government agencies. The developed technology will find read ....Development of a Multi Threat Risk Assessment Model for Critical Infrastructure Using Scripted Agent Computer Technology. The project will develop a distributed risk network capable of real time assessment of multiple threats to critical infrastructure, which will guide decision making on the appropriate response as the nature of the threat changes. This will assist all stakeholders and allow an integrated response across industry and government agencies. The developed technology will find ready application in other areas where integration of science and technology is required to solve complex problems. For example, risk network technology has application to natural hazards, waste disposal and financial markets while the scripted agent has application to communication technologies and sensor networks.Read moreRead less
Robust Dynamical System Identification. Innovative robust system identification methods are a Frontier Technology for Transforming Australian Industries. Robust system identification will provide a technology for generating high fidelity models by the use of breakthrough science. With the majority of advanced industrial control systems reliant on accurate models significant savings could be made due to the implicit improvement in process control. Furthermore, system identification is a key enabl ....Robust Dynamical System Identification. Innovative robust system identification methods are a Frontier Technology for Transforming Australian Industries. Robust system identification will provide a technology for generating high fidelity models by the use of breakthrough science. With the majority of advanced industrial control systems reliant on accurate models significant savings could be made due to the implicit improvement in process control. Furthermore, system identification is a key enabling technology in most modern systems (e.g. in aerospace, manufacturing, mining, minerals processing and telecommunications) and is also important in the emerging areas of nanotechnology and systems biology.Read moreRead less
Algebraic Properties of Cryptographic Components and their Cryptanalysis. The outcomes will enhance information and communication security, which is absolutely crucial for the rapidly growing e-commerce and e-government services in Australia. International collaboration will be strengthened by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. Our project will help to maintain a high profile of Australian researchers, to i ....Algebraic Properties of Cryptographic Components and their Cryptanalysis. The outcomes will enhance information and communication security, which is absolutely crucial for the rapidly growing e-commerce and e-government services in Australia. International collaboration will be strengthened by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. Our project will help to maintain a high profile of Australian researchers, to increase the capacity for consultancy and contract work, and provide a cutting-edge information technology for the Australian telecommunications industry, business and government.Read moreRead less
Computer Assisted Research Mathematics and its Applications. The mathematics community will benefit from infusion of new computer-assisted techniques and modalities for research and training post-graduate students, both from my pure research project and through development of an associated research centre. Ultimately, this should also help more school students learn mathematics well and so play a part in addressing Australia's skill shortage. Also, the work on optimization algorithms promises to ....Computer Assisted Research Mathematics and its Applications. The mathematics community will benefit from infusion of new computer-assisted techniques and modalities for research and training post-graduate students, both from my pure research project and through development of an associated research centre. Ultimately, this should also help more school students learn mathematics well and so play a part in addressing Australia's skill shortage. Also, the work on optimization algorithms promises to improve the performance and quality of many practical signal reconstruction methods. These are used by varied Australian industries from telecommunication to mining and by researchers in the digital arts and fields such as astronomy, physics, chemistry, bioscience, geoscience, engineering and medicine.Read moreRead less
Towards a unified theory of constrained control and estimation. The project will investigate the implications of duality and other connections between constrained control and estimation. We believe that the research will result in a richer understanding of these problems. In particular, we envisage an impact in at least four areas: (i) Computational issues, i.e., development of more efficient algorithms for constrained problems. (ii) Geometry of constrained problems, by extending recent results ....Towards a unified theory of constrained control and estimation. The project will investigate the implications of duality and other connections between constrained control and estimation. We believe that the research will result in a richer understanding of these problems. In particular, we envisage an impact in at least four areas: (i) Computational issues, i.e., development of more efficient algorithms for constrained problems. (ii) Geometry of constrained problems, by extending recent results pertaining to constrained control to estimation problems. (iii) Problems with mixed constraints, for example, interval and finite set constraints. (iv) Fundamental limitations imposed by constraints to filtering and control problems.Read moreRead less
Parsimonious Quantization in Signal Processing and Control. In today's society there is an abundance of data. Indeed, it could be argued that we suffer from data 'overload'. Thus to turn 'data' into actions, the need for parsimony in signal processing and control arises. For that purpose, the data must be sampled (in time) and quantized (in space). Within this context, the current project is aimed at understanding aspects of sampled parsimonious quantization. The results have widespread practica ....Parsimonious Quantization in Signal Processing and Control. In today's society there is an abundance of data. Indeed, it could be argued that we suffer from data 'overload'. Thus to turn 'data' into actions, the need for parsimony in signal processing and control arises. For that purpose, the data must be sampled (in time) and quantized (in space). Within this context, the current project is aimed at understanding aspects of sampled parsimonious quantization. The results have widespread practical uses including digital cameras, video compression, audio quantization, control over communication networks, switching of electronic devices and many others.Read moreRead less
Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop form ....Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop formally
based interoperability between the PVS and Maude systems, two widely
used computer tools for reasoning about complex systems.Read moreRead less