Numerical Algorithms for Constructing Feedback Control Laws. Many decision making problems in engineering, finance and management are governed by optimal feedback control systems. These systems are normally too complex to be solved by conventional numerical methods. In this project, we propose to develop novel numerical algorithms for constructing feedback control laws. We will also investigate the procatical significance of these algorithms for solving real-world problems. The outcome of the pr ....Numerical Algorithms for Constructing Feedback Control Laws. Many decision making problems in engineering, finance and management are governed by optimal feedback control systems. These systems are normally too complex to be solved by conventional numerical methods. In this project, we propose to develop novel numerical algorithms for constructing feedback control laws. We will also investigate the procatical significance of these algorithms for solving real-world problems. The outcome of the project will provide efficient and accurate tools for constructing feedback laws in high dimensions.Read moreRead less
Optimum design of controlled drug delivery systems. Controlled drug delivery systems are ideal to achieve localised release of drugs at an effective rate for a prolonged period. They have the merit of optimising drug absorption by a body, relieving patients from frequent administration and high dosage of drugs which often result in drug wastage, patients' inconvenience and more importantly the side effects that can be fatal. The success of this project will (1) enhance the Australia pharmaceutic ....Optimum design of controlled drug delivery systems. Controlled drug delivery systems are ideal to achieve localised release of drugs at an effective rate for a prolonged period. They have the merit of optimising drug absorption by a body, relieving patients from frequent administration and high dosage of drugs which often result in drug wastage, patients' inconvenience and more importantly the side effects that can be fatal. The success of this project will (1) enhance the Australia pharmaceutical industry's competitiveness in the global market, (2) provide good medication for the treatment of various diseases, promoting good health of Australians, (3) lead to new mathematical models and solutions that are also applicable to such fields as resources and environmental systems.Read moreRead less
Automation of metric temporal reasoning. A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.
automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalis ....automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalisms include branching time and competing coalitions of agents. This project is to take early advantage of recent breakthroughs in automated logical reasoning with such models by the investigator to deliver general practical techniques of system development and verification.Read moreRead less
Devising sophisticated computational comparative genomic analysis strategies for animal and plant genomes. Given the significance of comparative genomic analysis, this research proposal brings together Australian scientists with a track record in comparative genomic analysis, bioinformatics, molecular biology and statistics to work on consolidating a computational framework for comparative genomic analysis and investigating transcriptome data by capitalising on international collaborations and i ....Devising sophisticated computational comparative genomic analysis strategies for animal and plant genomes. Given the significance of comparative genomic analysis, this research proposal brings together Australian scientists with a track record in comparative genomic analysis, bioinformatics, molecular biology and statistics to work on consolidating a computational framework for comparative genomic analysis and investigating transcriptome data by capitalising on international collaborations and involvement. The outcomes of this research will be of benefit to the national community through technology transfer (such as the identification of novel and functional genomic non-coding sequences), training (in bioinformatics related activities) and national coordination (of bioinformatics activities).Read moreRead less