Discovery Projects - Grant ID: DP0208553

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP0208553

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence applications, the project aims to develop a unified framework of mathematical logics adequate to formally represent and reason about the structure, behaviour, and properties of hybrid control systems, and use this to develop methodologies for automatically synthesising hybrid control programs that are provably correct with respect to their specifications. Other outcomes include prototype software implementations of hybrid controller design tools.

Funded Activity Details

Start Date: 01-01-2003

End Date: 31-12-2006

Funding Scheme: Discovery Projects

Funding Amount: $243,184.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Mathematical Logic And Formal Languages | Systems Theory And Control | Control Engineering | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Computer software and services not elsewhere classified | Computer hardware and electronic equipment not elsewhere classified | Machinery and equipment not elsewhere classified |

Other Keywords

Computation Theory and Mathematics | Computer hardware and electronic equipment not elsewhere classified | Computer software and services not elsewhere classified | Control Engineering | Machinery and equipment not elsewhere classified | Mathematical Logic And Formal Languages | Systems Theory And Control

Related Links