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
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
Singular and Analytic Perturbations, Slow and Fast Time Scales in Control Theory and Viability Theory and their Applications. We propose an innovative approach to several important classes of mathematical problems, whose data depend analytically on small perturbation parameters. Time scale problems, and, in particular, the interaction of two types of evolution, slow and fast, arise in many scientific domains (biotechnology, physics, engineering, etc).We expect to develop new techniques for analy ....Singular and Analytic Perturbations, Slow and Fast Time Scales in Control Theory and Viability Theory and their Applications. We propose an innovative approach to several important classes of mathematical problems, whose data depend analytically on small perturbation parameters. Time scale problems, and, in particular, the interaction of two types of evolution, slow and fast, arise in many scientific domains (biotechnology, physics, engineering, etc).We expect to develop new techniques for analysis and asymptotic optimisation of singularly perturbed control systems and Markov decision processes. In particular, we plan to establish links between general nonlinear optimal control problems with time average criteria and linear programming problems in the space of limit occupational measures generated by the underlying control system.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
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
Electronic Voting and Electoral Inclusion: Implications for South Australia. South Australia is unique in having a highly concentrated urban population, a large Aboriginal population living in remote regions, and non-compulsory voting enrolment. The voting inclusion of all South Australians therefore presents a number of challenges. The project explores the potential of electronic voting to improve voting access among residents of isolated and remote regions of South Australia. Levels and cau ....Electronic Voting and Electoral Inclusion: Implications for South Australia. South Australia is unique in having a highly concentrated urban population, a large Aboriginal population living in remote regions, and non-compulsory voting enrolment. The voting inclusion of all South Australians therefore presents a number of challenges. The project explores the potential of electronic voting to improve voting access among residents of isolated and remote regions of South Australia. Levels and causes of non-voting will be established using qualitative and quantitative research methods. Results will be assessed against a comprehensive literature analysis of the use of eVoting world-wide. Finally, recommendations for future directions will be made.Read moreRead less
Structured barrier and penalty functions in infinite dimensional optimisation and analysis. Very large scale tightly-constrained optimisation problems are ubiquitous and include water management, traffic flow, and imaging at telescopes and hospitals. Massively parallel computers can solve such problems and provide physically realisable solution only if subtle design issues are mastered. Resolving such issues is the goal of this project.
Construction of near optimal oscillatory regimes in singularly perturbed control systems via solutions of Hamilton-Jacobi-Bellman inequalities. Problems of optimal control of systems evolving in multiple time scales arise in a great variety of applications (from diet to environmental modelling). This project addresses the challenge of analytically and numerically constructing rapidly oscillating controls that would 'near optimally coordinate' the slow and fast dynamics.
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
Linear programming approach to nonlinear deterministic and stochastic control problems: perturbations methods and numerical analysis. The proposed research will significantly advance knowledge by creating new analytical and numerical methods for tackling complex nonlinear control problems arising in many applications. The study's outputs will lead to a deeper understanding of fundamental issues in mathematical modelling. Collaboration with renowned researchers will further improve Australia's st ....Linear programming approach to nonlinear deterministic and stochastic control problems: perturbations methods and numerical analysis. The proposed research will significantly advance knowledge by creating new analytical and numerical methods for tackling complex nonlinear control problems arising in many applications. The study's outputs will lead to a deeper understanding of fundamental issues in mathematical modelling. Collaboration with renowned researchers will further improve Australia's standing in the international research community. Also their visits may further promote research both within and outside the host institution. In particular, lectures and seminars that they will deliver will be transmitted to Australian universities participating in the Access Grid Room Project.Read moreRead less