-
Low-order outcomes and clustered designs: combining design and analysis for causal inference under network interference
Authors:
Matthew Eichhorn,
Samir Khan,
Johan Ugander,
Christina Lee Yu
Abstract:
Variance reduction for causal inference in the presence of network interference is often achieved through either outcome modeling, which is typically analyzed under unit-randomized Bernoulli designs, or clustered experimental designs, which are typically analyzed without strong parametric assumptions. In this work, we study the intersection of these two approaches and consider the problem of estim…
▽ More
Variance reduction for causal inference in the presence of network interference is often achieved through either outcome modeling, which is typically analyzed under unit-randomized Bernoulli designs, or clustered experimental designs, which are typically analyzed without strong parametric assumptions. In this work, we study the intersection of these two approaches and consider the problem of estimation in low-order outcome models using data from a general experimental design. Our contributions are threefold. First, we present an estimator of the total treatment effect (also called the global average treatment effect) in a low-degree outcome model when the data are collected under general experimental designs, generalizing previous results for Bernoulli designs. We refer to this estimator as the pseudoinverse estimator and give bounds on its bias and variance in terms of properties of the experimental design. Second, we evaluate these bounds for the case of cluster randomized designs with both Bernoulli and complete randomization. For clustered Bernoulli randomization, we find that our estimator is always unbiased and that its variance scales like the smaller of the variance obtained from a low-order assumption and the variance obtained from cluster randomization, showing that combining these variance reduction strategies is preferable to using either individually. For clustered complete randomization, we find a notable bias-variance trade-off mediated by specific features of the clustering. Third, when choosing a clustered experimental design, our bounds can be used to select a clustering from a set of candidate clusterings. Across a range of graphs and clustering algorithms, we show that our method consistently selects clusterings that perform well on a range of response models, suggesting that our bounds are useful to practitioners.
△ Less
Submitted 14 May, 2024; v1 submitted 13 May, 2024;
originally announced May 2024.
-
Combining Rollout Designs and Clustering for Causal Inference under Low-order Interference
Authors:
Mayleen Cortez-Rodriguez,
Matthew Eichhorn,
Christina Lee Yu
Abstract:
Estimating causal effects under interference is pertinent to many real-world settings. However, the true interference network may be unknown to the practitioner, precluding many existing techniques that leverage this information. A recent line of work with low-order potential outcomes models uses staggered rollout designs to obtain unbiased estimators that require no network information. However,…
▽ More
Estimating causal effects under interference is pertinent to many real-world settings. However, the true interference network may be unknown to the practitioner, precluding many existing techniques that leverage this information. A recent line of work with low-order potential outcomes models uses staggered rollout designs to obtain unbiased estimators that require no network information. However, their use of polynomial extrapolation can lead to prohibitively high variance. To address this, we propose a two-stage experimental design that restricts treatment rollout to a sub-population. We analyze the bias and variance of an interpolation-style estimator under this experimental design. Through numerical simulations, we explore the trade-off between the error attributable to the subsampling of our experimental design and the extrapolation of the estimator. Under low-order interactions models with degree greater than 1, the proposed design greatly reduces the error of the polynomial interpolation estimator, such that it outperforms baseline estimators, especially when the treatment probability is small.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
A method to correct the temporal drift of single photon detectors, based on asynchronous quantum ghost imaging
Authors:
Carsten Pitsch,
Dominik Walter,
Leonardo Gasparini,
Helge Bürsing,
Marc Eichhorn
Abstract:
Single photon detection and timing gathered increasing interest in the last few years due to both its necessity in the field of quantum sensing and the advantages of single quanta detection in the field of low level light imaging. While simple bucket detectors are mature enough for commercial applications, more complex imaging detectors are still a field of research with mostly prototype level det…
▽ More
Single photon detection and timing gathered increasing interest in the last few years due to both its necessity in the field of quantum sensing and the advantages of single quanta detection in the field of low level light imaging. While simple bucket detectors are mature enough for commercial applications, more complex imaging detectors are still a field of research with mostly prototype level detectors. A major problem in these detectors is the implementation of in-pixel timing circuitry, especially for two-dimensional imagers. One of the most promising approaches is the use of voltage controlled ring resonators in every pixel. Each of those is running independently, based on a voltage supplied by a global reference. However, this yields the problem that across the chip the supply voltage can change, which in turn changes the period of the ring resonator. Due to additional parasitic effects, this problem can worsen with increasing measurement time, leading to a drift of the timing information. We present here a method to identify and correct such temporal drifts of single photon detectors, based on asynchronous quantum ghost imaging. We also show the effect of this correction on a recent QGI measurement from our group.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
Online Team Formation under Different Synergies
Authors:
Matthew Eichhorn,
Siddhartha Banerjee,
David Kempe
Abstract:
Team formation is ubiquitous in many sectors: education, labor markets, sports, etc. A team's success depends on its members' latent types, which are not directly observable but can be (partially) inferred from past performances. From the viewpoint of a principal trying to select teams, this leads to a natural exploration-exploitation trade-off: retain successful teams that are discovered early, o…
▽ More
Team formation is ubiquitous in many sectors: education, labor markets, sports, etc. A team's success depends on its members' latent types, which are not directly observable but can be (partially) inferred from past performances. From the viewpoint of a principal trying to select teams, this leads to a natural exploration-exploitation trade-off: retain successful teams that are discovered early, or reassign agents to learn more about their types? We study a natural model for online team formation, where a principal repeatedly partitions a group of agents into teams. Agents have binary latent types, each team comprises two members, and a team's performance is a symmetric function of its members' types. Over multiple rounds, the principal selects matchings over agents and incurs regret equal to the deficit in the number of successful teams versus the optimal matching for the given function. Our work provides a complete characterization of the regret landscape for all symmetric functions of two binary inputs. In particular, we develop team-selection policies that, despite being agnostic of model parameters, achieve optimal or near-optimal regret against an adaptive adversary.
△ Less
Submitted 14 October, 2022; v1 submitted 11 October, 2022;
originally announced October 2022.
-
Exploiting Neighborhood Interference with Low Order Interactions under Unit Randomized Design
Authors:
Mayleen Cortez-Rodriguez,
Matthew Eichhorn,
Christina Lee Yu
Abstract:
Network interference, where the outcome of an individual is affected by the treatment assignment of those in their social network, is pervasive in real-world settings. However, it poses a challenge to estimating causal effects. We consider the task of estimating the total treatment effect (TTE), or the difference between the average outcomes of the population when everyone is treated versus when n…
▽ More
Network interference, where the outcome of an individual is affected by the treatment assignment of those in their social network, is pervasive in real-world settings. However, it poses a challenge to estimating causal effects. We consider the task of estimating the total treatment effect (TTE), or the difference between the average outcomes of the population when everyone is treated versus when no one is, under network interference. Under a Bernoulli randomized design, we provide an unbiased estimator for the TTE when network interference effects are constrained to low order interactions among neighbors of an individual. We make no assumptions on the graph other than bounded degree, allowing for well-connected networks that may not be easily clustered. We derive a bound on the variance of our estimator and show in simulated experiments that it performs well compared with standard estimators for the TTE. We also derive a minimax lower bound on the mean squared error of our estimator which suggests that the difficulty of estimation can be characterized by the degree of interactions in the potential outcomes model. We also prove that our estimator is asymptotically normal under boundedness conditions on the network degree and potential outcomes model. Central to our contribution is a new framework for balancing model flexibility and statistical complexity as captured by this low order interactions structure.
△ Less
Submitted 5 February, 2024; v1 submitted 10 August, 2022;
originally announced August 2022.
-
Staggered Rollout Designs Enable Causal Inference Under Interference Without Network Knowledge
Authors:
Mayleen Cortez,
Matthew Eichhorn,
Christina Lee Yu
Abstract:
Randomized experiments are widely used to estimate causal effects across a variety of domains. However, classical causal inference approaches rely on critical independence assumptions that are violated by network interference, when the treatment of one individual influences the outcomes of others. All existing approaches require at least approximate knowledge of the network, which may be unavailab…
▽ More
Randomized experiments are widely used to estimate causal effects across a variety of domains. However, classical causal inference approaches rely on critical independence assumptions that are violated by network interference, when the treatment of one individual influences the outcomes of others. All existing approaches require at least approximate knowledge of the network, which may be unavailable and costly to collect. We consider the task of estimating the total treatment effect (TTE), or the average difference between the outcomes when the whole population is treated versus when the whole population is untreated. By leveraging a staggered rollout design, in which treatment is incrementally given to random subsets of individuals, we derive unbiased estimators for TTE that do not rely on any prior structural knowledge of the network, as long as the network interference effects are constrained to low-degree interactions among neighbors of an individual. We derive bounds on the variance of the estimators, and we show in experiments that our estimator performs well against baselines on simulated data. Central to our theoretical contribution is a connection between staggered rollout observations and polynomial extrapolation.
△ Less
Submitted 14 October, 2022; v1 submitted 28 May, 2022;
originally announced May 2022.
-
Allocating with Priorities and Quotas: Algorithms, Complexity, and Dynamics
Authors:
Siddhartha Banerjee,
Matthew Eichhorn,
David Kempe
Abstract:
In many applications such as rationing medical care and supplies, university admissions, and the assignment of public housing, the decision of who receives an allocation can be justified by various normative criteria. Such settings have motivated the following priority-respecting allocation problem: several categories, each with a quota of interchangeable items, wish to allocate the items among a…
▽ More
In many applications such as rationing medical care and supplies, university admissions, and the assignment of public housing, the decision of who receives an allocation can be justified by various normative criteria. Such settings have motivated the following priority-respecting allocation problem: several categories, each with a quota of interchangeable items, wish to allocate the items among a set of agents. Each category has a list of eligible agents and a priority ordering over these agents; agents may be eligible in multiple categories. The goal is to select a valid allocation: one that respects quotas, eligibility, and priorities and ensures Pareto efficiency. We provide an algorithmic characterization of all valid allocations, exhibiting a bijection between sets of agents who can be allocated and maximum-weight matchings under carefully chosen rank-based weights. While prior work provides a polynomial-time algorithm to locate a valid allocation, our characterization admits a simpler algorithm that enables two wide-reaching extensions: 1. Selecting valid allocations that satisfy additional criteria: Via three examples -- inclusion/exclusion of some chosen agent; agent-side Pareto efficiency vs. welfare maximization; and fairness from the perspective of allocated vs. unallocated agents -- we show that finding priority-respecting allocations subject to some secondary constraint straddles a complexity knife-edge; in each example, one problem variant can be solved efficiently, while its variant is NP-hard. 2. Efficiency-envy tradeoffs in dynamic allocation: In settings where allocations must be made to T agents arriving sequentially via some stochastic process, we show that while insisting on zero priority violations leads to an Omega(T) loss in efficiency, one can design allocation policies ensuring that the sum of the efficiency loss and priority violations in hindsight is O(1).
△ Less
Submitted 26 May, 2023; v1 submitted 27 April, 2022;
originally announced April 2022.
-
Kaleidoscope: An Efficient, Learnable Representation For All Structured Linear Maps
Authors:
Tri Dao,
Nimit S. Sohoni,
Albert Gu,
Matthew Eichhorn,
Amit Blonder,
Megan Leszczynski,
Atri Rudra,
Christopher Ré
Abstract:
Modern neural network architectures use structured linear transformations, such as low-rank matrices, sparse matrices, permutations, and the Fourier transform, to improve inference speed and reduce memory usage compared to general linear maps. However, choosing which of the myriad structured transformations to use (and its associated parameterization) is a laborious task that requires trading off…
▽ More
Modern neural network architectures use structured linear transformations, such as low-rank matrices, sparse matrices, permutations, and the Fourier transform, to improve inference speed and reduce memory usage compared to general linear maps. However, choosing which of the myriad structured transformations to use (and its associated parameterization) is a laborious task that requires trading off speed, space, and accuracy. We consider a different approach: we introduce a family of matrices called kaleidoscope matrices (K-matrices) that provably capture any structured matrix with near-optimal space (parameter) and time (arithmetic operation) complexity. We empirically validate that K-matrices can be automatically learned within end-to-end pipelines to replace hand-crafted procedures, in order to improve model quality. For example, replacing channel shuffles in ShuffleNet improves classification accuracy on ImageNet by up to 5%. K-matrices can also simplify hand-engineered pipelines -- we replace filter bank feature computation in speech data preprocessing with a learnable kaleidoscope layer, resulting in only 0.4% loss in accuracy on the TIMIT speech recognition task. In addition, K-matrices can capture latent structure in models: for a challenging permuted image classification task, a K-matrix based representation of permutations is able to learn the right latent structure and improves accuracy of a downstream convolutional model by over 9%. We provide a practically efficient implementation of our approach, and use K-matrices in a Transformer network to attain 36% faster end-to-end inference speed on a language translation task.
△ Less
Submitted 5 January, 2021; v1 submitted 29 December, 2020;
originally announced December 2020.
-
Optimal Routing Strategies for Autonomous Underwater Vehicles in Time-Varying Environment
Authors:
Mike Eichhorn
Abstract:
This paper presents a mission system and the therein implemented algorithms for path planning in a time-varying environment based on graph methods. The basic task of the introduced path planning algorithms is to find a time-optimal path from a defined start position to a goal position with consideration of the time-varying ocean current for an autonomous underwater vehicle (AUV). Building on this,…
▽ More
This paper presents a mission system and the therein implemented algorithms for path planning in a time-varying environment based on graph methods. The basic task of the introduced path planning algorithms is to find a time-optimal path from a defined start position to a goal position with consideration of the time-varying ocean current for an autonomous underwater vehicle (AUV). Building on this, additional practice-oriented considerations in planning are discussed in this paper. Such points are the discussion of possible methods to accelerate the algorithms and the determination of the optimal departure time. The solutions and algorithms presented in this paper are focused on path planning requirements for the AUV ``SLOCUM Glider''. These algorithms are equally applicable to other AUVs or aerial mobile autonomous systems.
△ Less
Submitted 4 August, 2020;
originally announced August 2020.
-
Learning Fast Algorithms for Linear Transforms Using Butterfly Factorizations
Authors:
Tri Dao,
Albert Gu,
Matthew Eichhorn,
Atri Rudra,
Christopher Ré
Abstract:
Fast linear transforms are ubiquitous in machine learning, including the discrete Fourier transform, discrete cosine transform, and other structured transformations such as convolutions. All of these transforms can be represented by dense matrix-vector multiplication, yet each has a specialized and highly efficient (subquadratic) algorithm. We ask to what extent hand-crafting these algorithms and…
▽ More
Fast linear transforms are ubiquitous in machine learning, including the discrete Fourier transform, discrete cosine transform, and other structured transformations such as convolutions. All of these transforms can be represented by dense matrix-vector multiplication, yet each has a specialized and highly efficient (subquadratic) algorithm. We ask to what extent hand-crafting these algorithms and implementations is necessary, what structural priors they encode, and how much knowledge is required to automatically learn a fast algorithm for a provided structured transform. Motivated by a characterization of fast matrix-vector multiplication as products of sparse matrices, we introduce a parameterization of divide-and-conquer methods that is capable of representing a large class of transforms. This generic formulation can automatically learn an efficient algorithm for many important transforms; for example, it recovers the $O(N \log N)$ Cooley-Tukey FFT algorithm to machine precision, for dimensions $N$ up to $1024$. Furthermore, our method can be incorporated as a lightweight replacement of generic matrices in machine learning pipelines to learn efficient and compressible transformations. On a standard task of compressing a single hidden-layer network, our method exceeds the classification accuracy of unconstrained matrices on CIFAR-10 by 3.9 points -- the first time a structured approach has done so -- with 4X faster inference speed and 40X fewer parameters.
△ Less
Submitted 28 December, 2020; v1 submitted 14 March, 2019;
originally announced March 2019.
-
Fast Counting in Machine Learning Applications
Authors:
Subhadeep Karan,
Matthew Eichhorn,
Blake Hurlburt,
Grant Iraci,
Jaroslaw Zola
Abstract:
We propose scalable methods to execute counting queries in machine learning applications. To achieve memory and computational efficiency, we abstract counting queries and their context such that the counts can be aggregated as a stream. We demonstrate performance and scalability of the resulting approach on random queries, and through extensive experimentation using Bayesian networks learning and…
▽ More
We propose scalable methods to execute counting queries in machine learning applications. To achieve memory and computational efficiency, we abstract counting queries and their context such that the counts can be aggregated as a stream. We demonstrate performance and scalability of the resulting approach on random queries, and through extensive experimentation using Bayesian networks learning and association rule mining. Our methods significantly outperform commonly used ADtrees and hash tables, and are practical alternatives for processing large-scale data.
△ Less
Submitted 7 January, 2019; v1 submitted 12 April, 2018;
originally announced April 2018.
-
Model Identification and Controller Parameter Optimization for an Autopilot Design for Autonomous Underwater Vehicles
Authors:
Ralf Taubert,
Mike Eichhorn,
Christoph Ament,
Marco Jacobi,
Divas Karimanzira,
Torsten Pfuetzenreuter
Abstract:
Nowadays an accurate modeling of the system to be controlled is essential for reliable autopilot. This paper presents a non-linear model of the autonomous underwater vehicle 'CWolf'. Matrices and the corresponding coefficients generate a parameterized representation for added mass, Coriolis and centripetal forces, dam**, gravity and buoyancy, using the equations of motion, for all six degrees of…
▽ More
Nowadays an accurate modeling of the system to be controlled is essential for reliable autopilot. This paper presents a non-linear model of the autonomous underwater vehicle 'CWolf'. Matrices and the corresponding coefficients generate a parameterized representation for added mass, Coriolis and centripetal forces, dam**, gravity and buoyancy, using the equations of motion, for all six degrees of freedom. The determination of actuator behaviour by surge tests allows the conversion of propeller revolutions to the respective forces and moments. Based on geometric approximations, the coefficients of the model can be specified by optimization algorithms in 'open loop' sea trials. The realistic model is the basis for the subsequent design of the autopilot. The reference variables used in the four decoupled adaptive PID controllers for surge, heading, pitch and heave are provided a 'Line of Sight' - guidance system. A constraint criteria optimization determines the required controller parameters. The verification by 'closed loop' sea trials ensures the results.
△ Less
Submitted 10 July, 2017;
originally announced July 2017.
-
A Debris Backwards Flow Simulation System for Malaysia Airlines Flight 370
Authors:
Mike Eichhorn,
Alexander Haertel
Abstract:
This paper presents a system based on a Two-Way Particle-Tracking Model to analyze possible crash positions of flight MH370. The particle simulator includes a simple flow simulation of the debris based on a Lagrangian approach and a module to extract appropriated ocean current data from netCDF files. The influence of wind, waves, immersion depth and hydrodynamic behavior are not considered in the…
▽ More
This paper presents a system based on a Two-Way Particle-Tracking Model to analyze possible crash positions of flight MH370. The particle simulator includes a simple flow simulation of the debris based on a Lagrangian approach and a module to extract appropriated ocean current data from netCDF files. The influence of wind, waves, immersion depth and hydrodynamic behavior are not considered in the simulation.
△ Less
Submitted 26 February, 2017;
originally announced February 2017.
-
Guidance of an Autonomous Underwater Vehicle in Special Situations
Authors:
Mike Eichhorn
Abstract:
This article describes a guidance system of the autonomous underwater vehicle "DeepC" [1] in Special situations. A special situation occurs when one or more objects interfere with the planned route of a mission. The possible reactions are evasion or identification of the objects. The paper presents these two tasks in overview. The special demands challenges of the underwater environment, computer…
▽ More
This article describes a guidance system of the autonomous underwater vehicle "DeepC" [1] in Special situations. A special situation occurs when one or more objects interfere with the planned route of a mission. The possible reactions are evasion or identification of the objects. The paper presents these two tasks in overview. The special demands challenges of the underwater environment, computer parameters, sensors and the maneuverability of the vehicle are considered in the selection and development of the required strategies. Such challenges include the sea current, maneuver in the 3-D space and the limited perceptive faculty of the sonar.
△ Less
Submitted 26 February, 2017;
originally announced February 2017.
-
A New Concept for an Obstacle Avoidance System for the AUV "SLOCUM Glider" Operation under Ice
Authors:
Mike Eichhorn
Abstract:
This paper presents a concept for a control System for an autonomous underwater vehicle under ice using a "SLOCUM" underwater glider. The project concept, the separate working tasks for the next one-and-a-half years and the first results will be presented. In this context the structure of the obstacle avoidance system and a simulator structure with a sensor and environment simulation as well as th…
▽ More
This paper presents a concept for a control System for an autonomous underwater vehicle under ice using a "SLOCUM" underwater glider. The project concept, the separate working tasks for the next one-and-a-half years and the first results will be presented. In this context the structure of the obstacle avoidance system and a simulator structure with a sensor and environment simulation as well as the interfaces to the glider hardware will be discussed. As a first result of the main research, a graph-based algorithm for the path planning in a time-varying environment (variable ocean field, moving obstacles) will be described.
△ Less
Submitted 26 February, 2017;
originally announced February 2017.
-
A Mission Planning System for the AUV "SLOCUM Glider" for the Newfoundland and Labrador Shelf
Authors:
Mike Eichhorn,
Christopher D. Williams,
Ralf Bachmayer,
Brad de Young
Abstract:
This paper presents a system for mission planning for an autonomous underwater vehicle in time-varying ocean currents. The mission planning system is designed for the AUV "SLOCUM Glider" to collect oceanographic data along the Newfoundland and Labrador Shelf. The data will be used in conjunction with a numerical ocean model currently under development by the Department of Fisheries and Oceans Cana…
▽ More
This paper presents a system for mission planning for an autonomous underwater vehicle in time-varying ocean currents. The mission planning system is designed for the AUV "SLOCUM Glider" to collect oceanographic data along the Newfoundland and Labrador Shelf. The data will be used in conjunction with a numerical ocean model currently under development by the Department of Fisheries and Oceans Canada. This allows for the validation and the modification of existing ocean current and climate models as well as the design of new models with the aim of improving the accuracy of forecasts. The use of the ocean current forecast data in netCDF format in an ocean current model, the algorithms which consider glider-specific behaviour, details of the program's technical implementation in C++, and, preliminary results will be described.
△ Less
Submitted 26 February, 2017;
originally announced February 2017.
-
Solutions for Practice-oriented Requirements for Optimal Path Planning for the AUV "SLOCUM Glider"
Authors:
Mike Eichhorn
Abstract:
This paper presents a few important practiceoriented requirements for optimal path planning for the AUV "SLOCUM Glider" as well as solutions using fast graph basedalgorithms. These algorithms build upon the TVE (time-varying environment) search algorithm. The experience with this algorithm, requirements of real missions along the Newfoundland and Labrador Shelf and the idea to find the optimal dep…
▽ More
This paper presents a few important practiceoriented requirements for optimal path planning for the AUV "SLOCUM Glider" as well as solutions using fast graph basedalgorithms. These algorithms build upon the TVE (time-varying environment) search algorithm. The experience with this algorithm, requirements of real missions along the Newfoundland and Labrador Shelf and the idea to find the optimal departure time are the motivation to address the field of research, which is described in this paper. The main focus of this paper is a discussion of possible methods to accelerate the path planning algorithm, without deterioration of the results.
△ Less
Submitted 26 February, 2017;
originally announced February 2017.
-
Opportunities to Parallelize Path Planning Algorithms for Autonomous Underwater Vehicles
Authors:
Mike Eichhorn,
Ulrich Kremer
Abstract:
This paper discusses opportunities to parallelize graph based path planning algorithms in a time varying environment. Parallel architectures have become commonplace, requiring algorithm to be parallelized for efficient execution. An additional focal point of this paper is the inclusion of inaccuracies in path planning as a result of forecast error variance, accuracy of calculation in the cost func…
▽ More
This paper discusses opportunities to parallelize graph based path planning algorithms in a time varying environment. Parallel architectures have become commonplace, requiring algorithm to be parallelized for efficient execution. An additional focal point of this paper is the inclusion of inaccuracies in path planning as a result of forecast error variance, accuracy of calculation in the cost functions and a different observed vehicle speed in the real mission than planned. In this context, robust path planning algorithms will be described. These algorithms are equally applicable to land based, aerial, or underwater mobile autonomous systems. The results presented here provide the basis for a future Research project in which the parallelized algorithms will be evaluated on multi and many core systems such as the dual core ARM Panda board and the 48 core Single-chip Cloud Computer (SCC). Modern multi and many core processors support a wide range of performance vs. energy tradeoffs that can be exploited in energyconstrained environments such as battery operated autonomous underwater vehicles. For this evaluation, the boards will be deployed within the Slocum glider, a commercially available, buoyancy driven autonomous underwater vehicle (AUV).
△ Less
Submitted 26 February, 2017;
originally announced February 2017.
-
Modular AUV System for Sea Water Quality Monitoring and Management
Authors:
Mike Eichhorn,
Ralf Taubert,
Christoph Ament,
Marco Jacobi,
Torsten Pfuetzenreuter
Abstract:
The sustained and cost-effective monitoring of the water quality within European coastal areas is of growing importance in view of the upcoming European marine and maritime directives, i.e. the increased industrial use of the marine environment. Such monitoring needs mechanisms/systems to detect the water quality in a large sea area at different depths in real time. This paper presents a system fo…
▽ More
The sustained and cost-effective monitoring of the water quality within European coastal areas is of growing importance in view of the upcoming European marine and maritime directives, i.e. the increased industrial use of the marine environment. Such monitoring needs mechanisms/systems to detect the water quality in a large sea area at different depths in real time. This paper presents a system for the automated detection and analysis of water quality parameters using an autonomous underwater vehicle. The analysis of discharge of nitrate into Norwegian fjords near aqua farms is one of the main application fields of this AUV system. As carrier platform the AUV "CWolf" from the Fraunhofer IOSB-AST will be used, which is perfectly suited through its modular payload concept. The mission Task and the integration of the payload unit which includes the sensor module, the scientific and measurement computer in the AUV carrier platform will be described. Few practice oriented information about the software and interface concept, the function of the several software modules and the test platform with the several test levels to test every module will be discussed.
△ Less
Submitted 26 February, 2017;
originally announced February 2017.
-
Parallelization of Path Planning Algorithms for AUVs Concepts, Opportunities, and Program-Technical Implementation
Authors:
Mike Eichhorn,
Hans Christian Woithe,
Ulrich Kremer
Abstract:
Modern autonomous underwater vehicles (AUVs) have advanced sensing capabilities including sonar, cameras, acoustic communication, and diverse bio-sensors. Instead of just sensing its environment and storing the data for post-Mission inspection, an AUV could use the collected information to gain an understanding of its environment, and based on this understanding autonomously adapt its behavior to…
▽ More
Modern autonomous underwater vehicles (AUVs) have advanced sensing capabilities including sonar, cameras, acoustic communication, and diverse bio-sensors. Instead of just sensing its environment and storing the data for post-Mission inspection, an AUV could use the collected information to gain an understanding of its environment, and based on this understanding autonomously adapt its behavior to enhance the overall effectiveness of its mission. Many such tasks are highly computation intensive. This paper presents the results of a case study that illustrates the effectiveness of an energy-aware, many-core computing architecture to perform on-board path planning within a batteryoperated AUV. A previously published path planning algorithm was ported onto the SCC, an experimental 48 core single-chip system developed by Intel. The performance, power, and energy consumption of the application were measured for different numbers of cores and other system parameters. This case study shows that computation intensive tasks can be executed within an AUV that relies mainly on battery power. Future plans include the deployment and testing of an SCC system within a Teledyne Webb Research Slocum glider.
△ Less
Submitted 26 February, 2017;
originally announced February 2017.
-
Comparison of Guidance Modes for the AUV "Slocum Glider" in Time-Varying Ocean Flows
Authors:
Mike Eichhorn,
Hans Christian Woithe,
Ulrich Kremer
Abstract:
This paper presents possibilities for the reliable guidance of an AUV "Slocum Glider" in time-varying ocean flows. The presented guidance modes consider the restricted information during a real mission about the actual position and ocean current conditions as well as the available control modes of a glider. A faster-than-real-time, full software stack simulator for the Slocum glider will be descri…
▽ More
This paper presents possibilities for the reliable guidance of an AUV "Slocum Glider" in time-varying ocean flows. The presented guidance modes consider the restricted information during a real mission about the actual position and ocean current conditions as well as the available control modes of a glider. A faster-than-real-time, full software stack simulator for the Slocum glider will be described in order to test the developed guidance modes under real mission conditions.
△ Less
Submitted 26 February, 2017;
originally announced February 2017.
-
Increased Efficiency in the Second-Hand Tire Trade Provides Opportunity for Dengue Control
Authors:
Emilene Pliego Pliego,
Jorge Velázquez-Castro,
Markus P. Eichhorn,
Andrés Fraguela Collar
Abstract:
Dengue fever is increasing in geographical range, spread by invasion of its vector mosquitoes. The trade in second-hand tires has been implicated as a factor in this process as they act as mobile reservoirs of mosquito eggs and larvae. Regional transportation of tires can create linkages between rural areas with dengue to disease-free urban areas, potentially giving rise to outbreaks even in areas…
▽ More
Dengue fever is increasing in geographical range, spread by invasion of its vector mosquitoes. The trade in second-hand tires has been implicated as a factor in this process as they act as mobile reservoirs of mosquito eggs and larvae. Regional transportation of tires can create linkages between rural areas with dengue to disease-free urban areas, potentially giving rise to outbreaks even in areas with strong local control measures. In this work we sought to model the dynamics of mosquito transportation via the tire trade, in particular to predict its role in causing unexpected dengue outbreaks through vertical transmission of the virus across generations of mosquitoes. We also aimed to identify strategies for regulating the trade in second-hand tires, improving disease control. We created a mathematical model which captures the dynamics of dengue between rural and urban areas, taking into account the movement, storage time of tires, and mosquito diapause. We simulate a series of scenarios. First a mosquito population is introduced to a dengue-free area via movement of tires, either as single or multiple events, increasing the likelihood of a dengue outbreak. An endemic state can be induced regardless of whether urban conditions for an outbreak are met, and an existing endemic state can be enhanced by vector input. Finally we assess the potential for regulation of tire processing as a means of reducing the transmission of dengue fever using a specific case study from Puerto Rico. Our work demonstrates the importance of the second-hand tire trade in modulating the spread of dengue fever across regions, in particular its role in introducing dengue to disease-free areas. We propose that regulation of tire storage and movement can play a crucial role in containing outbreaks and dengue spread.
△ Less
Submitted 19 January, 2017;
originally announced January 2017.