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
Low Loss Distributed Wind Generators with Reduced Electromagnetic Interference and Shaft Voltage Based on Multilevel Converters. Distributed wind generators with minimum electromagnetic interference and bearing spikes are very important for the Australian energy industry because they are an environmentally friendly energy source. Predicting and reducing electromagnetic interferences and mechanical failures in wind farm systems is an important issue especially for the next generation of wind sys ....Low Loss Distributed Wind Generators with Reduced Electromagnetic Interference and Shaft Voltage Based on Multilevel Converters. Distributed wind generators with minimum electromagnetic interference and bearing spikes are very important for the Australian energy industry because they are an environmentally friendly energy source. Predicting and reducing electromagnetic interferences and mechanical failures in wind farm systems is an important issue especially for the next generation of wind systems when fast and advanced power electronic switches can create more EMI noise for both onshore and offshore wind farms. Medium-Voltage Direct Current (MVDC) systems have good performance and low losses, and are of particular interest to states which are close to wind power sources.Read moreRead less