Design and Formal Verification of Control and Data Acquisition Protocols. This research will develop new specification and verification techniques for remote control protocols, used among interconnected sites in supply utilities such as electricity grids, based on a proven formal methods technology. These protocols are used in the monitoring of data from remote sites, and the transmission of control commands to such sites from a central location. Benefits to the industrial partner include increa ....Design and Formal Verification of Control and Data Acquisition Protocols. This research will develop new specification and verification techniques for remote control protocols, used among interconnected sites in supply utilities such as electricity grids, based on a proven formal methods technology. These protocols are used in the monitoring of data from remote sites, and the transmission of control commands to such sites from a central location. Benefits to the industrial partner include increased assurance that their control technology does correctly realise the adopted protocols. Assurance of correctness is significant in that incorrect protocol implementation may cause errant operation of equipment, and lead to economic and environmental damage.Read moreRead less
Convex optimisation for control, signal processing and communication systems. Renewable control of complex systems, signal processing, telecommunication and in general any industries interested in these applications stand to benefit from our research. In particular, the automotive and defence industries stand to benefit from the nonlinear control design aspect of the proposed project outcomes. The
telecommunications industries, on the other hand, benefit from the signal processing and communicat ....Convex optimisation for control, signal processing and communication systems. Renewable control of complex systems, signal processing, telecommunication and in general any industries interested in these applications stand to benefit from our research. In particular, the automotive and defence industries stand to benefit from the nonlinear control design aspect of the proposed project outcomes. The
telecommunications industries, on the other hand, benefit from the signal processing and communications aspects. We also build a core expertise in optimisation and its applications in Australia by training PhD students and Postdoctoral researchers. The research collaborations will cement and maintain the international linkages which will improve applied research in AustraliaRead moreRead less
Formal Specification and Realisation of Dynamic Reconfiguration in FPGA-based Systems. The project aims are:
to significantly advance our understanding of the key concepts needed to successfully exploit dynamic, run-time reconfigurable computing, a technology that is now becoming increasingly available due to developments in FPGA (Field Progammable Gate Array) devices, and
the development of an innovative high-level programming environment that will include a language, associated design method ....Formal Specification and Realisation of Dynamic Reconfiguration in FPGA-based Systems. The project aims are:
to significantly advance our understanding of the key concepts needed to successfully exploit dynamic, run-time reconfigurable computing, a technology that is now becoming increasingly available due to developments in FPGA (Field Progammable Gate Array) devices, and
the development of an innovative high-level programming environment that will include a language, associated design methodologies, compilation techniques, and run-time support that will make dynamic reconfigurable computing accessible to a wide community of potential users.
Read moreRead less