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
Smart CMOS Vision Sensors in Deep Sub-0.25um CMOS Technologies. This research project aims to develop a new generation of smart vision sensors featuring on-chip and pixel-level implementation of human vision based algorithms. Built in state-of-the-art deep sub-0.25um CMOS technologies, these imagers will feature extensive in-pixel processing power in contrast to the currently commercially available CMOS vision sensors. This will enable on-chip vision-based decision making but also increased on-c ....Smart CMOS Vision Sensors in Deep Sub-0.25um CMOS Technologies. This research project aims to develop a new generation of smart vision sensors featuring on-chip and pixel-level implementation of human vision based algorithms. Built in state-of-the-art deep sub-0.25um CMOS technologies, these imagers will feature extensive in-pixel processing power in contrast to the currently commercially available CMOS vision sensors. This will enable on-chip vision-based decision making but also increased on-chip image processing. These innovative system-on-chip features will contribute towards the positioning of CMOS imaging technology as the technology of choice for most digital imaging applications, in place of the existing, and so far unchallenged, CCD technology.
Read moreRead less
A 3D CMOS Vision Sensor with Pixel Level Analog-to-Digital Converter and Intelligent Processing. The aim of this research project is to build a smart vision sensor using advanced 3D technology. The smart sensor will consist of two vertically stacked levels comprising the vision sensor chip with pixel-level Analog-to-Digital Converter (ADC) and the processing chip for edge and motion detection. The pixel level ADC will be based on new architectures offering improved performance in terms of dynami ....A 3D CMOS Vision Sensor with Pixel Level Analog-to-Digital Converter and Intelligent Processing. The aim of this research project is to build a smart vision sensor using advanced 3D technology. The smart sensor will consist of two vertically stacked levels comprising the vision sensor chip with pixel-level Analog-to-Digital Converter (ADC) and the processing chip for edge and motion detection. The pixel level ADC will be based on new architectures offering improved performance in terms of dynamic range, fill-factor, and signal-to-noise ratio. Both the vision and the processing chips will be realised in standard CMOS technology, which make the smart vision sensor very suitable for low cost consumer electronic applications.Read moreRead less