Robust Control Design using Micro-Actuators. Recent advances in micro-actuators have enabled many new applications in complex systems. Examples include ultra-high density disk drives, low-cost vibration tables, and micro-robotic systems. However, control design for these systems is very challenging because the micro-actuators have severely limited dynamic ranges and strong couplings. The proposed project aims to study new control design approaches for these complex systems. The work will focus o ....Robust Control Design using Micro-Actuators. Recent advances in micro-actuators have enabled many new applications in complex systems. Examples include ultra-high density disk drives, low-cost vibration tables, and micro-robotic systems. However, control design for these systems is very challenging because the micro-actuators have severely limited dynamic ranges and strong couplings. The proposed project aims to study new control design approaches for these complex systems. The work will focus on both theoretical studies and experimental applications of such systems. The outcome of the project will help put Australia in a more advanced position in this niche area of leading age technology.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
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
Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probab ....Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probability makes that particularly difficult.
The focus of this project is to develop new formal methods that are
economical and practical in use. Exploiting our recent advances in
probabilistic program semantics, we will add probability in a new
way to proven techniques in concurrency theory, including
refinement and hierarchical design.Read moreRead less
Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence ....Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devi ....Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devices that we might not even realise we are using.
Our research aims to make it easier and more effective to describe and then successfully build-in features that enforce security without adverse impact on usability.Read moreRead less
Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build ....Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build-in features that enforce security in software without adverse impact on usability. This research addresses National Security Priority 3, Smart technology, and will build on Australia's world-leading position in pioneering uptake of innovative technology.Read moreRead less
The Interplay of Feedback Control and Digital Communications. This project deals with two research topics in digital communications and control. The first is concerned with feedback communications for control systems, aiming to develop new design methods for network-based automation and control. The second studies new decoding and detection algorithms for digital communications. Applications of the proposed research work include network-based industrial control, wireless communication devices, a ....The Interplay of Feedback Control and Digital Communications. This project deals with two research topics in digital communications and control. The first is concerned with feedback communications for control systems, aiming to develop new design methods for network-based automation and control. The second studies new decoding and detection algorithms for digital communications. Applications of the proposed research work include network-based industrial control, wireless communication devices, and high density digital storage media. The cross-fertilisation of control systems and digital communications will help strengthen Australia's research expertise in the National Research Priority area "Information and Communications Technology" (ICT). Read moreRead less
The mathematics and language of engineering uncertainty, preference and utility. Australian engineering firms are principals in many high-profile projects. To defend their position, they must demonstrate both sound engineering and quality processes, which by international standards includes the traceability of decisions. Yet, there are few tools to vet the multitude of decisions that go into large-scale engineering works. This project aims to form mathematical models of decision-making based on ....The mathematics and language of engineering uncertainty, preference and utility. Australian engineering firms are principals in many high-profile projects. To defend their position, they must demonstrate both sound engineering and quality processes, which by international standards includes the traceability of decisions. Yet, there are few tools to vet the multitude of decisions that go into large-scale engineering works. This project aims to form mathematical models of decision-making based on the language modelling of what is written in engineering documentation about the bases of decisions. The new methods will help decision makers to pinpoint irrationalities in decisions and notify them of possible errors. The research can therefore be applied to important problems in the engineering sector such as risk management.Read moreRead less
SmartData: developing intelligent database system for communicating information to aviation and professional vehicle operators: towards safer transport industries. Detriments in human functional state is a major problem in the 'round the clock' transportation industries such as heavy-vehicle industry and aviation. The repetitive and monotonous nature of the tasks in these environments lead to fatigue, inattention and stress. This project proposes a unique and innovative SmartData system that w ....SmartData: developing intelligent database system for communicating information to aviation and professional vehicle operators: towards safer transport industries. Detriments in human functional state is a major problem in the 'round the clock' transportation industries such as heavy-vehicle industry and aviation. The repetitive and monotonous nature of the tasks in these environments lead to fatigue, inattention and stress. This project proposes a unique and innovative SmartData system that will interact with operators and their working environment to counteract detriments in human performance. The proposed SmartData system will have the capabilities of alerting and warning of potentially hazardous situations associated with degradations in human performance. This innovative project aims to improve the safety culture of two major transportation sectors.Read moreRead less