Related papers: TempoNest: A Bayesian approach to pulsar timing an…

Pulse profile modelling is a relativistic ray-tracing technique that can be used to infer masses, radii and geometric parameters of neutron stars. In a previous study, we looked at the performance of this technique when applied to…

In this paper, we derive a novel procedure for set-membership estimation of dynamical systems affected by stochastic noise with unbounded support. Employing a bound on the sample covariance matrix, we are able to provide a finite- sample…

Low-frequency radio data improve the sensitivity of pulsar timing arrays (PTAs) to propagation effects such as dispersion measure (DM) variations, enabling better noise characterization essential for detecting the stochastic gravitational…

Pulsar timing is a foundational part of pulsar research to triage the most interesting systems and to characterise properties (rotational or otherwise) of the population of these extreme objects. Due to the efficiency of a number of…

Stochastic temporal wandering of the spin frequency $\nu$ of a rotation-powered pulsar (i.e.~the achromatic component of timing noise unrelated to interstellar propagation) affects the accuracy with which the secular braking torque can be…

We present further development and the first public release of our multimodal nested sampling algorithm, called MultiNest. This Bayesian inference tool calculates the evidence, with an associated error estimate, and produces posterior…

Pulsar timing arrays are ensembles of regularly observed millisecond pulsars timed to high precision. Each pulsar in an array could be affected by a suite of noise processes, most of which are astrophysically motivated. Analysing them…

Efforts are underway to use high-precision timing of pulsars in order to detect low-frequency gravitational waves. A limit to this technique is the timing noise generated by dispersion in the plasma along the line of sight to the pulsar,…

The European Pulsar Timing Array (EPTA) network is a collaboration between the five largest radio telescopes in Europe aiming to study the astrophysics of millisecond pulsars and to detect cosmological gravitational waves in the nano-Hertz…

The opening of the gravitational wave window by ground-based laser interferometers has made possible many new tests of gravity, including the first constraints on polarization. It is hoped that within the next decade pulsar timing will…

Time-delayed differential equations (TDDEs) are widely used to model complex dynamic systems where future states depend on past states with a delay. However, inferring the underlying TDDEs from observed data remains a challenging problem…

Bayesian estimation is a vital tool in robotics as it allows systems to update the robot state belief using incomplete information from noisy sensors. To render the state estimation problem tractable, many systems assume that the motion and…

We consider systems under uncertainty whose dynamics are partially unknown. Our aim is to study satisfaction of temporal logic properties by trajectories of such systems. We express these properties as signal temporal logic formulas and…

Period estimation is one of the central topics in astronomical time series analysis, where data is often unevenly sampled. Especially challenging are studies of stellar magnetic cycles, as there the periods looked for are of the order of…

Radio pulsars are often used as clocks in a wide variety of experiments. Imperfections in the clock, known as timing noise, have the potential to reduce the significance of, or even thwart e.g. the attempt to find a stochastic gravitational…

We propose a new framework for imposing monotonicity constraints in a Bayesian nonparametric setting based on numerical solutions of stochastic differential equations. We derive a nonparametric model of monotonic functions that allows for…

Millisecond and binary pulsars are the most stable natural frequency standards which admits to introduce modified versions of universal and ephemeris time scales based correspondingly on the intrinsic rotation of pulsar and on its orbital…

System identification is of special interest in science and engineering. This article is concerned with a system identification problem arising in stochastic dynamic systems, where the aim is to estimate the parameters of a system along…

Disturbance noises are always bounded in a practical system, while fusion estimation is to best utilize multiple sensor data containing noises for the purpose of estimating a quantity--a parameter or process. However, few results are…

In this paper we introduce a new Python package, the Pulsar Signal Simulator, or PsrSigSim, which is designed to simulate a pulsar signal from emission at the pulsar, through the interstellar medium, to observation by a radio telescope, and…