Monitoring and Fault Location Sensor Network for Underground Distribution Lines

One of the fundamental tasks of electric distribution utilities is guaranteeing a continuous supply of electricity to their customers. The primary distribution network is a critical part of these facilities because a fault in it could affect thousands of customers. However, the complexity of this network has been increased with the irruption of distributed generation, typical in a Smart Grid and which has significantly complicated some of the analyses, making it impossible to apply traditional techniques. This problem is intensified in underground lines where access is limited. As a possible solution, this paper proposes to make a deployment of a distributed sensor network along the power lines. This network proposes taking advantage of its distributed character to support new approaches of these analyses. In this sense, this paper describes the aquiculture of the proposed network (adapted to the power grid) based on nodes that use power line communication and energy harvesting techniques. In this sense, it also describes the implementation of a real prototype that has been used in some experiments to validate this technological adaptation. Additionally, beyond a simple use for monitoring, this paper also proposes the use of this approach to solve two typical distribution system operator problems, such as: fault location and failure forecasting in power cables.Ministerio de Economía y Competitividad, Government of Spain project Sistema Inteligente Inalámbrico para Análisis y Monitorización de Líneas de Tensión Subterráneas en Smart Grids (SIIAM) TEC2013-40767-RMinisterio de Educación, Cultura y Deporte, Government of Spain, for the funding of the scholarship Formación de Profesorado Universitario 2016 (FPU 2016

A Low-Cost Robust Distributed Linearly Constrained Beamformer for Wireless Acoustic Sensor Networks with Arbitrary Topology

We propose a new robust distributed linearly constrained beamformer which utilizes a set of linear equality constraints to reduce the cross power spectral density matrix to a block-diagonal form. The proposed beamformer has a convenient objective function for use in arbitrary distributed network topologies while having identical performance to a centralized implementation. Moreover, the new optimization problem is robust to relative acoustic transfer function (RATF) estimation errors and to target activity detection (TAD) errors. Two variants of the proposed beamformer are presented and evaluated in the context of multi-microphone speech enhancement in a wireless acoustic sensor network, and are compared with other state-of-the-art distributed beamformers in terms of communication costs and robustness to RATF estimation errors and TAD errors

Model checking medium access control for sensor networks

We describe verification of S-MAC, a medium access control protocol designed for wireless sensor networks, by means of the PRISM model checker. The S-MAC protocol is built on top of the IEEE 802.11 standard for wireless ad hoc networks and, as such, it uses the same randomised backoff procedure as a means to avoid collision. In order to minimise energy consumption, in S-MAC, nodes are periodically put into a sleep state. Synchronisation of the sleeping schedules is necessary for the nodes to be able to communicate. Intuitively, energy saving obtained through a periodic sleep mechanism will be at the expense of performance. In previous work on S-MAC verification, a combination of analytical techniques and simulation has been used to confirm the correctness of this intuition for a simplified (abstract) version of the protocol in which the initial schedules coordination phase is assumed correct. We show how we have used the PRISM model checker to verify the behaviour of S-MAC and compare it to that of IEEE 802.11