Complex Multiscale Systems: Modeling, Analysis and Scientific Computation. This project aims to develop and implement a systematic approach, both analytic and computational, to extract compact, accurate, system level models of complex physical and engineering systems. The wide ranging methodology is to construct computationally efficient "wrappers" around fine scale, microscopic, detailed descriptions of dynamical systems (particle or molecular simulation, or partial differential equations or la ....Complex Multiscale Systems: Modeling, Analysis and Scientific Computation. This project aims to develop and implement a systematic approach, both analytic and computational, to extract compact, accurate, system level models of complex physical and engineering systems. The wide ranging methodology is to construct computationally efficient "wrappers" around fine scale, microscopic, detailed descriptions of dynamical systems (particle or molecular simulation, or partial differential equations or lattice equations). Comprehensively accounting for multiscale interactions between subgrid processes among macroscale variations ensures stability and accuracy. Based on dynamical systems theory and analysis, this approach is expected to empower systematic analysis and understanding for optimal macroscopic simulation for forthcoming exascale computing.Read moreRead less
The fundamental equations for inversion of operator pencils. This project seeks to deepen understanding of how complex systems may be significantly changed by incremental changes to ambient conditions. Mathematical models of complex systems (climate change processes, optimal driving strategies, efficient distribution policies, effective search routines) often depend on key parameters. If small perturbations to the parameters cause large changes to the solution, then the perturbations are said to ....The fundamental equations for inversion of operator pencils. This project seeks to deepen understanding of how complex systems may be significantly changed by incremental changes to ambient conditions. Mathematical models of complex systems (climate change processes, optimal driving strategies, efficient distribution policies, effective search routines) often depend on key parameters. If small perturbations to the parameters cause large changes to the solution, then the perturbations are said to be singular. This project aims to reveal the underlying mathematical structures and develop new computational algorithms to analyse a general class of perturbed systems both locally near an isolated singularity and globally. It plans to use these algorithms to solve systems of equations, calculate generalised inverse operators, examine perturbed Markov processes, and estimate exit times from meta-stable states in stochastic population dynamics.Read moreRead less
Accurate modelling of large multiscale dynamical systems for engineering and scientific simulation and analysis. In current modelling the underlying microscopic mechanisms are known, but the closures to translate microscale knowledge to a system level macroscopic description are rarely available. The project's computational methodologies will circumvent this stumbling block to radically change the modelling, exploration and understanding of complex systems.
Decomposition and Duality: New Approaches to Integer and Stochastic Integer Programming. Because of their rich modelling capabilities, integer programs are widely used in industry for decision making and planning. However their solution algorithms do not have the maturity of their cousins in convex optimisation, where the theory of strong duality is ubiquitous. Efficient methods for convex optimisation under uncertainty do not apply to the integer case, which is highly non-convex. Furthermore, i ....Decomposition and Duality: New Approaches to Integer and Stochastic Integer Programming. Because of their rich modelling capabilities, integer programs are widely used in industry for decision making and planning. However their solution algorithms do not have the maturity of their cousins in convex optimisation, where the theory of strong duality is ubiquitous. Efficient methods for convex optimisation under uncertainty do not apply to the integer case, which is highly non-convex. Furthermore, integer models usually assume the data is known with certainty, which is often not the case in the real world. This project will develop new theory and algorithms to enhance the analysis of integer models, including those that incorporating uncertainty, while also enabling the use of parallel computing paradigms. Read moreRead less
A new perturbation method for solving singular operator equations with applications to complex systems. This project will develop new methods for analysis of web-based search routines such as Google PageRank, a new algorithm for optimal estimation of random signals, more accurate error analysis in the approximate solution of singular systems of equations and enhanced understanding of models for the simulated management of urban stormwater. The project will involve collaboration between two Aus ....A new perturbation method for solving singular operator equations with applications to complex systems. This project will develop new methods for analysis of web-based search routines such as Google PageRank, a new algorithm for optimal estimation of random signals, more accurate error analysis in the approximate solution of singular systems of equations and enhanced understanding of models for the simulated management of urban stormwater. The project will involve collaboration between two Australian universities and a leading European Research Institute. It will provide employment and vital training for two postdoctoral Research fellows and research projects for three postgraduate students and two honours students.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 Theory and Algorithms for Nonsmooth Optimisation with Application to Integer Programming. Mathematical optimisation plays a key role in a wide variety of applications in business, industry, engineering and science. For example, airlines cannot fly and radiation treatment for cancer cannot be delivered without solving (a series of) optimisation problems. Some classes of optimisation problem are very well solved, with clear mathematical foundations, efficient algorithms, and reliable software ....New Theory and Algorithms for Nonsmooth Optimisation with Application to Integer Programming. Mathematical optimisation plays a key role in a wide variety of applications in business, industry, engineering and science. For example, airlines cannot fly and radiation treatment for cancer cannot be delivered without solving (a series of) optimisation problems. Some classes of optimisation problem are very well solved, with clear mathematical foundations, efficient algorithms, and reliable software implementations. Both nonsmooth and integer optimisation problems have a good mathematical basis, but there are "gaps"; existing methods cannot always solve real industrial problems. This project will deliver better methods, built on better theory, and so will yield better solutions for important applications.Read moreRead less
Multiscale modelling of systems with complex microscale detail. In modern science and engineering many complex systems are described by distinctly different microscale physical models within different regions of space. This project is to develop systematic mathematical and computational methods for the compact and accurate macroscale modelling and computation of such systems for application in industrial research and development. Our sparse simulations, justified with mathematical analysis, use ....Multiscale modelling of systems with complex microscale detail. In modern science and engineering many complex systems are described by distinctly different microscale physical models within different regions of space. This project is to develop systematic mathematical and computational methods for the compact and accurate macroscale modelling and computation of such systems for application in industrial research and development. Our sparse simulations, justified with mathematical analysis, use small bursts of particle/agent simulations, PDEs, or difference equations, to efficiently evaluate macroscale system-level behaviour. The objective is to accurately interface between disparate microscale models and establish provable predictions on how the microscale parameter spaces resolve at the macroscale.Read moreRead less
Multiscale modelling of systems with complex microscale detail. This project aims to develop systematic mathematical and computational methods for the compact and accurate macroscale modelling of systems with microscopic irregular details. The methodology, justified with mathematical analysis and computation, uses small bursts of particle/agent simulations, partial differential equation (PDEs), or difference equations, to efficiently predict macroscale behaviour. This project’s mathematical meth ....Multiscale modelling of systems with complex microscale detail. This project aims to develop systematic mathematical and computational methods for the compact and accurate macroscale modelling of systems with microscopic irregular details. The methodology, justified with mathematical analysis and computation, uses small bursts of particle/agent simulations, partial differential equation (PDEs), or difference equations, to efficiently predict macroscale behaviour. This project’s mathematical methodology aims to efficiently and accurately extract and simulate the collective dynamics which emerge on macroscales, leading to improved prediction and understanding of the significant features of these complex systems at the scale relevant to engineers and scientists.Read moreRead less