Sensor networks for geospatial event detection - theory and applications

This thesis presents theories, analyses, and algorithms for detecting and estimating parameters of geospatial events with today's large, noisy sensor networks. A geospatial event is initiated by a significant change in the state of points in a region in a 3-D space over an interval of time. After the event is initiated it may change the state of points over larger regions and longer periods of time. Networked sensing is a typical approach for geospatial event detection. In contrast to traditional sensor networks comprised of a small number of high quality (and expensive) sensors, trends in personal computing devices and consumer electronics have made it possible to build large, dense networks at a low cost. The changes in sensor capability, network composition, and system constraints call for new models and algorithms suited to the opportunities and challenges of the new generation of sensor networks. This thesis offers a single unifying model and a Bayesian framework for analyzing different types of geospatial events in such noisy sensor networks. It presents algorithms and theories for estimating the speed and accuracy of detecting geospatial events as a function of parameters from both the underlying geospatial system and the sensor network. Furthermore, the thesis addresses network scalability issues by presenting rigorous scalable algorithms for data aggregation for detection. These studies provide insights to the design of networked sensing systems for detecting geospatial events. In addition to providing an overarching framework, this thesis presents theories and experimental results for two very different geospatial problems: detecting earthquakes and hazardous radiation. The general framework is applied to these specific problems, and predictions based on the theories are validated against measurements of systems in the laboratory and in the field.

A novel fiber Bragg grating high-temperature sensor

A novel fiber Bragg grating (FBG) sensor for the measurement of high temperature is proposed and experimentally demonstrated. The interrogation system of the sensor system is simple, low cost but effective. The sensor head is comprised of one FBG and two metal rods. The lengths of the rods are different from each other. The coefficients of thermal expansion of the rods are also different from each other. The FBG will be strained by the sensor head when the temperature to be measured changes. The temperature is measured basis of the wavelength shifts of the FBG induced by strain. A dynamic range of 0-800 degrees C and a resolution of 1 degrees C have been obtained by the sensor system. The experiment results agree with theoretical analyses. (c) 2007 Elsevier GmbH. All rights reserved.

Distributed Optimal Control of Cyber-Physical Systems: Controller Synthesis, Architecture Design and System Identification

The centralized paradigm of a single controller and a single plant upon which modern control theory is built is no longer applicable to modern cyber-physical systems of interest, such as the power-grid, software defined networks or automated highways systems, as these are all large-scale and spatially distributed. Both the scale and the distributed nature of these systems has motivated the decentralization of control schemes into local sub-controllers that measure, exchange and act on locally available subsets of the globally available system information. This decentralization of control logic leads to different decision makers acting on asymmetric information sets, introduces the need for coordination between them, and perhaps not surprisingly makes the resulting optimal control problem much harder to solve. In fact, shortly after such questions were posed, it was realized that seemingly simple decentralized optimal control problems are computationally intractable to solve, with the Wistenhausen counterexample being a famous instance of this phenomenon. Spurred on by this perhaps discouraging result, a concerted 40 year effort to identify tractable classes of distributed optimal control problems culminated in the notion of quadratic invariance, which loosely states that if sub-controllers can exchange information with each other at least as quickly as the effect of their control actions propagates through the plant, then the resulting distributed optimal control problem admits a convex formulation.

The identification of quadratic invariance as an appropriate means of "convexifying" distributed optimal control problems led to a renewed enthusiasm in the controller synthesis community, resulting in a rich set of results over the past decade. The contributions of this thesis can be seen as being a part of this broader family of results, with a particular focus on closing the gap between theory and practice by relaxing or removing assumptions made in the traditional distributed optimal control framework. Our contributions are to the foundational theory of distributed optimal control, and fall under three broad categories, namely controller synthesis, architecture design and system identification.

We begin by providing two novel controller synthesis algorithms. The first is a solution to the distributed H-infinity optimal control problem subject to delay constraints, and provides the only known exact characterization of delay-constrained distributed controllers satisfying an H-infinity norm bound. The second is an explicit dynamic programming solution to a two player LQR state-feedback problem with varying delays. Accommodating varying delays represents an important first step in combining distributed optimal control theory with the area of Networked Control Systems that considers lossy channels in the feedback loop. Our next set of results are concerned with controller architecture design. When designing controllers for large-scale systems, the architectural aspects of the controller such as the placement of actuators, sensors, and the communication links between them can no longer be taken as given -- indeed the task of designing this architecture is now as important as the design of the control laws themselves. To address this task, we formulate the Regularization for Design (RFD) framework, which is a unifying computationally tractable approach, based on the model matching framework and atomic norm regularization, for the simultaneous co-design of a structured optimal controller and the architecture needed to implement it. Our final result is a contribution to distributed system identification. Traditional system identification techniques such as subspace identification are not computationally scalable, and destroy rather than leverage any a priori information about the system's interconnection structure. We argue that in the context of system identification, an essential building block of any scalable algorithm is the ability to estimate local dynamics within a large interconnected system. To that end we propose a promising heuristic for identifying the dynamics of a subsystem that is still connected to a large system. We exploit the fact that the transfer function of the local dynamics is low-order, but full-rank, while the transfer function of the global dynamics is high-order, but low-rank, to formulate this separation task as a nuclear norm minimization problem. Finally, we conclude with a brief discussion of future research directions, with a particular emphasis on how to incorporate the results of this thesis, and those of optimal control theory in general, into a broader theory of dynamics, control and optimization in layered architectures.

Some engineering issues of an FBG sensor with the dual gratings parallel matched interrogation method

The key issues of engineering application of the dual gratings parallel matched interrogation method are expanding the measurable range, improving the usability, and lowering the cost by adopting a compact and simple setup based on existing conditions and improving the precision of the data-processing scheme. A credible and effective data-processing scheme based on a novel divisional look-up table is proposed based on the advantages of other schemes. Any undetermined data is belonged to a certain section, which can be confirmed at first, then it can be looked up in the table to correspond to microstrain by the scheme. It not only solves inherent problems of the traditional one (double value and small measurable range) but also enhances the precision, which improves the performance of the system. From the experimental results, the measurable range of the system is 525 mu epsilon, and the precision is +/- 1 mu epsilon based on normal matched gratings. The system works in real time, which is competent for most engineering measurement requirements. (C) 2007 Elsevier GmbH. All rights reserved.

Dealing with the Effects of Sensor Displacement in Wearable Activity Recognition

Most wearable activity recognition systems assume a predefined sensor deployment that remains unchanged during runtime. However, this assumption does not reflect real-life conditions. During the normal use of such systems, users may place the sensors in a position different from the predefined sensor placement. Also, sensors may move from their original location to a different one, due to a loose attachment. Activity recognition systems trained on activity patterns characteristic of a given sensor deployment may likely fail due to sensor displacements. In this work, we innovatively explore the effects of sensor displacement induced by both the intentional misplacement of sensors and self-placement by the user. The effects of sensor displacement are analyzed for standard activity recognition techniques, as well as for an alternate robust sensor fusion method proposed in a previous work. While classical recognition models show little tolerance to sensor displacement, the proposed method is proven to have notable capabilities to assimilate the changes introduced in the sensor position due to self-placement and provides considerable improvements for large misplacements.

MAPPER, a low-level geographic information system

A Low-Level Geographic Information System (LL-GIS) was developed to provide a simple low-cost mapping program which can be executed in any personal computer, by individuals with different levels of knowledge in computing. MAPPER is an add-on module of FishBase - a global database with key information on the biology of fish - where it creates on-screen maps with information on biodiversity and the occurrence of species. In another application, MAPPER is used to display and analyzed geographical information on the Philippines.

Potencial de energia solar e de geração com sistemas fotovoltaicos conectados à rede em Moçambique.

A energia solar fotovoltaica é uma alternativa de energia limpa que está se tornando uma importante opção para se utilizar eletricidade em regiões desprovidas de energia elétrica. Um estudo das condições energéticas da região através de consulta às concessionárias de energia elétrica (Eletricidade de Moçambique - EDM no caso de Moçambique) e do Ministério de Energia do Governo, são fontes importantes de dados para se conhecer o cenário energético de cada região. Outra fonte de dados importante para se estimar o potencial de geração de energia solar fotovoltaico sãoos indices de irradiação da região. Estes podemser obtidos através do órgão meteorológico da região (INAM no caso de Moçambique) que forneceesses dados para as principais cidades através de suas estações meteorológicas espalhadas na região. Laboratórios de pesquisa internacionais sãooutra importante fonte de dados solarimétricos, pois utilizam satélites capazes de cobrir todo globo terrestre e os dados obtidos são publicados e permitem, a partir das coordenadas do local, identificar a irradiação solar em diversos locais do mundo. Os dados desses laboratórios podem ser comparados com dados de órgãos oficiais da região. Utilizando o banco de dados solarimétricospode-se calcular o potencial fotovoltaico de geração de energia de cada localização e também definir qual região seria mais propícia a utilização de energiasolar fotovoltaica conectada à rede.

Localização de faltas de curta duração em redes de distribuição.

O objetivo deste trabalho é contribuir com o desenvolvimento de uma técnica baseada em sistemas inteligentes que possibilite a localização exata ou aproximada do ponto de origem de uma Variação de Tensão de Curta Duração (VTCD) (gerada por uma falta) em um sistema de distribuição de energia elétrica. Este trabalho utiliza um Phase-Locked Loop (PLL) com o intuito de detectar as faltas. Uma vez que a falta é detectada, os sinais de tensão obtidos durante a falta são decompostos em componentes simétricas instantâneas por meio do método proposto. Em seguida, as energias das componentes simétricas são calculadas e utilizadas para estimar a localização da falta. Nesta pesquisa, são avaliadas duas estruturas baseadas em Redes Neurais Artificiais (RNAs). A primeira é projetada para classificar a localização da falta em um dos pontos possíveis e a segunda é projetada para estimar a distância da falta ao alimentador. A técnica aqui proposta aplica-se a alimentadores trifásicos com cargas equilibradas. No desenvolvimento da mesma, considera-se que há disponibilidade de medições de tensões no nó inicial do alimentador e também em pontos esparsos ao longo da rede de distribuição. O banco de dados empregado foi obtido através de simulações de um modelo de alimentador radial usando o programa PSCAD/EMTDC. Testes de sensibilidade empregando validação-cruzada são realizados em ambas as arquiteturas de redes neurais com o intuito de verificar a confiabilidade dos resultados obtidos. Adicionalmente foram realizados testes com faltas não inicialmente contidas no banco de dados a fim de se verificar a capacidade de generalização das redes. Os desempenhos de ambas as arquiteturas de redes neurais foram satisfatórios e demonstram a viabilidade das técnicas propostas para realizar a localização de faltas em redes de distribuição.

Mersey Estuary baseline survey. Analysis of macroinfaunal samples, literature review and database production

This is the Mersey Estuary baseline survey: Analysis of macroinfaunal samples, literature review and database production report produced by the Environment Agency North West in 2002. This report presents an ecological review of the Mersey estuary along with an extensive bibliography of the available environmental literature for this system. The central objective of this programme has been to provide the information necessary to support the Environment Agency's review of existing and future consents (for discharges, abstractions etc) in the Mersey estuary. This review of consents was required because the Mersey had been designated as a Special Protection Area (SPA) under the EC Birds Directive. Therefore under Regulation 50 of the Conservation, the Environment Agency was responsible for reviewing any extant consent, or future applications, which may directly or indirectly, affected this SPA.

Model-based control of a Rijke tube combustion instability

A Rijke tube is used to demonstrate model-based control of a combustion instability, where controller design is based on measurement of the unstable system. The Rijke tube used was of length 0.75m and had a grid-stabilised laminar flame in its lower half. A microphone was used as a sensor and a loudspeaker as an actuator for active control. The open loop transfer function (OLTF) required for controller design was that from the actuator to the sensor. This was measured experimentally by sending a signal with two components to the actuator. The first was a control component from an empirically designed controller, which was used to stabilise the system, thus eliminating the non-linear limit cycle. The second was a high bandwidth signal for identification of the OLTF. This approach to measuring the OLTF is generic and can be applied to large-scale combustors. The measured OLTF showed that only the fundamental mode of the tube was unstable; this was consistent with the OLTF predicted by a mathematical model of the tube, involving 1-D linear acoustic waves and a time delay heat release model. Based on the measured OLTF, a controller to stabilise the instability was designed using Nyquist techniques. This was implemented and was seen to result in an 80dB reduction in the microphone pressure spectrum. A robustness study was performed by adding an additional length to the top of the Rijke tobe. The controller was found to achieve control up to an increase in tube length of 19%. This compared favourably with the empirical controller, which lost control for an increase in tube length of less than 3%.

MMI training for continuous phoneme recognition on the TIMIT database

This paper reports our experiences with a phoneme recognition system for the TIMIT database which uses multiple mixture continuous density monophone HMMs trained using MMI. A comprehensive set of results are presented comparing the ML and MMI training criteria for both diagonal and full covariance models. These results using simple monophone HMMs show clear performance gains achieved by MMI training, and are comparable to the best reported by others including those which use context-dependent models. In addition, the paper discusses a number of performance and implementation issues which are crucial to successful MMI training.

The design and implementation of dialogue control in voice operated database inquiry systems

This paper describes work performed as part of the U.K. Alvey sponsored Voice Operated Database Inquiry System (VODIS) project in the area of intelligent dialogue control. The principal aims of the work were to develop a habitable interface for the untrained user; to investigate the degree to which dialogue control can be used to compensate for deficiencies in recognition performance; and to examine the requirements on dialogue control for generating natural speech output. A data-driven methodology is described based on the use of frames in which dialogue topics are organized hierarchically. The concept of a dynamically adjustable scope is introduced to permit adaptation to recognizer performance and the use of historical and hierarchical contexts are described to facilitate the construction of contextually relevant output messages. © 1989.

Shock transmission and eigenvalue veering within a coupled system.

The operation of dynamical systems in harsh environments requires continuous monitoring. Internal sensors may be used to monitor the conditions in real time. A typical example is the sensor and electronic components used in space structures which, especially during launch, are subject to huge g force. The paper will present an experimental and theoretical study on a simplified model used to analyze the possible cause of high acceleration on the enclosed sensors and equipments due to impulsive loading. The model system consists of two beams coupled using compliant connections. An impulse hammer excites one beam, and vibrations are transmitted to the indirectly driven beam. A theoretical model is developed using a Rayleigh-Ritz approach and validated using experimental results in both the frequency and time domains. Monto Carlo simulation was done with random masses positioned on the indirectly driven beam to determine the worst-case conditions for maximum peak acceleration. Highest acceleration levels were found when mode matching in the two beams led to veering behavior in the coupled modes. The results suggest guidelines for the detailed design of internal components of a structure exposed to shock loading from its environment. [The authors thank Schlumberger Cambridge Research for financial support.].

Report of the training in database and spatial analysis for Marine Protected Areas staff in Indonesia's BOBLME region, Medan, Indonesia, 30 June-4 July, 2015

Training included: Geographic Information System (GIS)concept and software; Global Positioning System (GPS); Ecological Gap Analysis and Marine Protected Area (MPA) design using Marine Reserve Design using Spatially Explicit Annealing (MARXAN); and cartography.