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
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
Robust transmission, identification and key agreement in communications networks. This project identifies significant, innovative directions to achieve robust data transmission, identification and key agreement in networks. It presents the information and communication technology industry with new and profitable markets, contributing to wealth creation, employment and exports. Immediate benefits are: 1. Contribution to the growing knowledge base and fundamental capabilities in networks; 2. Crea ....Robust transmission, identification and key agreement in communications networks. This project identifies significant, innovative directions to achieve robust data transmission, identification and key agreement in networks. It presents the information and communication technology industry with new and profitable markets, contributing to wealth creation, employment and exports. Immediate benefits are: 1. Contribution to the growing knowledge base and fundamental capabilities in networks; 2. Creation and commercialization of valuable intellectual property; 3. Education of future leading academic and industrial innovators within Australia; 4. High international profile of Australian communications and information technology research.
Read moreRead less
Efficient Data Transport using Network Coding. Large-scale content distribution is driving the evolution of future Internet, cellular and wireless data networks. This project develops theory and practice underpinning entirely new modes of content distribution. This presents the ICT industry with new and profitable markets, contributing to wealth creation, employment and exports. Immediate benefits to Australia are: Contribution to the growing knowledge base and fundamental capabilities in the im ....Efficient Data Transport using Network Coding. Large-scale content distribution is driving the evolution of future Internet, cellular and wireless data networks. This project develops theory and practice underpinning entirely new modes of content distribution. This presents the ICT industry with new and profitable markets, contributing to wealth creation, employment and exports. Immediate benefits to Australia are: Contribution to the growing knowledge base and fundamental capabilities in the important area of telecommunication networks; Creation and commercialisation of intellectual property; Education of future Australian academic leaders and industrial innovators; Raising the international profile of Australian research in communications and information technology.Read moreRead less
Information Theory for Networks with Uncertain Topologies. The contribution of Information and Communications Technologies to the National economy, has been widely recognized. ICT enables wealth creation, employment and exports, and underpins many innovation processes. Immediate project benefits will be: Contribution to the knowledge base and fundamental capabilities in high-speed wireless and sensor networks; Education of future Australian academic and industrial innovators; Raising the interna ....Information Theory for Networks with Uncertain Topologies. The contribution of Information and Communications Technologies to the National economy, has been widely recognized. ICT enables wealth creation, employment and exports, and underpins many innovation processes. Immediate project benefits will be: Contribution to the knowledge base and fundamental capabilities in high-speed wireless and sensor networks; Education of future Australian academic and industrial innovators; Raising the international profile of Australian research in the area of information technology. Applied development of the outcomes will lead to the generation of valuable intellectual property. Close links to Australian industry ensures that Australian ICT companies stand to gain commercial advantage.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
Efficient Transmission Strategies for Cooperative Wireless Ad Hoc Networks. The contribution of information and communications technologies to the national economy has been widely recognized. It enables wealth creation, employment and exports, underpinning many innovation processes. Immediate project benefits will be: contribution to the knowledge base and fundamental capabilities in wireless communication; education of future Australian academic and industrial innovators; raising the internati ....Efficient Transmission Strategies for Cooperative Wireless Ad Hoc Networks. The contribution of information and communications technologies to the national economy has been widely recognized. It enables wealth creation, employment and exports, underpinning many innovation processes. Immediate project benefits will be: contribution to the knowledge base and fundamental capabilities in wireless communication; education of future Australian academic and industrial innovators; raising the international profile of Australian research in the area of information technology. The proposed research is in areas of great commercial interest, addressing new directions and technologies for future wireless networks. Applied development of the outcomes will lead to valuable intellectual property for commercial exploitation.Read moreRead less
Adaptive Broadband Wireless Communication. The contribution of Information and Communications Technologies to the National Economy has been widely recognized. ICT enables wealth creation, employment and exports, and underpins many innovation processes. Immediate project benefits will be: Contribution to the knowledge base and fundamental capabilities in broadband wireless communication; Education of future Australian academic and industrial innovators; Raising the international profile of Austr ....Adaptive Broadband Wireless Communication. The contribution of Information and Communications Technologies to the National Economy has been widely recognized. ICT enables wealth creation, employment and exports, and underpins many innovation processes. Immediate project benefits will be: Contribution to the knowledge base and fundamental capabilities in broadband wireless communication; Education of future Australian academic and industrial innovators; Raising the international profile of Australian research in the area of information technology. Applied development of the outcomes will lead to valuable intellectual property with potential for commercial exploitation. Close links to Australian industry ensures Australian ICT companies stand to gain commercial advantage.Read moreRead less
Satellite Data Communications for Remote Sensing and Broadband Connectivity. The remote, distributed location of many of Australia's primary industries preclude the use of consumer-oriented terrestrial wireless broadband services. In many instances, satellite communications provides the only feasible means of connectivity for telemetry, supervisory control and data acquisition, tracking and fleet management. Meteorology, remote sensing, irrigation, mining, oil and gas exploration, and fisheries ....Satellite Data Communications for Remote Sensing and Broadband Connectivity. The remote, distributed location of many of Australia's primary industries preclude the use of consumer-oriented terrestrial wireless broadband services. In many instances, satellite communications provides the only feasible means of connectivity for telemetry, supervisory control and data acquisition, tracking and fleet management. Meteorology, remote sensing, irrigation, mining, oil and gas exploration, and fisheries are just a few examples of high-value applications of particular significance to Australia. This project will develop bandwidth efficient satellite communications technologies that greatly reduce cost and pave the way toward new market opportunities for broadband access and telemetry applications. Read moreRead less