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
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
New perspectives on computing methods for mathematical signal processing. This project determines how best to design computing methods for challenging demands in signal processing. The expected conceptual & algorithmic advances will have significant repercussions in a number of fields including optimal filtering theory and will contribute to applications ranging from bio-informatics to electrical engineering. The new techniques will allow development of software that will benefit Australian in ....New perspectives on computing methods for mathematical signal processing. This project determines how best to design computing methods for challenging demands in signal processing. The expected conceptual & algorithmic advances will have significant repercussions in a number of fields including optimal filtering theory and will contribute to applications ranging from bio-informatics to electrical engineering. The new techniques will allow development of software that will benefit Australian industries and technologies. The formation of a strong research team across four universities in Australia, USA and Japan will enhance our scientific standing in the international community and will place Australian researchers at the forefront of world-class research methods. Read moreRead less
Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that woul ....Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that would benefit by such technology is the Australian Navy, which is increasingly being confronted with the challenge of integrating off-the-shelf components in large Naval Combat Systems. Read moreRead less
Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and los ....Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and loss of life or serious accidents in safety critical areas (medical, transport and defence applications). It is thus of utmost importance that distributed systems are designed correctly. This project aims to advance the state of the art in verifying that distributed systems will work correctly.Read moreRead less
Numerical Modelling of Injection Moulding for Viscoplastic Fluids. The project aims to modify and extend the numerical software developed by the world renowned Moldflow Pty Ltd, Melbourne, for the simulation of injection moulding in the plastics industry. The significance of the project lies in the application of the relatively new mathematical tool, called the variational inequality approach, to the problem of solidification of the molten plastic in a mould. The expected outcomes lie in the dev ....Numerical Modelling of Injection Moulding for Viscoplastic Fluids. The project aims to modify and extend the numerical software developed by the world renowned Moldflow Pty Ltd, Melbourne, for the simulation of injection moulding in the plastics industry. The significance of the project lies in the application of the relatively new mathematical tool, called the variational inequality approach, to the problem of solidification of the molten plastic in a mould. The expected outcomes lie in the development of new software for use in the plastics industry, which will improve the production of fibre reinforced thermoplastics throughout the world.Read moreRead less
Viscoplasticity, Solidification and Non-Isotropic Heat Transfer in Injection Moulding. The development of new software for use by the plastics industry will maintain Australia's position at the forefront of research contributing to improved production in this extremely important manufacturing sector. The application of this research by Melbourne's Moldflow, already the world's leading supplier of injection moulding software, will consolidate its position and enable it to increase further its mar ....Viscoplasticity, Solidification and Non-Isotropic Heat Transfer in Injection Moulding. The development of new software for use by the plastics industry will maintain Australia's position at the forefront of research contributing to improved production in this extremely important manufacturing sector. The application of this research by Melbourne's Moldflow, already the world's leading supplier of injection moulding software, will consolidate its position and enable it to increase further its market share, with consequential employment and other economic flow-on benefits to Australia. This project also increases the quantum of industry relevant scientific research, contributing to the enhancement of the national profile in exporting Australian products to world markets. 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