Participatory Wireless Sensor Networks. The investment in the Participatory Wireless Sensor Netwok (PWSN) research will ensure that Australia stays in the forefront of this innovative and disruptive technology. Since the PWSN concept leverages on the existing communication and sensing infrastructure, the entry cost for developing new business opportunities on it is low. There are ample opportunities for local companies (e.g. Internet service providers, mobile phone carriers and wireless service ....Participatory Wireless Sensor Networks. The investment in the Participatory Wireless Sensor Netwok (PWSN) research will ensure that Australia stays in the forefront of this innovative and disruptive technology. Since the PWSN concept leverages on the existing communication and sensing infrastructure, the entry cost for developing new business opportunities on it is low. There are ample opportunities for local companies (e.g. Internet service providers, mobile phone carriers and wireless service providers) and start-up companies to create innovative services on PWSN for both the Australian and overseas markets. Read moreRead less
Reliable Communication in Wireless Cooperative Networks under Channel Uncertainty. The project addresses important problems in Breakthrough sciences and Frontier technologies within the national priority goals. It provides innovative solutions for wireless information technologies. The project's high-impact contributions will advance Australia’s knowledge base and publication of outcomes will elevate and maintain Australia's existing reputation in the field. The project provides 1) high-quality ....Reliable Communication in Wireless Cooperative Networks under Channel Uncertainty. The project addresses important problems in Breakthrough sciences and Frontier technologies within the national priority goals. It provides innovative solutions for wireless information technologies. The project's high-impact contributions will advance Australia’s knowledge base and publication of outcomes will elevate and maintain Australia's existing reputation in the field. The project provides 1) high-quality training for postgraduate students and 2) opportunities for collaborations with a prominent international partner investigator. The innovative solutions will address the ever-increasing demand for high-speed wireless Internet and multimedia.Read moreRead less
Advanced Space-Time Coded Multiuser Wireless Communications via Test-bed Development. Meeting the global demand for mobile and wireless communications depends critically on reliable and high rate data transfer. Unfortunately, communications medium idiosyncrasies pose formidable challenges. Very recently, in combatting this, major breakthroughs have been achieved whereby the use of multiple antennas allows for drastic data-rate increases. These advances use sophisticated Space-Time coding metho ....Advanced Space-Time Coded Multiuser Wireless Communications via Test-bed Development. Meeting the global demand for mobile and wireless communications depends critically on reliable and high rate data transfer. Unfortunately, communications medium idiosyncrasies pose formidable challenges. Very recently, in combatting this, major breakthroughs have been achieved whereby the use of multiple antennas allows for drastic data-rate increases. These advances use sophisticated Space-Time coding methods, and while they are causing great excitement in terms of their simulation performance, it is not clear how they will perform in practice, or in fact how they are to be realistically implemented. This project will address this issue by building a world-first testbed that implements a high rate wireless communications system using Space-Time and other coding methods.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
Gigabit Wireless: Setting the Standard for Tomorrow's Broadband. This project will strengthen a long-term alliance between researchers at the University of Melbourne and NEC Australia, one of the few multinational research laboratories with significant R & D presence in Australia. Researchers at the University of Melbourne with expertise in communication theory fundamentals will collaborate with experienced research and design engineers at NEC, to produce fundamental research, and the resulting ....Gigabit Wireless: Setting the Standard for Tomorrow's Broadband. This project will strengthen a long-term alliance between researchers at the University of Melbourne and NEC Australia, one of the few multinational research laboratories with significant R & D presence in Australia. Researchers at the University of Melbourne with expertise in communication theory fundamentals will collaborate with experienced research and design engineers at NEC, to produce fundamental research, and the resulting design tools and intellectual property that will provide a new direction for wireless broadband access. The project will provide high-quality postgraduate and postdoctoral training in an area of great relevance to the Australian telecommunications industry.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
Algebraic Properties of Cryptographic Components and their Cryptanalysis. The outcomes will enhance information and communication security, which is absolutely crucial for the rapidly growing e-commerce and e-government services in Australia. International collaboration will be strengthened by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. Our project will help to maintain a high profile of Australian researchers, to i ....Algebraic Properties of Cryptographic Components and their Cryptanalysis. The outcomes will enhance information and communication security, which is absolutely crucial for the rapidly growing e-commerce and e-government services in Australia. International collaboration will be strengthened by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. Our project will help to maintain a high profile of Australian researchers, to increase the capacity for consultancy and contract work, and provide a cutting-edge information technology for the Australian telecommunications industry, business and government.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
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
Overseeing the internet: new paradigms of network measurement. Like the electricity network, the Internet is a core infrastructure, and so must be reliable, efficient, and fairly accessible. A gap in bandwidth supply is like a blackout in terms of lost business and productivity. Inefficiency increases costs as more equipment is needed for the same service, and an inability to police network providers distorts economics and strangles access to the best services. Network health can only be assesse ....Overseeing the internet: new paradigms of network measurement. Like the electricity network, the Internet is a core infrastructure, and so must be reliable, efficient, and fairly accessible. A gap in bandwidth supply is like a blackout in terms of lost business and productivity. Inefficiency increases costs as more equipment is needed for the same service, and an inability to police network providers distorts economics and strangles access to the best services. Network health can only be assessed through measurements, however, current methods are incapable of measuring some of the most important metrics, for instance whether a provider is conforming to its contract. This project will provide the breakthroughs necessary to ensure that network behaviour can be accurately and comprehensively assessed.Read moreRead less