Related Experiment Video
Updated: May 23, 2026
10:42
Preparing an Isotopically Pure 229Th Ion Beam for Studies of 229mTh
Published on: May 3, 2019
Detection of atomic clock frequency jumps with the Kalman filter
Lorenzo Galleani1, Patrizia Tavella
1Politecnico di Torino, Torino, Italy. galleani@polito.it
Summary
A new Kalman filter detector rapidly identifies frequency jumps in atomic clocks on navigation satellites. This technology improves positioning accuracy by quickly flagging anomalies with high detection rates and low false alarms.
Area of Science:
- Atomic clock technology
- Satellite navigation systems
- Signal processing
Background:
- Frequency jumps are common anomalies in atomic clocks used in navigation satellites.
- These anomalies can negatively impact user positioning accuracy.
- Rapid and accurate detection is crucial for mitigating these effects.
Purpose of the Study:
- To develop a novel detector for frequency jumps in satellite atomic clocks.
- To ensure fast and accurate anomaly detection.
- To minimize the impact of frequency jumps on navigation system performance.
Main Methods:
- Development of a frequency jump detector utilizing the Kalman filter.
- Implementation of numerical simulations to evaluate detector performance.
- Leveraging the recursive nature of the Kalman filter for computational efficiency.
Main Results:
- The developed detector demonstrates high speed in identifying frequency jumps.
- Achieved a high probability of detection for anomalous behaviors.
- Exhibited a low probability of false alarms, ensuring reliability.
- The detector possesses low computational cost, suitable for resource-constrained environments.
Conclusions:
- The Kalman filter-based detector is effective for identifying frequency jumps in atomic clocks.
- Its speed, accuracy, and low computational cost make it ideal for satellite navigation applications.
- This technology can enhance the reliability and precision of global navigation satellite systems.
Related Concept Videos
01:11Atomic Nuclei: Larmor Precession Frequency
The earth's gravitational field produces a 'twisting force' perpendicular to the angular momentum of a spinning mass (such as a spinning top) that causes the mass to 'wobble' around the gravitational field axis in a phenomenon called precession. Similarly, the magnetic moment (μ) of a spinning nucleus precesses due to an external magnetic field directed along the z-axis. The precession of the magnetic moment vector about the magnetic field is called Larmor precession, and the angular frequency...
01:26Linear Approximation in Frequency Domain
Linear systems are characterized by two main properties: superposition and homogeneity. Superposition allows the response to multiple inputs to be the sum of the responses to each individual input. Homogeneity ensures that scaling an input by a scalar results in the response being scaled by the same scalar.
In contrast, nonlinear systems do not inherently possess these properties. However, for small deviations around an operating point, a nonlinear system can often be approximated as linear.
In contrast, nonlinear systems do not inherently possess these properties. However, for small deviations around an operating point, a nonlinear system can often be approximated as linear.
01:21Time and frequency -Domain Interpretation of Phase-lag Control
Phase-lag controllers are widely used in control systems to improve stability and reduce steady-state errors. A dimmer switch controlling the brightness of a light bulb serves as a practical example of phase-lag control, gradually adjusting the bulb's brightness. Mathematically, phase-lag control or low-pass filtering is represented when the factor 'a' is less than 1.
Phase-lag controllers do not place a pole at zero, but instead influence the steady-state error by amplifying any finite,...
Phase-lag controllers do not place a pole at zero, but instead influence the steady-state error by amplifying any finite,...
01:21Linear Approximation in Time Domain
Nonlinear systems often require sophisticated approaches for accurate modeling and analysis, with state-space representation being particularly effective. This method is especially useful for systems where variables and parameters vary with time or operating conditions, such as in a simple pendulum or a translational mechanical system with nonlinear springs.
For a simple pendulum with a mass evenly distributed along its length and the center of mass located at half the pendulum's length, the...
For a simple pendulum with a mass evenly distributed along its length and the center of mass located at half the pendulum's length, the...
01:08Determination of Expected Frequency
Suppose one wants to test independence between the two variables of a contingency table. The values in the table constitute the observed frequencies of the dataset. But how does one determine the expected frequency of the dataset? One of the important assumptions is that the two variables are independent, which means the variables do not influence each other. For independent variables, the statistical probability of any event involving both variables is calculated by multiplying the individual...
01:23Linear time-invariant Systems
A system is linear if it displays the characteristics of homogeneity and additivity, together termed the superposition property. This principle is fundamental in all linear systems. Linear time-invariant (LTI) systems include systems with linear elements and constant parameters.
The input-output behavior of an LTI system can be fully defined by its response to an impulsive excitation at its input. Once this impulse response is known, the system's reaction to any other input can be calculated...
The input-output behavior of an LTI system can be fully defined by its response to an impulsive excitation at its input. Once this impulse response is known, the system's reaction to any other input can be calculated...