Pattern formation of precursor films: a new mathematical model. This project aims to develop a new mathematical model to predict the pattern formation of a new class of permanent lubricants. Ionic liquids are conductive and do not evaporate, creating a unique opportunity to develop such coatings. These thin films form patterns where the pattern type (patches, stripes or holes) depends on the liquid/surface interaction. Only some patterns result in good lubrication; current limited understanding ....Pattern formation of precursor films: a new mathematical model. This project aims to develop a new mathematical model to predict the pattern formation of a new class of permanent lubricants. Ionic liquids are conductive and do not evaporate, creating a unique opportunity to develop such coatings. These thin films form patterns where the pattern type (patches, stripes or holes) depends on the liquid/surface interaction. Only some patterns result in good lubrication; current limited understanding of the pattern formation process hampers selection of a good lubricant for a chosen material. Current mathematical approaches are computationally expensive and time consuming. The new model expected from this project would provide a cheap, fast and reliable alternative for screening suitable liquid/surface pairs.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
Paving the way: an experimental approach to the mathematical modelling and design of permeable pavements. The intelligent use of permeable pavements will enable restoration of degraded land corridors. Collection and treatment of stormwater via filtration through porous media will improve water quality in urban environments and will also control flooding. The integration of ecology and urban living will present a revolutionary way to revitalize cities.
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
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
Optimal electromaterial structures for energy applications. This project aims to develop new mathematical and modelling approaches to determine optimal configurations and parameters for material structures created from three-dimensional printing of combined metals and electromaterials. Electromaterials are needed for sustainable energy, but solving coupled-systems of highly nonlinear governing equations is needed for optimal control of spatial arrangement and composition in nano and micro-struct ....Optimal electromaterial structures for energy applications. This project aims to develop new mathematical and modelling approaches to determine optimal configurations and parameters for material structures created from three-dimensional printing of combined metals and electromaterials. Electromaterials are needed for sustainable energy, but solving coupled-systems of highly nonlinear governing equations is needed for optimal control of spatial arrangement and composition in nano and micro-structural domains. Dealing with this mathematical complexity is critical to developing high efficiency energy generation and gas storage systems. This is expected to enhance transport mechanisms within electrochemical devices and create opportunities for industry to use electrofunctional materials.Read moreRead less
Multiscale Singularly Perturbed Control Systems. We propose to develop a unified averaging technique to analyse deterministic and stochastic multiscale singularly perturbed control systems. Such systems arise as mathematical models of real-world dynamical systems in which state variables can change their values with the rates of different orders of magnitude. The technique is based on the assumption that the system, which would describe the dynamics of the fast state variables if slow ones were ....Multiscale Singularly Perturbed Control Systems. We propose to develop a unified averaging technique to analyse deterministic and stochastic multiscale singularly perturbed control systems. Such systems arise as mathematical models of real-world dynamical systems in which state variables can change their values with the rates of different orders of magnitude. The technique is based on the assumption that the system, which would describe the dynamics of the fast state variables if slow ones were frozen, possesses certain ergodicity properties expressed in the existence of its limit occupational measures set. Conditions for the existence of such a set will be studied and its structure will be described.Read moreRead less
Duality, singular perturbations and numerical analysis in infinite dimensional linear programming problems related to problems of control of nonlinear dynamical systems. Problems of control of nonlinear dynamical systems attract continued interest of eminent researchers motivated by important applications and by the fact that analytical and/or numerical analysis of a general nonlinear control problem presents a challenging task. The outcomes of the project will be both fundamental theoretical re ....Duality, singular perturbations and numerical analysis in infinite dimensional linear programming problems related to problems of control of nonlinear dynamical systems. Problems of control of nonlinear dynamical systems attract continued interest of eminent researchers motivated by important applications and by the fact that analytical and/or numerical analysis of a general nonlinear control problem presents a challenging task. The outcomes of the project will be both fundamental theoretical results and readily applicable (linear programming based) algorithms that will equip researchers and engineers with new tools for analysis and numerical solution of nonlinear control problems (including problems that have been intractable so far). The project will further enhance Australia's international reputation in Control Theory and its Applications.
Read moreRead less
Saving energy on trains - demonstration, evaluation, integration. Reducing energy use from rail transport will significantly contribute to cutting carbon dioxide emissions. This project will develop a toolkit to facilitate the introduction of in-cab technologies that help train drivers save energy and stay on time. The toolkit will make it easier to demonstrate, evaluate and integrate the system in a range of railways.
Occupational Measures Approach to Long Run Average and Singularly Perturbed Optimal Control Problems. Problems of optimal control of long-run average and singularly perturbed systems arise in many applications. The project will lead to the development of new linear programming based techniques for analyzing these problems (including problems intractable so far) and finding their numerical solutions. The new techniques will have a potential to be further developed into software that can benefit A ....Occupational Measures Approach to Long Run Average and Singularly Perturbed Optimal Control Problems. Problems of optimal control of long-run average and singularly perturbed systems arise in many applications. The project will lead to the development of new linear programming based techniques for analyzing these problems (including problems intractable so far) and finding their numerical solutions. The new techniques will have a potential to be further developed into software that can benefit Australian industries and technologies. The proposed topic is in the focus of interest of many eminent researchers around the world and the dissemination of our results will further improve Australia's standing in the international research community. Read moreRead less