Source author record

Bill Moran

Bill Moran appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
14topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2022arXiv

Gravity aided navigation using Viterbi map matching algorithm

In GNSS-denied environments, aiding a vehicle's inertial navigation system (INS) is crucial to reducing the accumulated navigation drift caused by sensor errors (e.g. bias and noise). One potential solution is to use measurements of gravity as an aiding source. The measurements are matched to a geo-referenced map of Earth's gravity in order to estimate the vehicle's position. In this paper, we propose a novel formulation of the map matching problem using a hidden Markov model (HMM). Specifically, we treat the spatial cells of the map as the hidden states of the HMM and present a Viterbi style algorithm to estimate the most likely sequence of states, i.e. most likely sequence of vehicle positions, that results in the sequence of observed gravity measurements. Using a realistic gravity map, we demonstrate the accuracy of our Viterbi map matching algorithm in a navigation scenario and illustrate its robustness compared to existing methods.

preprint2022arXiv

Probabilistic Map Matching for Robust Inertial Navigation Aiding

Robust aiding of inertial navigation systems in GNSS-denied environments is critical for the removal of accumulated navigation error caused by the drift and bias inherent in inertial sensors. One way to perform such an aiding uses matching of geophysical measurements, such as gravimetry, gravity gradiometry or magnetometry, with a known geo-referenced map. Although simple in concept, this map matching procedure is challenging: the measurements themselves are noisy; their associated spatial location is uncertain; and the measurements may match multiple points within the map (i.e. non-unique solution). In this paper, we propose a probabilistic multiple hypotheses tracker to solve the map matching problem and allow robust inertial navigation aiding. Our approach addresses the problem both locally, via probabilistic data association, and temporally by incorporating the underlying platform kinematic constraints into the tracker. The map matching output is then integrated into the navigation system using an unscented Kalman filter. Additionally, we present a statistical measure of local map information density -- the map feature variability -- and use it to weight the output covariance of the proposed algorithm. The effectiveness and robustness of the proposed algorithm are demonstrated using a navigation scenario involving gravitational map matching.

preprint2022arXiv

Submarine Cable Network Design for Regional Connectivity

This paper optimizes path planning for a trunkand-branch topology network in an irregular 2-dimensional manifold embedded in 3-dimensional Euclidean space with application to submarine cable network planning. We go beyond our earlier focus on the costs of cable construction (including labor, equipment and materials) together with additional cost to enhance cable resilience, to incorporate the overall cost of branching units (again including material, construction and laying) and the choice of submarine cable landing stations, where such a station can be anywhere on the coast in a connected region. These are important issues for the economics of cable laying and significantly change the model and the optimization process. We pose the problem as a variant of the Steiner tree problem, but one in which the Steiner nodes can vary in number, while incurring a penalty. We refer to it as the weighted Steiner node problem. It differs from the Euclidean Steiner tree problem, where Steiner points are forced to have degree three; this is no longer the case, in general, when nodes incur a cost. We are able to prove that our algorithm is applicable to Steiner nodes with degree greater than three, enabling optimization of network costs in this context. The optimal solution is achieved in polynomialtime using dynamic programming.

preprint2020arXiv

A Restless Bandit Model for Resource Allocation, Competition and Reservation

We study a resource allocation problem with varying requests, and with resources of limited capacity shared by multiple requests. It is modeled as a set of heterogeneous Restless Multi-Armed Bandit Problems (RMABPs) connected by constraints imposed by resource capacity. Following Whittle's relaxation idea and Weber and Weiss' asymptotic optimality proof, we propose a simple policy and prove it to be asymptotically optimal in a regime where both arrival rates and capacities increase. We provide a simple sufficient condition for asymptotic optimality of the policy, and in complete generality propose a method that generates a set of candidate policies for which asymptotic optimality can be checked. The effectiveness of these results is demonstrated by numerical experiments. To the best of our knowledge, this is the first work providing asymptotic optimality results for such a resource allocation problem and such a combination of multiple RMABPs.

preprint2020arXiv

Bayesian Recursive Estimation on the Rotation Group

Tracking on the rotation group is a key component of many modern systems for estimation of the motion of rigid bodies. To address this problem, here we describe a Bayesian algorithm that relies on directional measurements for tracking on the special orthogonal (rotation) group. Its novelty lies in the use of maximum entropy distributions on these groups as models for the priors, and justifiable approximation algorithms that permit recursive implementation of such a model. We provide the solutions in a recursive closed form. In the two-dimensional case the parameters of the prior and posterior distributions can be computed exactly and the solution has low complexity. Adoption of this approach eliminates the problem of angle wrapping. In higher dimensions the exact solution cannot be computed, and it is necessary to make (very close) approximations, which is done here. We demonstrate in simulations that, in contrast with some other approaches, our algorithm produces very accurate and statistically meaningful outputs.

preprint2020arXiv

Energy-Efficient Job-Assignment Policy with Asymptotically Guaranteed Performance Deviation

We study a job-assignment problem in a large-scale server farm system with geographically deployed servers as abstracted computer components (e.g., storage, network links, and processors) that are potentially diverse. We aim to maximize the energy efficiency of the entire system by effectively controlling carried load on networked servers. A scalable, near-optimal job-assignment policy is proposed. The optimality is gauged as, roughly speaking, energy cost per job. Our key result is an upper bound on the deviation between the proposed policy and the asymptotically optimal energy efficiency, when job sizes are exponentially distributed and blocking probabilities are positive. Relying on Whittle relaxation and the asymptotic optimality theorem of Weber and Weiss, this bound is shown to decrease exponentially as the number of servers and the arrival rates of jobs increase arbitrarily and in proportion. In consequence, the proposed policy is asymptotically optimal and, more importantly, approaches asymptotic optimality quickly (exponentially). This suggests that the proposed policy is close to optimal even for relatively small systems (and indeed any larger systems), and this is consistent with the results of our simulations. Simulations indicate that the policy is effective, and robust to variations in job-size distributions.

preprint2020arXiv

Positive operator-valued measures and densely-defined operator-valued frames

In the signal-processing literature, a frame is a mechanism for performing analysis and reconstruction in a Hilbert space. By contrast, in quantum theory, a positive operator-valued measure (POVM) decomposes a Hilbert-space vector for the purpose of computing measurement probabilities. Frames and their most common generalizations can be seen to give rise to POVMs, but does every reasonable POVM arise from a type of frame? In this paper we answer this question using a Radon-Nikodym-type result.

preprint2016arXiv

Regularizing Random Points: Complementary Matérn Hard-Core Point Process

In this paper we present a tractable approach for regularizing randomly placed points, by splitting them into two subsets: the first is generated by means of the Matérn hard-core point process, while the remaining points constitute the complementary Matérn hard-core point process. We study the characteristics of these processes, deriving its pair-correlation functions, and the distribution of the distance to the nearest neighbour. The results have several applications in wireless communications, including the modeling of wireless sensor networks, where we investigate an example of regularizing such networks and illustrate its advantage in reducing the energy consumption of wireless nodes.

preprint2016arXiv

Statistical Properties of the Single Linkage Hierarchical Clustering Estimator

Distance-based hierarchical clustering (HC) methods are widely used in unsupervised data analysis but few authors take account of uncertainty in the distance data. We incorporate a statistical model of the uncertainty through corruption or noise in the pairwise distances and investigate the problem of estimating the HC as unknown parameters from measurements. Specifically, we focus on single linkage hierarchical clustering (SLHC) and study its geometry. We prove that under fairly reasonable conditions on the probability distribution governing measurements, SLHC is equivalent to maximum partial profile likelihood estimation (MPPLE) with some of the information contained in the data ignored. At the same time, we show that direct evaluation of SLHC on maximum likelihood estimation (MLE) of pairwise distances yields a consistent estimator. Consequently, a full MLE is expected to perform better than SLHC in getting the correct HC results for the ground truth metric.

preprint2016arXiv

Stochastic Geometry Methods for Modelling Automotive Radar Interference

As the use of automotive radar increases, performance limitations associated with radar-to-radar interference will become more significant. In this paper we employ tools from stochastic geometry to characterize the statistics of radar interference. Specifically, using two different models for vehicle spacial distributions, namely, a Poisson point process and a Bernoulli lattice process, we calculate for each case the interference statistics and obtain analytical expressions for the probability of successful range estimation. Our study shows that the regularity of the geometrical model appears to have limited effect on the interference statistics, and so it is possible to obtain tractable tight bounds for worst case performance. A technique is proposed for designing the duty cycle for random spectrum access which optimizes the total performance. This analytical framework is verified using Monte-Carlo simulations.

preprint2015arXiv

Maximum Likelihood Estimation for Single Linkage Hierarchical Clustering

We derive a statistical model for estimation of a dendrogram from single linkage hierarchical clustering (SLHC) that takes account of uncertainty through noise or corruption in the measurements of separation of data. Our focus is on just the estimation of the hierarchy of partitions afforded by the dendrogram, rather than the heights in the latter. The concept of estimating this "dendrogram structure'' is introduced, and an approximate maximum likelihood estimator (MLE) for the dendrogram structure is described. These ideas are illustrated by a simple Monte Carlo simulation that, at least for small data sets, suggests the method outperforms SLHC in the presence of noise.

preprint2014arXiv

Bounds on Multiple Sensor Fusion

We consider the problem of fusing measurements from multiple sensors, where the sensing regions overlap and data are non-negative---possibly resulting from a count of indistinguishable discrete entities. Because of overlaps, it is, in general, impossible to fuse this information to arrive at an accurate estimate of the overall amount or count of material present in the union of the sensing regions. Here we study the range of overall values consistent with the data. Posed as a linear programming problem, this leads to interesting questions associated with the geometry of the sensor regions, specifically, the arrangement of their non-empty intersections. We define a computational tool called the fusion polytope and derive a condition for this to be in the positive orthant thus simplifying calculations. We show that, in two dimensions, inflated tiling schemes based on rectangular regions fail to satisfy this condition, whereas inflated tiling schemes based on hexagons do.

preprint2014arXiv

Guaranteed Bounds for General Approximate Dynamic Programming

In this paper, we will develop a systematic approach to deriving guaranteed bounds for approximate dynamic programming (ADP) schemes in optimal control problems. Our approach is inspired by our recent results on bounding the performance of greedy strategies in optimization of string-submodular functions over a finite horizon. The approach is to derive a string-submodular optimization problem, for which the optimal strategy is the optimal control solution and the greedy strategy is the ADP solution. Using this approach, we show that any ADP solution achieves a performance that is at least a factor of $β$ of the performance of the optimal control solution, which satisfies Bellman's optimality principle. The factor $β$ depends on the specific ADP scheme, as we will explicitly characterize. To illustrate the applicability of our bounding technique, we present examples of ADP schemes, including the popular rollout method.

preprint2012arXiv

An Information-geometric Approach to Sensor Management

An information-geometric approach to sensor management is introduced that is based on following geodesic curves in a manifold of possible sensor configurations. This perspective arises by observing that, given a parameter estimation problem to be addressed through management of sensor assets, any particular sensor configuration corresponds to a Riemannian metric on the parameter manifold. With this perspective, managing sensors involves navigation on the space of all Riemannian metrics on the parameter manifold, which is itself a Riemannian manifold. Existing work assumes the metric on the parameter manifold is one that, in statistical terms, corresponds to a Jeffreys prior on the parameter to be estimated. It is observed that informative priors, as arise in sensor management, can also be accommodated. Given an initial sensor configuration, the trajectory along which to move in sensor configuration space to gather most information is seen to be locally defined by the geodesic structure of this manifold. Further, divergences based on Fisher and Shannon information lead to the same Riemannian metric and geodesics.

preprint2012arXiv

Maximum-entropy Surrogation in Network Signal Detection

Multiple-channel detection is considered in the context of a sensor network where raw data are shared only by nodes that have a common edge in the network graph. Established multiple-channel detectors, such as those based on generalized coherence or multiple coherence, use pairwise measurements from every pair of sensors in the network and are thus directly applicable only to networks whose graphs are completely connected. An approach introduced here uses a maximum-entropy technique to formulate surrogate values for missing measurements corresponding to pairs of nodes that do not share an edge in the network graph. The broader potential merit of maximum-entropy baselines in quantifying the value of information in sensor network applications is also noted.

preprint2012arXiv

Polynomial phase estimation by phase unwrapping

Estimating the coefficients of a noisy polynomial phase signal is important in fields including radar, biology and radio communications. One approach attempts to perform polynomial regression on the phase of the signal. This is complicated by the fact that the phase is wrapped modulo 2πand must be unwrapped before regression can be performed. In this paper we consider an estimator that performs phase unwrapping in a least squares manner. We describe the asymptotic properties of this estimator, showing that it is strongly consistent and asymptotically normally distributed.

preprint2011arXiv

Positive Operator Valued Measures: A General Setting for Frames

This paper presents an overview of close parallels that exist between the theory of positive operator-valued measures (POVMs) associated with a separable Hilbert space and the theory of frames on that space, including its most important generalizations. The concept of a framed POVM is introduced, and classical frames, fusion frames, generalized frames, and other variants of frames are all shown to to arise as framed POVMs. This observation allows drawing on a rich existing theory of POVMs to provide new perspectives in the study of frames.