New quantum and robust control theory with applications to quantum optics. The application of quantum mechanics to the creation of quantum technology promises to be one of the most exciting technological developments of this century. Possible applications of quantum technologies include vastly improved sensors to search for minerals or gravity waves, secure quantum cryptography, and quantum computing. Quantum feedback control is a key tool in quantum technology. This project will lay the fou ....New quantum and robust control theory with applications to quantum optics. The application of quantum mechanics to the creation of quantum technology promises to be one of the most exciting technological developments of this century. Possible applications of quantum technologies include vastly improved sensors to search for minerals or gravity waves, secure quantum cryptography, and quantum computing. Quantum feedback control is a key tool in quantum technology. This project will lay the foundations of systematic theories of robust, coherent and nonlinear quantum feedback control and lead to advances in the control of highly resonant systems which underlie experimental quantum and nano technology. This will enable Australia to reap great benefits as this new technological area emerges.Read moreRead less
Development of robust adaptive and nonlinear control methodologies. Techniques will be developed that will allow industrial plants to operate with lower direct or environmental cost, and airborne vehicles to operate more efficiently or more safely.
Development of Control Methodologies for Drug Dosing in Biomedical Engineering. This research proposal is very relevant to the National Research Priorities in the areas of Frontier Technologies and Breakthrough science. At a broader level, we aim to assist in the development of a national competence in what has been an emerging and promising discipline. The research will develop fundamental and enabling laws and techniques for drug administration to regulate physiological variables such as blood ....Development of Control Methodologies for Drug Dosing in Biomedical Engineering. This research proposal is very relevant to the National Research Priorities in the areas of Frontier Technologies and Breakthrough science. At a broader level, we aim to assist in the development of a national competence in what has been an emerging and promising discipline. The research will develop fundamental and enabling laws and techniques for drug administration to regulate physiological variables such as blood pressure and degree of consciousness in critical care patients.Read moreRead less
Safe Adaptive Control. Adaptive controllers are intelligent controllers, which can redesign themselves as they learn more about the environment. There are many algorithms for adaptive controllers; some of them can cause unacceptable behaviour during the learning process. Safe adaptive controllers are those for which this behaviour is ruled out. This project is concerned with developing procedures for guaranteeing the safety property in a wide variety of situations.
Numerical Algorithms for Solving Convex Optimization Problems Arising in Systems and Control Theory. The need to optimize occurs frequently in engineering applications. Typically one has a set of constraints specifying what solutions are allowable or meet design specifications and one would like to choose from these allowable solutions one which is optimal with respect to some meaningful metric. Such optimization problems tend to be rather complicated and must be solved numerically. This project ....Numerical Algorithms for Solving Convex Optimization Problems Arising in Systems and Control Theory. The need to optimize occurs frequently in engineering applications. Typically one has a set of constraints specifying what solutions are allowable or meet design specifications and one would like to choose from these allowable solutions one which is optimal with respect to some meaningful metric. Such optimization problems tend to be rather complicated and must be solved numerically. This project is concerned with creating improved numerical algorithms for solving particular important classes of optimization problems that arise in systems and control theory.Read moreRead less
Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence appl ....Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence applications, the project aims to develop a unified framework of mathematical logics adequate to formally represent and reason about the structure, behaviour, and properties of hybrid control systems, and use this to develop methodologies for automatically synthesising hybrid control programs that are provably correct with respect to their specifications. Other outcomes include prototype software implementations of hybrid controller design tools.Read moreRead less