Showing 1–25 of 25 results for author: Williams, J L

Multiobject Tracking for Thresholded Cell Measurements

Authors: Thomas Kropfreiter, Jason L. Williams, Florian Meyer

Abstract: In many multiobject tracking applications, including radar and sonar tracking, after prefiltering the received signal, measurement data is typically structured in cells. The cells, e.g., represent different range and bearing values. However, conventional multiobject tracking methods use so-called point measurements. Point measurements are provided by a preprocessing stage that applies a threshold… ▽ More In many multiobject tracking applications, including radar and sonar tracking, after prefiltering the received signal, measurement data is typically structured in cells. The cells, e.g., represent different range and bearing values. However, conventional multiobject tracking methods use so-called point measurements. Point measurements are provided by a preprocessing stage that applies a threshold or detector and breaks up the cell's structure by converting cell indexes into, e.g., range and bearing measurements. We here propose a Bayesian multiobject tracking method that processes measurements that have been thresholded but are still cell-structured. We first derive a likelihood function that systematically incorporates an adjustable detection threshold which makes it possible to control the number of cell measurements. We then propose a Poisson Multi-Bernoulli (PMB) filter based on the likelihood function for cell measurements. Furthermore, we establish a link to the conventional point measurement model by deriving the likelihood function for point measurements with amplitude information (AM) and discuss the PMB filter that uses point measurements with AM. Our numerical results demonstrate the advantages of the proposed method that relies on thresholded cell measurements compared to the conventional multiobject tracking based on point measurements with and without AM. △ Less

Submitted 1 June, 2024; v1 submitted 11 March, 2024; originally announced March 2024.

Comments: FUSION-24 conference

Present and Future of SLAM in Extreme Underground Environments

Authors: Kamak Ebadi, Lukas Bernreiter, Harel Biggie, Gavin Catt, Yun Chang, Arghya Chatterjee, Christopher E. Denniston, Simon-Pierre Deschênes, Kyle Harlow, Shehryar Khattak, Lucas Nogueira, Matteo Palieri, Pavel Petráček, Matěj Petrlík, Andrzej Reinke, Vít Krátký, Shibo Zhao, Ali-akbar Agha-mohammadi, Kostas Alexis, Christoffer Heckman, Kasra Khosoussi, Navinda Kottege, Benjamin Morrell, Marco Hutter, Fred Pauling , et al. (6 additional authors not shown)

Abstract: This paper reports on the state of the art in underground SLAM by discussing different SLAM strategies and results across six teams that participated in the three-year-long SubT competition. In particular, the paper has four main goals. First, we review the algorithms, architectures, and systems adopted by the teams; particular emphasis is put on lidar-centric SLAM solutions (the go-to approach fo… ▽ More This paper reports on the state of the art in underground SLAM by discussing different SLAM strategies and results across six teams that participated in the three-year-long SubT competition. In particular, the paper has four main goals. First, we review the algorithms, architectures, and systems adopted by the teams; particular emphasis is put on lidar-centric SLAM solutions (the go-to approach for virtually all teams in the competition), heterogeneous multi-robot operation (including both aerial and ground robots), and real-world underground operation (from the presence of obscurants to the need to handle tight computational constraints). We do not shy away from discussing the dirty details behind the different SubT SLAM systems, which are often omitted from technical papers. Second, we discuss the maturity of the field by highlighting what is possible with the current SLAM systems and what we believe is within reach with some good systems engineering. Third, we outline what we believe are fundamental open problems, that are likely to require further research to break through. Finally, we provide a list of open-source SLAM implementations and datasets that have been produced during the SubT challenge and related efforts, and constitute a useful resource for researchers and practitioners. △ Less

Submitted 2 August, 2022; originally announced August 2022.

Comments: 21 pages including references. This survey paper is submitted to IEEE Transactions on Robotics for pre-approval

Trajectory PMB Filters for Extended Object Tracking Using Belief Propagation

Authors: Yuxuan Xia, Ángel F. García-Fernández, Florian Meyer, Jason L. Williams, Karl Granström, Lennart Svensson

Abstract: In this paper, we propose a Poisson multi-Bernoulli (PMB) filter for extended object tracking (EOT), which directly estimates the set of object trajectories, using belief propagation (BP). The proposed filter propagates a PMB density on the posterior of sets of trajectories through the filtering recursions over time, where the PMB mixture (PMBM) posterior after the update step is approximated as a… ▽ More In this paper, we propose a Poisson multi-Bernoulli (PMB) filter for extended object tracking (EOT), which directly estimates the set of object trajectories, using belief propagation (BP). The proposed filter propagates a PMB density on the posterior of sets of trajectories through the filtering recursions over time, where the PMB mixture (PMBM) posterior after the update step is approximated as a PMB. The efficient PMB approximation relies on several important theoretical contributions. First, we present a PMBM conjugate prior on the posterior of sets of trajectories for a generalized measurement model, in which each object generates an independent set of measurements. The PMBM density is a conjugate prior in the sense that both the prediction and the update steps preserve the PMBM form of the density. Second, we present a factor graph representation of the joint posterior of the PMBM set of trajectories and association variables for the Poisson spatial measurement model. Importantly, leveraging the PMBM conjugacy and the factor graph formulation enables an elegant treatment on undetected objects via a Poisson point process and efficient inference on sets of trajectories using BP, where the approximate marginal densities in the PMB approximation can be obtained without enumeration of different data association hypotheses. To achieve this, we present a particle-based implementation of the proposed filter, where smoothed trajectory estimates, if desired, can be obtained via single-object particle smoothing methods, and its performance for EOT with ellipsoidal shapes is evaluated in a simulation study. △ Less

Submitted 19 September, 2023; v1 submitted 20 July, 2022; originally announced July 2022.

Comments: Accepted for publication in IEEE Transactions on Aerospace and Electronic Systems. MATLAB implementation available at https://github.com/yuhsuansia/Trajectory-PMB-EOT-BP

Multiple Object Trajectory Estimation Using Backward Simulation

Authors: Yuxuan Xia, Lennart Svensson, Ángel F. García-Fernández, Jason L. Williams, Daniel Svensson, Karl Granström

Abstract: This paper presents a general solution for computing the multi-object posterior for sets of trajectories from a sequence of multi-object (unlabelled) filtering densities and a multi-object dynamic model. Importantly, the proposed solution opens an avenue of trajectory estimation possibilities for multi-object filters that do not explicitly estimate trajectories. In this paper, we first derive a ge… ▽ More This paper presents a general solution for computing the multi-object posterior for sets of trajectories from a sequence of multi-object (unlabelled) filtering densities and a multi-object dynamic model. Importantly, the proposed solution opens an avenue of trajectory estimation possibilities for multi-object filters that do not explicitly estimate trajectories. In this paper, we first derive a general multi-trajectory backward smoothing equation based on random finite sets of trajectories. Then we show how to sample sets of trajectories using backward simulation for Poisson multi-Bernoulli filtering densities, and develop a tractable implementation based on ranked assignment. The performance of the resulting multi-trajectory particle smoothers is evaluated in a simulation study, and the results demonstrate that they have superior performance in comparison to several state-of-the-art multi-object filters and smoothers. △ Less

Submitted 16 June, 2022; originally announced June 2022.

Comments: Accepted for publication in IEEE Transactions on Signal Processing

A Scalable Track-Before-Detect Method With Poisson/Multi-Bernoulli Model

Authors: Thomas Kropfreiter, Jason L. Williams, Florian Meyer

Abstract: We propose a scalable track-before-detect (TBD) tracking method based on a Poisson/multi-Bernoulli model. To limit computational complexity, we approximate the exact multi-Bernoulli mixture posterior probability density function (pdf) by a multi-Bernoulli pdf. Data association based on the sum-product algorithm and recycling of Bernoulli components enable the detection and tracking of low-observab… ▽ More We propose a scalable track-before-detect (TBD) tracking method based on a Poisson/multi-Bernoulli model. To limit computational complexity, we approximate the exact multi-Bernoulli mixture posterior probability density function (pdf) by a multi-Bernoulli pdf. Data association based on the sum-product algorithm and recycling of Bernoulli components enable the detection and tracking of low-observable objects with limited computational resources. Our simulation results demonstrate a significantly improved tracking performance compared to a state-of-the-art TBD method. △ Less

Submitted 3 September, 2021; originally announced September 2021.

Comments: published at FUSION conference 2021

Scalable Detection and Tracking of Geometric Extended Objects

Authors: Florian Meyer, Jason L. Williams

Abstract: Multiobject tracking provides situational awareness that enables new applications for modern convenience, public safety, and homeland security. This paper presents a factor graph formulation and a particle-based sum-product algorithm (SPA) for scalable detection and tracking of extended objects. The proposed method dynamically introduces states of newly detected objects, efficiently performs proba… ▽ More Multiobject tracking provides situational awareness that enables new applications for modern convenience, public safety, and homeland security. This paper presents a factor graph formulation and a particle-based sum-product algorithm (SPA) for scalable detection and tracking of extended objects. The proposed method dynamically introduces states of newly detected objects, efficiently performs probabilistic multiple-measurement to object association, and jointly infers the geometric shapes of objects. Scalable extended object tracking (EOT) is enabled by modeling association uncertainty by measurement-oriented association variables and newly detected objects by a Poisson birth process. Contrary to conventional EOT methods, a fully particle-based approach makes it possible to describe different geometric object shapes. The proposed method can reliably detect, localize, and track a large number of closely-spaced extended objects without gating and clustering of measurements. We demonstrate significant performance advantages of our approach compared to the recently introduced Poisson multi-Bernoulli mixture filter. In particular, we consider a simulated scenarios with up to twenty closely-spaced objects and a real autonomous driving application where measurements are captured by a lidar sensor. △ Less

Submitted 9 December, 2021; v1 submitted 20 March, 2021; originally announced March 2021.

Comments: 29 pages, 8 figures, 2 tables

A Poisson multi-Bernoulli mixture filter for coexisting point and extended targets

Authors: Ángel F. García-Fernández, Jason L. Williams, Lennart Svensson, Yuxuan Xia

Abstract: This paper proposes a Poisson multi-Bernoulli mixture (PMBM) filter for coexisting point and extended targets, i.e., for scenarios where there may be simultaneous point and extended targets. The PMBM filter provides a recursion to compute the multi-target filtering posterior based on probabilistic information on data associations, and single-target predictions and updates. In this paper, we first… ▽ More This paper proposes a Poisson multi-Bernoulli mixture (PMBM) filter for coexisting point and extended targets, i.e., for scenarios where there may be simultaneous point and extended targets. The PMBM filter provides a recursion to compute the multi-target filtering posterior based on probabilistic information on data associations, and single-target predictions and updates. In this paper, we first derive the PMBM filter update for a generalised measurement model, which can include measurements originated from point and extended targets. Second, we propose a single-target space that accommodates both point and extended targets and derive the filtering recursion that propagates Gaussian densities for point targets and gamma Gaussian inverse Wishart densities for extended targets. As a computationally efficient approximation of the PMBM filter, we also develop a Poisson multi-Bernoulli (PMB) filter for coexisting point and extended targets. The resulting filters are analysed via numerical simulations. △ Less

Submitted 18 May, 2021; v1 submitted 9 November, 2020; originally announced November 2020.

Comments: Matlab files can be found at https://github.com/Agarciafernandez/Coexisting-point-extended-target-PMBM-filter and https://github.com/yuhsuansia/Coexisting-point-extended-target-PMBM-filter. A relevant multi-object tracking course can be found at https://www.youtube.com/channel/UCa2-fpj6AV8T6JK1uTRuFpw

Journal ref: in IEEE Transactions on Signal Processing, vol. 69, pp. 2600-2610, 2021

Backward Simulation for Sets of Trajectories

Authors: Yuxuan Xia, Lennart Svensson, Ángel F. García-Fernández, Karl Granström, Jason L. Williams

Abstract: This paper presents a solution for recovering full trajectory information, via the calculation of the posterior of the set of trajectories, from a sequence of multitarget (unlabelled) filtering densities and the multitarget dynamic model. Importantly, the proposed solution opens an avenue of trajectory estimation possibilities for multitarget filters that do not explicitly estimate trajectories. I… ▽ More This paper presents a solution for recovering full trajectory information, via the calculation of the posterior of the set of trajectories, from a sequence of multitarget (unlabelled) filtering densities and the multitarget dynamic model. Importantly, the proposed solution opens an avenue of trajectory estimation possibilities for multitarget filters that do not explicitly estimate trajectories. In this paper, we first derive a general multitrajectory forward-backward smoothing equation based on sets of trajectories and the random finite set framework. Then we show how to sample sets of trajectories using backward simulation when the multitarget filtering densities are multi-Bernoulli processes. The proposed approach is demonstrated in a simulation study. △ Less

Submitted 22 February, 2021; v1 submitted 5 August, 2020; originally announced August 2020.

Comments: Published in 23rd International Conference on Information Fusion. This arXiv version contains more detailed derivations

Trajectory Poisson multi-Bernoulli filters

Authors: Ángel F. García-Fernández, Lennart Svensson, Jason L. Williams, Yuxuan Xia, Karl Granström

Abstract: This paper presents two trajectory Poisson multi-Bernoulli (TPMB) filters for multi-target tracking: one to estimate the set of alive trajectories at each time step and another to estimate the set of all trajectories, which includes alive and dead trajectories, at each time step. The filters are based on propagating a Poisson multi-Bernoulli (PMB) density on the corresponding set of trajectories t… ▽ More This paper presents two trajectory Poisson multi-Bernoulli (TPMB) filters for multi-target tracking: one to estimate the set of alive trajectories at each time step and another to estimate the set of all trajectories, which includes alive and dead trajectories, at each time step. The filters are based on propagating a Poisson multi-Bernoulli (PMB) density on the corresponding set of trajectories through the filtering recursion. After the update step, the posterior is a PMB mixture (PMBM) so, in order to obtain a PMB density, a Kullback-Leibler divergence minimisation on an augmented space is performed. The developed filters are computationally lighter alternatives to the trajectory PMBM filters, which provide the closed-form recursion for sets of trajectories with Poisson birth model, and are shown to outperform previous multi-target tracking algorithms. △ Less

Submitted 17 September, 2020; v1 submitted 28 March, 2020; originally announced March 2020.

Comments: Matlab code is provided at https://github.com/Agarciafernandez/MTT

Journal ref: in IEEE Transactions on Signal Processing, vol. 68, pp. 4933-4945, 2020

Multi-Scan Implementation of the Trajectory Poisson Multi-Bernoulli Mixture Filter

Authors: Yuxuan Xia, Karl Granström, Lennart Svensson, Ángel F. García-Fernández, Jason L. Williams

Abstract: The Poisson multi-Bernoulli mixture (PMBM) and the multi-Bernoulli mixture (MBM) are two multi-target distributions for which closed-form filtering recursions exist. The PMBM has a Poisson birth process, whereas the MBM has a multi-Bernoulli birth process. This paper considers a recently developed formulation of the multi-target tracking problem using a random finite set of trajectories, through w… ▽ More The Poisson multi-Bernoulli mixture (PMBM) and the multi-Bernoulli mixture (MBM) are two multi-target distributions for which closed-form filtering recursions exist. The PMBM has a Poisson birth process, whereas the MBM has a multi-Bernoulli birth process. This paper considers a recently developed formulation of the multi-target tracking problem using a random finite set of trajectories, through which the track continuity is explicitly established. A multi-scan trajectory PMBM filter and a multi-scan trajectory MBM filter, with the ability to correct past data association decisions to improve current decisions, are presented. In addition, a multi-scan trajectory $\text{MBM}_{01}$ filter, in which the existence probabilities of all Bernoulli components are either 0 or 1, is presented. This paper proposes an efficient implementation that performs track-oriented $N$-scan pruning to limit computational complexity, and uses dual decomposition to solve the involved multi-frame assignment problem. The performance of the presented multi-target trackers, applied with an efficient fixed-lag smoothing method, are evaluated in a simulation study. △ Less

Submitted 27 February, 2020; v1 submitted 3 December, 2019; originally announced December 2019.

Comments: Published in Journals of Advances in Information Fusion, Special issue on Multiple Hypothesis Tracking, Volume 14, Number 2, Page 213-235, December 2019. MATLAB code is available at https://github.com/yuhsuansia/Multi-scan-trajectory-PMBM-filter

Journal ref: Journal of Advances in Information Fusion Volume 14 Number 2 December 2019

Extended target Poisson multi-Bernoulli mixture trackers based on sets of trajectories

Authors: Yuxuan Xia, Karl Granström, Lennart Svensson, Ángel F. García-Fernández, Jason L. Williams

Abstract: The Poisson multi-Bernoulli mixture (PMBM) is a multi-target distribution for which the prediction and update are closed. By applying the random finite set (RFS) framework to multi-target tracking with sets of trajectories as the variable of interest, the PMBM trackers can efficiently estimate the set of target trajectories. This paper derives two trajectory RFS filters for extended target trackin… ▽ More The Poisson multi-Bernoulli mixture (PMBM) is a multi-target distribution for which the prediction and update are closed. By applying the random finite set (RFS) framework to multi-target tracking with sets of trajectories as the variable of interest, the PMBM trackers can efficiently estimate the set of target trajectories. This paper derives two trajectory RFS filters for extended target tracking, called extended target PMBM trackers. Compared to the extended target PMBM filter based on sets on targets, explicit track continuity between time steps is provided in the extended target PMBM trackers. △ Less

Submitted 19 November, 2019; originally announced November 2019.

Comments: MATLAB code is available at https://github.com/yuhsuansia/Extended-Target-PMBM-Tracker. arXiv admin note: text overlap with arXiv:1812.05131

Journal ref: Proceedings of the 22nd International Conference on Information Fusion, 2019

Almost-Killing equation: Stability, hyperbolicity, and black hole Gauss law

Authors: Justin C. Feng, Edgar Gasperín, Jarrod L. Williams

Abstract: We examine the Hamiltonian formulation and hyperbolicity of the almost-Killing equation (AKE). We find that for all but one parameter choice, the Hamiltonian is unbounded, and in some cases, the AKE has ghost degrees of freedom. We also show the AKE is only strongly hyperbolic for one parameter choice, which corresponds to a case in which the AKE has ghosts. Fortunately, one finds that the AKE red… ▽ More We examine the Hamiltonian formulation and hyperbolicity of the almost-Killing equation (AKE). We find that for all but one parameter choice, the Hamiltonian is unbounded, and in some cases, the AKE has ghost degrees of freedom. We also show the AKE is only strongly hyperbolic for one parameter choice, which corresponds to a case in which the AKE has ghosts. Fortunately, one finds that the AKE reduces to the homogeneous Maxwell equation in a vacuum, so that with the addition of the divergence-free constraint (a "Lorenz gauge"), one can still obtain a well-posed problem that is stable in the sense that the corresponding Hamiltonian is positive definite. An analysis of the resulting Komar currents reveals an exact Gauss law for a system of black holes in vacuum spacetimes and suggests a possible measure of matter content in asymptotically flat spacetimes. △ Less

Submitted 13 December, 2019; v1 submitted 11 November, 2019; originally announced November 2019.

Comments: 10 pages, 3 figures. Matches published version

MSC Class: 83C99

Journal ref: Phys. Rev. D 100, 124034 (2019)

Gaussian implementation of the multi-Bernoulli mixture filter

Authors: Ángel F. García-Fernández, Yuxuan Xia, Karl Granström, Lennart Svensson, Jason L. Williams

Abstract: This paper presents the Gaussian implementation of the multi-Bernoulli mixture (MBM) filter. The MBM filter provides the filtering (multi-target) density for the standard dynamic and radar measurement models when the birth model is multi-Bernoulli or multi-Bernoulli mixture. Under linear/Gaussian models, the single target densities of the MBM mixture admit Gaussian closed-form expressions. Murty's… ▽ More This paper presents the Gaussian implementation of the multi-Bernoulli mixture (MBM) filter. The MBM filter provides the filtering (multi-target) density for the standard dynamic and radar measurement models when the birth model is multi-Bernoulli or multi-Bernoulli mixture. Under linear/Gaussian models, the single target densities of the MBM mixture admit Gaussian closed-form expressions. Murty's algorithm is used to select the global hypotheses with highest weights. The MBM filter is compared with other algorithms in the literature via numerical simulations. △ Less

Submitted 23 August, 2019; originally announced August 2019.

Comments: Matlab code of the MBM and PMBM filters is provided in https://github.com/Agarciafernandez/MTT . Additional information on MTT including PMBM and MBM filters can be found in the online course https://www.youtube.com/channel/UCa2-fpj6AV8T6JK1uTRuFpw

Journal ref: Proceedings of the 22nd International Conference on Information Fusion, 2019

A perturbative approach to the construction of initial data on compact manifolds

Authors: J. A. Valiente Kroon, J. L. Williams

Abstract: We discuss the implementation, to the case of compact manifolds, of the perturbative method of Friedrich-Butscher for the construction of solutions to the vaccum Einstein constraint equations. This method is of a perturbative nature and exploits the properties of the extended constraint equations ---a larger system of equations whose solutions imply a solution to the Einstein constraints. The meth… ▽ More We discuss the implementation, to the case of compact manifolds, of the perturbative method of Friedrich-Butscher for the construction of solutions to the vaccum Einstein constraint equations. This method is of a perturbative nature and exploits the properties of the extended constraint equations ---a larger system of equations whose solutions imply a solution to the Einstein constraints. The method is applied to the construction of nonlinear perturbations of constant mean curvature initial data of constant negative sectional curvature. We prove the existence of a neighbourhood of solutions to the constraint equations around such initial data, with particular components of the extrinsic curvature and electric/magnetic parts of the spacetime Weyl curvature prescribed as free data. The space of such free data is parametrised explicitly. △ Less

Submitted 15 June, 2019; v1 submitted 22 January, 2018; originally announced January 2018.

Poisson Multi-Bernoulli Approximations for Multiple Extended Object Filtering

Authors: Yuxuan Xia, Karl Granström, Lennart Svensson, Maryam Fatemi, Ángel F. García-Fernández, Jason L. Williams

Abstract: The Poisson multi-Bernoulli mixture (PMBM) is a multi-object conjugate prior for the closed-form Bayes random finite sets filter. The extended object PMBM filter provides a closed-form solution for multiple extended object filtering with standard models. This paper considers computationally lighter alternatives to the extended object PMBM filter by propagating a Poisson multi-Bernoulli (PMB) densi… ▽ More The Poisson multi-Bernoulli mixture (PMBM) is a multi-object conjugate prior for the closed-form Bayes random finite sets filter. The extended object PMBM filter provides a closed-form solution for multiple extended object filtering with standard models. This paper considers computationally lighter alternatives to the extended object PMBM filter by propagating a Poisson multi-Bernoulli (PMB) density through the filtering recursion. A new local hypothesis representation is presented where each measurement creates a new Bernoulli component. This facilitates the developments of methods for efficiently approximating the PMBM posterior density after the update step as a PMB. Based on the new hypothesis representation, two approximation methods are presented: one is based on the track-oriented multi-Bernoulli (MB) approximation, and the other is based on the variational MB approximation via Kullback-Leibler divergence minimisation. The performance of the proposed PMB filters with gamma Gaussian inverse-Wishart implementations are evaluated in a simulation study. △ Less

Submitted 13 August, 2021; v1 submitted 4 January, 2018; originally announced January 2018.

Comments: Accepted for publication in IEEE T-AES

The conformal Killing spinor initial data equations

Authors: Edgar Gasperin, Jarrod L. Williams

Abstract: We obtain necessary and sufficient conditions for an initial data set for the vacuum conformal Einstein field equations to give rise to a spacetime development in possession of a Killing spinor. The fact that the conformal Einstein field equations are used in our derivation allows for the possibility of the initial hypersurface $\mathcal{S}$ intersecting non-trivially with (or even being a subset… ▽ More We obtain necessary and sufficient conditions for an initial data set for the vacuum conformal Einstein field equations to give rise to a spacetime development in possession of a Killing spinor. The fact that the conformal Einstein field equations are used in our derivation allows for the possibility of the initial hypersurface $\mathcal{S}$ intersecting non-trivially with (or even being a subset of) null infinity $\mathscr{I}$. For conciseness, these conditions are derived assuming that the initial hypersurface is spacelike. Hence, in particular, these conformal Killing spinor initial data equations encode necessary and sufficient conditions for the existence of a Killing spinor in the development of asymptotic initial data on spacelike components of $\mathscr{I}$. △ Less

Submitted 8 April, 2022; v1 submitted 25 April, 2017; originally announced April 2017.

Comments: 27 pages, main result changed

Poisson multi-Bernoulli mixture filter: direct derivation and implementation

Authors: Ángel F. García-Fernández, Jason L. Williams, Karl Granström, Lennart Svensson

Abstract: We provide a derivation of the Poisson multi-Bernoulli mixture (PMBM) filter for multi-target tracking with the standard point target measurements without using probability generating functionals or functional derivatives. We also establish the connection with the δ-generalised labelled multi-Bernoulli (δ-GLMB) filter, showing that a δ-GLMB density represents a multi-Bernoulli mixture with labelle… ▽ More We provide a derivation of the Poisson multi-Bernoulli mixture (PMBM) filter for multi-target tracking with the standard point target measurements without using probability generating functionals or functional derivatives. We also establish the connection with the δ-generalised labelled multi-Bernoulli (δ-GLMB) filter, showing that a δ-GLMB density represents a multi-Bernoulli mixture with labelled targets so it can be seen as a special case of PMBM. In addition, we propose an implementation for linear/Gaussian dynamic and measurement models and how to efficiently obtain typical estimators in the literature from the PMBM. The PMBM filter is shown to outperform other filters in the literature in a challenging scenario. △ Less

Submitted 13 September, 2018; v1 submitted 13 March, 2017; originally announced March 2017.

Journal ref: IEEE Transactions on Aerospace and Electronic Systems, vol. 54, no. 4, pp. 1883-1901, Aug. 2018

Dain's invariant on non-time symmetric initial data sets

Authors: Juan A. Valiente Kroon, Jarrod L. Williams

Abstract: We extend Dain's construction of a geometric invariant characterising static initial data sets for the vacuum Einstein field equations to situations with a non-vanishing extrinsic curvature. This invariant gives a measure of how much the initial data sets deviates from stationarity. In particular, it vanishes if and only if the initial data set is stationary. Thus, the invariant provides a quantif… ▽ More We extend Dain's construction of a geometric invariant characterising static initial data sets for the vacuum Einstein field equations to situations with a non-vanishing extrinsic curvature. This invariant gives a measure of how much the initial data sets deviates from stationarity. In particular, it vanishes if and only if the initial data set is stationary. Thus, the invariant provides a quantification of the amount of gravitational radiation contained in the initial data set. △ Less

Submitted 12 May, 2017; v1 submitted 19 January, 2017; originally announced January 2017.

Multiple scan data association by convex variational inference

Authors: Jason L. Williams, Roslyn A. Lau

Abstract: Data association, the reasoning over correspondence between targets and measurements, is a problem of fundamental importance in target tracking. Recently, belief propagation (BP) has emerged as a promising method for estimating the marginal probabilities of measurement to target association, providing fast, accurate estimates. The excellent performance of BP in the particular formulation used may… ▽ More Data association, the reasoning over correspondence between targets and measurements, is a problem of fundamental importance in target tracking. Recently, belief propagation (BP) has emerged as a promising method for estimating the marginal probabilities of measurement to target association, providing fast, accurate estimates. The excellent performance of BP in the particular formulation used may be attributed to the convexity of the underlying free energy which it implicitly optimises. This paper studies multiple scan data association problems, i.e., problems that reason over correspondence between targets and several sets of measurements, which may correspond to different sensors or different time steps. We find that the multiple scan extension of the single scan BP formulation is non-convex and demonstrate the undesirable behaviour that can result. A convex free energy is constructed using the recently proposed fractional free energy (FFE). A convergent, BP-like algorithm is provided for the single scan FFE, and employed in optimising the multiple scan free energy using primal-dual coordinate ascent. Finally, based on a variational interpretation of joint probabilistic data association (JPDA), we develop a sequential variant of the algorithm that is similar to JPDA, but retains consistency constraints from prior scans. The performance of the proposed methods is demonstrated on a bearings only target localisation problem. △ Less

Submitted 23 January, 2018; v1 submitted 26 July, 2016; originally announced July 2016.

An efficient, variational approximation of the best fitting multi-Bernoulli filter

Authors: Jason L. Williams

Abstract: The joint probabilistic data association (JPDA) filter is a popular tracking methodology for problems involving well-spaced targets, but it is rarely applied in problems with closely-spaced targets due to its complexity in these cases, and due to the well-known phenomenon of coalescence. This paper addresses these difficulties using random finite sets (RFSs) and variational inference, deriving a h… ▽ More The joint probabilistic data association (JPDA) filter is a popular tracking methodology for problems involving well-spaced targets, but it is rarely applied in problems with closely-spaced targets due to its complexity in these cases, and due to the well-known phenomenon of coalescence. This paper addresses these difficulties using random finite sets (RFSs) and variational inference, deriving a highly tractable, approximate method for obtaining the multi-Bernoulli distribution that minimises the set Kullback-Leibler (KL) divergence from the true posterior, working within the RFS framework to incorporate uncertainty in target existence. The derivation is interpreted as an application of expectation-maximisation (EM), where the missing data is the correspondence of Bernoulli components (i.e., tracks) under each data association hypothesis. The missing data is shown to play an identical role to the selection of an ordered distribution in the same ordered family in the set JPDA algorithm. Subsequently, a special case of the proposed method is utilised to provide an efficient approximation of the minimum mean optimal sub-pattern assignment estimator. The performance of the proposed methods is demonstrated in challenging scenarios in which up to twenty targets come into close proximity. △ Less

Submitted 18 November, 2014; v1 submitted 19 March, 2014; originally announced March 2014.

Comments: Accepted, IEEE Transactions on Signal Processing, http://dx.doi.org/10.1109/TSP.2014.2370946

Journal ref: IEEE Transactions on Signal Processing, vol 63, no 1, pp 258-273, January 2015

Approximate evaluation of marginal association probabilities with belief propagation

Authors: Jason L. Williams, Roslyn A. Lau

Abstract: Data association, the problem of reasoning over correspondence between targets and measurements, is a fundamental problem in tracking. This paper presents a graphical model formulation of data association and applies an approximate inference method, belief propagation (BP), to obtain estimates of marginal association probabilities. We prove that BP is guaranteed to converge, and bound the number o… ▽ More Data association, the problem of reasoning over correspondence between targets and measurements, is a fundamental problem in tracking. This paper presents a graphical model formulation of data association and applies an approximate inference method, belief propagation (BP), to obtain estimates of marginal association probabilities. We prove that BP is guaranteed to converge, and bound the number of iterations necessary. Experiments reveal a favourable comparison to prior methods in terms of accuracy and computational complexity. △ Less

Submitted 19 November, 2014; v1 submitted 12 September, 2012; originally announced September 2012.

Comments: http://dx.doi.org/10.1109/TAES.2014.120568. appears in IEEE Transactions on Aerospace and Electronic Systems, vol. 50, no. 4, October 2014

Journal ref: IEEE Transactions on Aerospace and Electronic Systems, vol 50, no 4, pp 2942-2959, October 2014

Marginal multi-Bernoulli filters: RFS derivation of MHT, JIPDA and association-based MeMBer

Authors: Jason L. Williams

Abstract: Recent developments in random finite sets (RFSs) have yielded a variety of tracking methods that avoid data association. This paper derives a form of the full Bayes RFS filter and observes that data association is implicitly present, in a data structure similar to MHT. Subsequently, algorithms are obtained by approximating the distribution of associations. Two algorithms result: one nearly identic… ▽ More Recent developments in random finite sets (RFSs) have yielded a variety of tracking methods that avoid data association. This paper derives a form of the full Bayes RFS filter and observes that data association is implicitly present, in a data structure similar to MHT. Subsequently, algorithms are obtained by approximating the distribution of associations. Two algorithms result: one nearly identical to JIPDA, and another related to the MeMBer filter. Both improve performance in challenging environments. △ Less

Submitted 24 August, 2016; v1 submitted 13 March, 2012; originally announced March 2012.

Comments: Journal version at http://ieeexplore.ieee.org/document/7272821. Matlab code of simple implementation included with ancillary files

Journal ref: IEEE Transactions on Aerospace and Electronic Systems, vol 51, no 3, pp 1664-1687, July 2015

Hybrid Poisson and multi-Bernoulli filters

Authors: Jason L. Williams

Abstract: The probability hypothesis density (PHD) and multi-target multi-Bernoulli (MeMBer) filters are two leading algorithms that have emerged from random finite sets (RFS). In this paper we study a method which combines these two approaches. Our work is motivated by a sister paper, which proves that the full Bayes RFS filter naturally incorporates a Poisson component representing targets that have never… ▽ More The probability hypothesis density (PHD) and multi-target multi-Bernoulli (MeMBer) filters are two leading algorithms that have emerged from random finite sets (RFS). In this paper we study a method which combines these two approaches. Our work is motivated by a sister paper, which proves that the full Bayes RFS filter naturally incorporates a Poisson component representing targets that have never been detected, and a linear combination of multi-Bernoulli components representing targets under track. Here we demonstrate the benefit (in speed of track initiation) that maintenance of a Poisson component of undetected targets provides. Subsequently, we propose a method of recycling, which projects Bernoulli components with a low probability of existence onto the Poisson component (as opposed to deleting them). We show that this allows us to achieve similar tracking performance using a fraction of the number of Bernoulli components (i.e., tracks). △ Less

Submitted 13 March, 2012; originally announced March 2012.

Comments: Submitted to 15th International Conference on Information Fusion (2012)

Graphical model approximations of random finite set filters

Authors: Jason L. Williams

Abstract: Random finite sets (RFSs) has been a fruitful area of research in recent years, yielding new approximate filters such as the probability hypothesis density (PHD), cardinalised PHD (CPHD), and multiple target multi-Bernoulli (MeMBer). These new methods have largely been based on approximations that side-step the need for measurement-to-track association. Comparably, RFS methods that incorporate dat… ▽ More Random finite sets (RFSs) has been a fruitful area of research in recent years, yielding new approximate filters such as the probability hypothesis density (PHD), cardinalised PHD (CPHD), and multiple target multi-Bernoulli (MeMBer). These new methods have largely been based on approximations that side-step the need for measurement-to-track association. Comparably, RFS methods that incorporate data association, such as Morelande and Challa's (M-C) method, have received little attention. This paper provides a RFS algorithm that incorporates data association similarly to the M-C method, but retains computational tractability via a recently developed approximation of marginal association weights. We describe an efficient method for resolving the track coalescence phenomenon which is problematic for joint probabilistic data association (JPDA) and related methods (including M-C). The method utilises a network flow optimisation, and thus is tractable for large numbers of targets. Finally, our derivation also shows that it is natural for the multi-target density to incorporate both a Poisson point process (PPP) component (representing targets that have never been detected) and a multi-Bernoulli component (representing targets under track). We describe a method of recycling, in which tracks with a low probability existence are transferred from the multi-Bernoulli component to the PPP component, effectively yielding a hybrid of M-C and PHD. △ Less

Submitted 30 August, 2011; v1 submitted 17 May, 2011; originally announced May 2011.

Comments: Extended version; first version submitted to Fusion 2011

The JCMT Spectral Legacy Survey: physical structure of the molecular envelope of the high-mass protostar AFGL2591

Authors: M. H. D. van der Wiel, F. F. S. van der Tak, M. Spaans, G. A. Fuller, R. Plume, H. Roberts, J. L. Williams

Abstract: The understanding of the formation process of massive stars (>8 Msun) is limited, due to theoretical complications and observational challenges. We investigate the physical structure of the large-scale (~10^4-10^5 AU) molecular envelope of the high-mass protostar AFGL2591 using spectral imaging in the 330-373 GHz regime from the JCMT Spectral Legacy Survey. Out of ~160 spectral features, this pa… ▽ More The understanding of the formation process of massive stars (>8 Msun) is limited, due to theoretical complications and observational challenges. We investigate the physical structure of the large-scale (~10^4-10^5 AU) molecular envelope of the high-mass protostar AFGL2591 using spectral imaging in the 330-373 GHz regime from the JCMT Spectral Legacy Survey. Out of ~160 spectral features, this paper uses the 35 that are spatially resolved. The observed spatial distributions of a selection of six species are compared with radiative transfer models based on a static spherically symmetric structure, a dynamic spherical structure, and a static flattened structure. The maps of CO and its isotopic variations exhibit elongated geometries on scales of ~100", and smaller scale substructure is found in maps of N2H+, o-H2CO, CS, SO2, CCH, and methanol lines. A velocity gradient is apparent in maps of all molecular lines presented here, except SO, SO2, and H2CO. We find two emission peaks in warm (Eup~200K) methanol separated by 12", indicative of a secondary heating source in the envelope. The spherical models are able to explain the distribution of emission for the optically thin H13CO+ and C34S, but not for the optically thick HCN, HCO+, and CS, nor for the optically thin C17O. The introduction of velocity structure mitigates the optical depth effects, but does not fully explain the observations, especially in the spectral dimension. A static flattened envelope viewed at a small inclination angle does slightly better. We conclude that a geometry of the envelope other than an isotropic static sphere is needed to circumvent line optical depth effects. We propose that this could be achieved in envelope models with an outflow cavity and/or inhomogeneous structure at scales smaller than ~10^4 AU. The picture of inhomogeneity is supported by observed substructure in at least six species. △ Less

Submitted 28 January, 2011; originally announced January 2011.

Comments: 17 pages; accepted for publication in A&A

Journal ref: Astronomy & Astrophysics, 532, A88 (Aug 2011)