Numerical Algorithms for Constructing Feedback Control Laws. Many decision making problems in engineering, finance and management are governed by optimal feedback control systems. These systems are normally too complex to be solved by conventional numerical methods. In this project, we propose to develop novel numerical algorithms for constructing feedback control laws. We will also investigate the procatical significance of these algorithms for solving real-world problems. The outcome of the pr ....Numerical Algorithms for Constructing Feedback Control Laws. Many decision making problems in engineering, finance and management are governed by optimal feedback control systems. These systems are normally too complex to be solved by conventional numerical methods. In this project, we propose to develop novel numerical algorithms for constructing feedback control laws. We will also investigate the procatical significance of these algorithms for solving real-world problems. The outcome of the project will provide efficient and accurate tools for constructing feedback laws in high dimensions.Read moreRead less
Quantum entanglement and its role in complex quantum systems. Quantum entanglement - non-classical correlations in quantum states - is the physical resource at the heart of modern applications of quantum technology, such as absolutely secure communication, and teleportation of quantum states from one location to another. This project aims to deepen our theoretical understanding of entanglement by characterizing the type and amount of entanglement present in the ground and thermal states of a ge ....Quantum entanglement and its role in complex quantum systems. Quantum entanglement - non-classical correlations in quantum states - is the physical resource at the heart of modern applications of quantum technology, such as absolutely secure communication, and teleportation of quantum states from one location to another. This project aims to deepen our theoretical understanding of entanglement by characterizing the type and amount of entanglement present in the ground and thermal states of a general physical system. These results will enable us to study the central role entanglement plays in quantum phase transitions - the change of a physical system from one state of matter to another, different, state of matter, one with a truly quantum character.Read moreRead less
Optimal Control Computation and Analysis of Switched Systems with State and Control Constraints. DC/DC converters are widely used in power supply systems and hybrid power systems generate cleaner energy. Achieving optimum performance in these applications has high commercial and environmental impacts. New optimal control problems for such practical problems will be formulated and new unified optimization theory and methods for these optimal control problems will be obtained. The outcomes will en ....Optimal Control Computation and Analysis of Switched Systems with State and Control Constraints. DC/DC converters are widely used in power supply systems and hybrid power systems generate cleaner energy. Achieving optimum performance in these applications has high commercial and environmental impacts. New optimal control problems for such practical problems will be formulated and new unified optimization theory and methods for these optimal control problems will be obtained. The outcomes will enhance Australia's reputation in this cutting edge research, and contribute to achieving optimal performance of high commercial and environmental value applications. It will also facilitate international collaboration, and provide an excellent opportunity for research training.Read moreRead less
Efficient Computational Methods for Constrained Path Problems. We consider a class of path design problems which arise when an object needs to traverse between two points through a specified region. The region may be a continuous space or the path may be restricted to the edges of a network. The path must optimise a prescribed criterion such
as risk, reliability or cost and satisfy a number of constraints.
Problems of this type readily arise in the defence, transport and
communication i ....Efficient Computational Methods for Constrained Path Problems. We consider a class of path design problems which arise when an object needs to traverse between two points through a specified region. The region may be a continuous space or the path may be restricted to the edges of a network. The path must optimise a prescribed criterion such
as risk, reliability or cost and satisfy a number of constraints.
Problems of this type readily arise in the defence, transport and
communication industries. In addition to efficient solution methods
for these problems the project will produce computational tools for
a wide range of related network routing problems.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
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
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
Approximate algorithms and architectures for area efficient system design. This project aims to develop simpler but reliable image recognition systems that can run on low-cost, small-scale platforms, for use in driver monitoring system (DMS) applications. Cheaper reliable DMS will lead to wider availability of this technology to end users and improve safety of motor vehicles. This project will develop approximate algorithmic and circuit techniques, provide training for research students and buil ....Approximate algorithms and architectures for area efficient system design. This project aims to develop simpler but reliable image recognition systems that can run on low-cost, small-scale platforms, for use in driver monitoring system (DMS) applications. Cheaper reliable DMS will lead to wider availability of this technology to end users and improve safety of motor vehicles. This project will develop approximate algorithmic and circuit techniques, provide training for research students and build capability in the area of approximate computing. It is also expected to lead to commercial products, licences and revenue, which will enable new job creation.
Read moreRead less
A Study of Stabilisation and Optimal Control Computation of Impulsive Control Systems. Impulsive systems exhibit the phenomenon of jumps occurring at various time points along their trajectories. They arise from many applications, such as determining appropriate levels of drug administration in cancer and diabetes treatment, optimizing investment strategies in capacity expansion, and sustainable optimal forest management. This project will result in fundamental theory on stability and efficient ....A Study of Stabilisation and Optimal Control Computation of Impulsive Control Systems. Impulsive systems exhibit the phenomenon of jumps occurring at various time points along their trajectories. They arise from many applications, such as determining appropriate levels of drug administration in cancer and diabetes treatment, optimizing investment strategies in capacity expansion, and sustainable optimal forest management. This project will result in fundamental theory on stability and efficient computational algorithms and software packages for stabilizing controls and optimal controls of impulsive control problems. The outcomes will enhance Australia's reputation for leading edge research and facilitate opportunity for international collaboration. It will also provide an excellent opportunity for research training.Read moreRead less
Quantum computation: through the algorithm and complexity theory lens. This project aims to advance our knowledge of quantum computation through the lens of algorithm and complexity theory. Three core areas of the theory will be examined: interactive computing models, query complexity, and circuit lower bounds. The expected outcomes include: revealing the quantum advantages of interactive computing models; techniques for verifying quantum devices in the cloud and quantum cloud computing in gener ....Quantum computation: through the algorithm and complexity theory lens. This project aims to advance our knowledge of quantum computation through the lens of algorithm and complexity theory. Three core areas of the theory will be examined: interactive computing models, query complexity, and circuit lower bounds. The expected outcomes include: revealing the quantum advantages of interactive computing models; techniques for verifying quantum devices in the cloud and quantum cloud computing in general; sharpening the separation between algorithm performance in quantum and classical query models; establishing both unconditional and conditional hardness results for quantum circuits. This comprehensive understanding will enhance Australia's research portfolio in the theory of quantum computing.Read moreRead less