Constructive control of interconnected systems. Sustainability and competitiveness of the Australian industry critically depends on the progress in the technological area of distributed information processing and control. This project will contribute to the existing Australian research effort in this area by advancing the control systems theory which underpins many cutting edge technologies in areas of immediate national interest.
Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and ....Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and first to link conditional objects with continuous time constraints.
Need for structures we propose arises in diagnostic reasoning, bayesian learning, temporal databases, and time-dependent data mining. Several commercial products (like Microsoft Office Assistant)could apply them forthwith.Read moreRead less
Diffusion driven pattern formation and signal propagation in spatially complex excitable media. A basic understanding of the mechanisms for pattern formation, from the spots on leopards to electrical signalling of neurons, has been achieved through reaction-diffusion equations. However to obtain a complete understanding, which is vital for many applications, it is necessary to modify this mathematical model to incorporate spatial complexities in the underlying media. This project will develop ....Diffusion driven pattern formation and signal propagation in spatially complex excitable media. A basic understanding of the mechanisms for pattern formation, from the spots on leopards to electrical signalling of neurons, has been achieved through reaction-diffusion equations. However to obtain a complete understanding, which is vital for many applications, it is necessary to modify this mathematical model to incorporate spatial complexities in the underlying media. This project will develop a fractional calculus framework for pattern formation, including signal propagation, in spatially complex and excitable media. In a particular application we will model the way in which the signalling properties of neurons depend critically on their spatial complexity.Read moreRead less
Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probab ....Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probability makes that particularly difficult.
The focus of this project is to develop new formal methods that are
economical and practical in use. Exploiting our recent advances in
probabilistic program semantics, we will add probability in a new
way to proven techniques in concurrency theory, including
refinement and hierarchical design.Read moreRead less
Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence ....Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devi ....Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devices that we might not even realise we are using.
Our research aims to make it easier and more effective to describe and then successfully build-in features that enforce security without adverse impact on usability.Read moreRead less
Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build ....Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build-in features that enforce security in software without adverse impact on usability. This research addresses National Security Priority 3, Smart technology, and will build on Australia's world-leading position in pioneering uptake of innovative technology.Read moreRead less
Fundamental Studies in System Identification. To operate a dynamic system such as a chemical process plant or an economy one needs two things; the equations describing the system; a way of regulating the system to provide desired outcomes. System identification provides the first; control engineering design provides the second. This proposal addresses three important problems in system identification and control. Firstly since the equations can never be known precisely we aim to determine what i ....Fundamental Studies in System Identification. To operate a dynamic system such as a chemical process plant or an economy one needs two things; the equations describing the system; a way of regulating the system to provide desired outcomes. System identification provides the first; control engineering design provides the second. This proposal addresses three important problems in system identification and control. Firstly since the equations can never be known precisely we aim to determine what is the best one can do? Secondly to provide then tight error bounds for the control design;
thirdly to develop new methods for some hitherto unresolved problems in system identification.Read moreRead less
ARC Centre for Complex Dynamic Systems & Control. Complex dynamic systems are an inescapable feature of the world we live in. Modelling, analysing and optimizing complex behaviour is crucial for environment, process industry, biomedical, energy distribution, transportation and other applications. The Centre for Complex Dynamic Systems and Control will become an international authority in the analysis, design and optimization of complex dynamic systems, pursuing both outstanding fundamental and c ....ARC Centre for Complex Dynamic Systems & Control. Complex dynamic systems are an inescapable feature of the world we live in. Modelling, analysing and optimizing complex behaviour is crucial for environment, process industry, biomedical, energy distribution, transportation and other applications. The Centre for Complex Dynamic Systems and Control will become an international authority in the analysis, design and optimization of complex dynamic systems, pursuing both outstanding fundamental and cutting edge applied research outcomes. These outcomes will be of specific benefit to partner organizations including minerals, process, metal forming, and automotive industries.Read moreRead less
Operator algebras associated to product systems, and higher-rank-graph algebras. Operator algebras are used to study a wide range of physical systems in quantum physics and quantum computing, and in electrical engineering. The clearer our picture of how operator algebras work, the better we are able to predict and explain how these physical systems will behave. The proposed research project is aimed at showing that we can describe operator algebras in terms of simple coloured diagrams rather tha ....Operator algebras associated to product systems, and higher-rank-graph algebras. Operator algebras are used to study a wide range of physical systems in quantum physics and quantum computing, and in electrical engineering. The clearer our picture of how operator algebras work, the better we are able to predict and explain how these physical systems will behave. The proposed research project is aimed at showing that we can describe operator algebras in terms of simple coloured diagrams rather than abstract mathematical symbols. Consequently, the project will lead to a simpler and less technical approach to the physical problems which operator algebras are used to study.Read moreRead less