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
Raising the Internet's Quality of Service through improved congestion management. This project aims to develop methods for improving the service quality of the internet by better management of congestion. Improved service quality will be evident to internet users in the form of reduced delay and data loss. The proposed research is significant because as well as improving service quality, it will facilitate delivery of internet services over poor quality communications infrastructure such as is p ....Raising the Internet's Quality of Service through improved congestion management. This project aims to develop methods for improving the service quality of the internet by better management of congestion. Improved service quality will be evident to internet users in the form of reduced delay and data loss. The proposed research is significant because as well as improving service quality, it will facilitate delivery of internet services over poor quality communications infrastructure such as is present in many remote and regional areas of Australia. It also will result in more efficient utilisation of telecommunications infrastructure. The project will deliver implementations in the form of software which is easily installed in any computer.Read moreRead less
Incorporating network-level knowledge into Quality of Service control mechanisms for wireless LANs. Expansion of Wireless LANs as primary access technology for mobile computing devices has resulted in growing expectations of continuous area coverage and controlled Quality of Service. The work published to date defines QoS control mechanisms for a single WLAN cell, but fails to address challenges of multiple-cell networks. We aim at designing network-wide resource management mechanisms to dynamic ....Incorporating network-level knowledge into Quality of Service control mechanisms for wireless LANs. Expansion of Wireless LANs as primary access technology for mobile computing devices has resulted in growing expectations of continuous area coverage and controlled Quality of Service. The work published to date defines QoS control mechanisms for a single WLAN cell, but fails to address challenges of multiple-cell networks. We aim at designing network-wide resource management mechanisms to dynamically allocate resources to cells and users, taking into account user mobility and radio interference between multiple cells. Benefits from this research include competitive advantage to operators who will be able to differentiate service offerings and guarantee agreed QoS to their customers.Read moreRead less
Characterisation of Internet Traffic Matrices. The benefits to the community of characterisation of Internet traffic matrices arise because this information is used in the design of efficient and reliable networks. This is a genuine example of using the data we have more cleverly, rather than throwing money at a problem. Better information will result in the Internet becoming more efficient, and therefore cheaper, and at the same time more reliable.
Ensuring the Robustness of IP Routing. The Internet is by its nature international, and so any such effort to model and understand it must be somewhat international. However, Australia has longer network paths to the rest of the world and the routing protocols' operation depends on this latency. This emphasizes why Australia must participate in such research: to ensure that Australian issues are considered when Internet protocols are designed. This project will directly deliver a more robust Int ....Ensuring the Robustness of IP Routing. The Internet is by its nature international, and so any such effort to model and understand it must be somewhat international. However, Australia has longer network paths to the rest of the world and the routing protocols' operation depends on this latency. This emphasizes why Australia must participate in such research: to ensure that Australian issues are considered when Internet protocols are designed. This project will directly deliver a more robust Internet for Australia, international exposure in an area of general interest, the potential for patents, and the development of commercially valuable expertise and measurement infrastructure.Read moreRead less
Delivering guaranteed quality of service over IP networks. The next revolution in the Internet will be to offer end-to-end Quality of Service (QoS) guarantees, in the form of maximum delay, delay variation and probability of packet loss, or minimum throughput. There are no existing techniques capable of delivering end-to-end QoS guarantees. This project will develop credit-based controls, instead of the usual rate-based controls, that can deliver these required QoS guarantees. These QoS guarante ....Delivering guaranteed quality of service over IP networks. The next revolution in the Internet will be to offer end-to-end Quality of Service (QoS) guarantees, in the form of maximum delay, delay variation and probability of packet loss, or minimum throughput. There are no existing techniques capable of delivering end-to-end QoS guarantees. This project will develop credit-based controls, instead of the usual rate-based controls, that can deliver these required QoS guarantees. These QoS guarantees will enable the development and deployment of entirely new services on the Internet. This project will give Australian industry the opportunity to create the next generation Internet. Therefore this project represents a Frontier Technology.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
Voice over Internet Protocol: Privacy and Electronic Evidence Implications. Consumers currently use the traditional technology of the Public Switched Telephone Network system without fear of eavesdropping. Law Enforcement has a legal right to intercept phone calls under prescribed conditions. This project offers support to policy makers and users in providing strategic advice in the secure transition of telecommunications to next generation networks. It provides a software solution to the thre ....Voice over Internet Protocol: Privacy and Electronic Evidence Implications. Consumers currently use the traditional technology of the Public Switched Telephone Network system without fear of eavesdropping. Law Enforcement has a legal right to intercept phone calls under prescribed conditions. This project offers support to policy makers and users in providing strategic advice in the secure transition of telecommunications to next generation networks. It provides a software solution to the threat to user privacy that may also feasibly be used to provide electronic evidence for law enforcement and intelligence agencies who increasingly have to look to means other than traditional telecommunications interception for evidence gathering from VoIP telephony. Read moreRead less
Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and los ....Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and loss of life or serious accidents in safety critical areas (medical, transport and defence applications). It is thus of utmost importance that distributed systems are designed correctly. This project aims to advance the state of the art in verifying that distributed systems will work correctly.Read moreRead less