Related papers: Relativistic Time Modeling for Lunar Positioning N…
The Lunar Laser Ranging (LLR) experiment has accumulated 50 years of range data of improving accuracy from ground stations to the laser retroreflector arrays (LRAs) on the lunar surface. The upcoming decade offers several opportunities to…
The R-Mode system, an advanced terrestrial integrated navigation system, is designed to address the vulnerabilities of global navigation satellite systems (GNSS) and explore the potential of a complementary navigation system. This study…
There is some inconclusive evidence that measurement devices sensitive to local gravitation exhibit anomalous behaviour during solar eclipses. We investigate if these findings can be incorporated into the standard general relativistic model…
The timing (cross-)calibration of astronomical instruments is often done by comparing pulsar times-of-arrival (TOAs) to a reference timing model. In high-energy astronomy, the choice of solar system ephemerides and source positions used to…
This paper presents a new approach to design verified compositions of Neural Network (NN) controllers for autonomous systems with tasks captured by Linear Temporal Logic (LTL) formulas. Particularly, the LTL formula requires the system to…
Recent advances in optical atomic clocks and optical time transfer have enabled new possibilities in precision metrology for both tests of fundamental physics and timing applications. Here we describe a space mission concept that would…
The special relativistic test theory of Mansouri and Sexl is sketched. Theories based on different clock synchronisations are found to be equivalent to special relativity, as regards experimental results. The conventionality of clock…
Analysis of transit times in exoplanetary systems accurately provides an instantaneous orbital period, $P(t)$, of their member planets. A long-term monitoring of those transiting planetary systems puts limits on the variability of $P(t)$,…
For relativistic modelling of high-accuracy astronomical data several time scales are used: barycentric and geocentric coordinate times, TCB and TCG, as well as two additional time scales, TDB and TT, that are defined as linear functions of…
Metric Temporal Logic (MTL) is a popular formalism to specify temporal patterns with timing constraints over the behavior of cyber-physical systems with application areas ranging in property-based testing, robotics, optimization, and…
Remotely sensed nighttime lights (NTL) uniquely capture urban change processes that are important to human and ecological well-being, such as urbanization, socio-political conflicts and displacement, impacts from disasters, holidays, and…
In this article we model a Global Navigation Satellite System (GNSS) in a Schwarzschild space-time, as a first approximation of the relativistic geometry around the Earth. The closed time-like and scattering light-like geodesics are…
Despite the ever-growing number of exoplanets discovered and the extensive analyses carried out to find their potential satellites, only two exomoon candidates, Kepler-1625b-i and Kepler-1708 b-i, have been discovered to date. A…
We outline a mission with the aim of directly detecting the gravitomagnetic field of the Earth. This mission is called Gravity Probe C. Gravity Probe C(lock) is based on a recently discovered and surprisingly large gravitomagnetic clock…
In this manuscript, we propose a novel optimal Global Navigation Satellite System (GNSS) time tracking algorithm to collectively steer an ensemble consisting of synchronising miniature atomic clocks towards standard GNSS time. The…
As gravity is a long-range force, it is {\it a priori} conceivable that the Universe's global matter distribution select a preferred rest frame for local gravitational physics. At the post-Newtonian approximation, the phenomenology of…
A new variational technique determines the general condition of equilibrium of a rotating gravito-electromagnetic system and provides a modified dynamical equation of motion from where it emerges a so-far unforseen topological torsion…
A reliable tropical cyclone (TC) climatology is the key to assessing historical and future changes in TC activities. While global TC records have been systematically maintained since the early 1940s, substantial uncertainties remain for the…
Grounding navigational commands to linear temporal logic (LTL) leverages its unambiguous semantics for reasoning about long-horizon tasks and verifying the satisfaction of temporal constraints. Existing approaches require training data from…
Relativistic modelling of rotational motion of extended bodies represents one of the most complicated problems of Applied Relativity. The relativistic reference systems of IAU (2000) give a suitable theoretical framework for such a…