Automation of metric temporal reasoning. A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.
automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalis ....automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalisms include branching time and competing coalitions of agents. This project is to take early advantage of recent breakthroughs in automated logical reasoning with such models by the investigator to deliver general practical techniques of system development and verification.Read moreRead less
Efficient Computational Methods for Constrained Path Problems. We consider a class of path design problems which arise when an object needs to traverse between two points through a specified region. The region may be a continuous space or the path may be restricted to the edges of a network. The path must optimise a prescribed criterion such
as risk, reliability or cost and satisfy a number of constraints.
Problems of this type readily arise in the defence, transport and
communication i ....Efficient Computational Methods for Constrained Path Problems. We consider a class of path design problems which arise when an object needs to traverse between two points through a specified region. The region may be a continuous space or the path may be restricted to the edges of a network. The path must optimise a prescribed criterion such
as risk, reliability or cost and satisfy a number of constraints.
Problems of this type readily arise in the defence, transport and
communication industries. In addition to efficient solution methods
for these problems the project will produce computational tools for
a wide range of related network routing problems.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0561219
Funder
Australian Research Council
Funding Amount
$1,362,295.00
Summary
Western Australian Supercomputer Program (WASP). The simulation and understanding of real biological and physical systems, at the level enabling significant and usable insights, requires teraflop+ computing. The rate-determining step in the next generation of analysis and modelling calculations requires access to massively parallel supercomputers. In Western Australia, there are a number of critical and unique projects that are totally dependant on such facilities. The Western Australian Supe ....Western Australian Supercomputer Program (WASP). The simulation and understanding of real biological and physical systems, at the level enabling significant and usable insights, requires teraflop+ computing. The rate-determining step in the next generation of analysis and modelling calculations requires access to massively parallel supercomputers. In Western Australia, there are a number of critical and unique projects that are totally dependant on such facilities. The Western Australian Supercomputer Program (WASP) will provide a quantum advance to computationally-intensive scientific research, as well as to world-class visualisation and data-management resources for academic and business communities, both nationally and internationally.Read moreRead less