Overhead high-voltage power lines are key components of power transmission and their monitoring has a very significant influence on security and reliability of power system. Advanced laser scanning techniques have been widely used to capture three-dimensional (3D) point clouds of power system scenes. Nevertheless, power line corridors are found in increasingly complex environments (e.g., mounta...

A robotic work cell with multiple robots can accomplish complex task that single robot cannot manage. Robots in the work cell cooperate with each other, or compete for shared motion path, resources and workspace. So coordinating multiple robots is essential for designing a robotic work cell. In this paper, we present a logic model of a robotic work cell to build controllers that meet required b...

1Centre for Cardiovascular Sciences, Institute of Biomedical Research, School of Clinical and Experimental Medicine, College of Medical and Dental Sciences, University of Birmingham, Birmingham; and 2Rheumatology Research Group, Institute of Biomedical Research, Division of Immunity & Infection, Medical Research Council (MRC) Centre for Immune Regulation, University of Birmingham, Birmingham, U...

xiii

Because the boiler is developed to the trend of large size, high temperature and high pressure, so the requirement of water quality for the boiler makeup water is higher and higher, and that needs to almost get rid of all salts in the water. So anion-cation exchange technology has been developed quickly. For example, use the H cation exchanger to exchange various cations in the water and give o...

Power-line communications (PLC) are employed in home networking as an easy way to provide highthroughput connectivity. IEEE 1901 [3] is the dominant MAC protocol for power-line networks, and its most popular implementation is HomePlug AV. This technical report introduces guidelines for measurements in HomePlug AV testbeds. We describe two tools that manage and configure PLC devices. These tools...

The question we investigate is how to obtain PLC applications with confidence in their proper functioning. Especially, we are interested in the contribution that formal methods can provide for their development. Our maxim is that the place of a particular formal method in the total picture of system development should be made very clear. Developers and customers ought to understand very well wh...