Projects

Our research capabilities and application expertise stem from the following research projects and programs:

AI for the Smart Grid: The pilot project has developed tools for the diagnosis and reconfiguration of complex electrical networks. Engagement with an Australian utility provided expertise in alarm processing in power transmission systems.

Atomic/IFL: Intelligent Fleet Logistics Project. A world class vehicle routing engine has been developed, able to solve large vehicle routing problems with complex side constraints. Engagement with industry has provided considerable expertise in modelling and solving realworld logistics problems.

PICTE: The Prospective ICT Evaluation Project targets works in partnership with a Queensland hospital. It develops technologies for anticipating the impact that the installation of new software will have in a working environment such as a hospital. While most previous work relies on human expert analysis, it is integrating automated techniques, such as planning, model checking and simulation, into a mixed-initiative approach.

DPOLP: The Dynamic Planning, Optimisation and Learning Project built tools for task planning with expressive domain models, featuring concurrency, time, uncertainty (probabilistic tasks outcomes and durations), with military operations planning as the target application.

G12/Constraint Programming Platform: The G12 platform is designed to allow different optimisation methods and techniques to be integrated behind a single user interface. Iteratively developed over five years it has to date integrated  techniques designed to solve combinatorial optimisation problems, which often arise in resource planning, scheduling and optimisation. It includes advances in the design of propagation algorithms, and techniques for exploiting symmetry, underpinned by solid complexity results.

SAFE: The Smart Applications for Emergencies Project addressed key elements of the process of predicting, responding, and recovering from natural and man-made disasters. The SAFE-agents package examined the optimal deployment of  ambulances in changing conditions during the emergency.

SuperCom: The model-based Supervision of Composite systems Project has developed a spectrum of model-based methods for monitoring and diagnosing distributed dynamic systems. These methods rely on decentralised reasoning,  symbolic representations, and model compilation.

STAR Control: Through advanced modelling, constraints, and search, the project is developing new methods of traffic control to improve coordination between signals and achieve greater efficiency at individual intersections as well as across a city’s overall network.