Yuichiro Yano

Priyanka Dey, Takahiro Kawaguchi, Yuichiro Yano et al.

In this paper, we consider a mixed ensemble containing a mixture of cesium-type and hydrogen maser-type atomic clocks. For the mixed ensemble, the conventional Kalman filtering algorithm has certain limitations due to divergence of the error covariance matrix. To overcome these limitations, we obtain a Kalman filtering algorithm based on observable canonical decomposition that does not have any diverging terms. We use the estimates from the transformed Kalman filter to propose a time scale generation algorithm called explicit ensemble mean synchronization algorithm for the mixed ensemble. In this algorithm, we synchronize the time deviation of each clock from the ideal clock behavior to the unobservable ensemble mean of the phases where the weighting can be decided by the user. By regulating the free-running dynamics associated with the unobservable state, through choosing an appropriate weight vector, the frequency stability of the generated time scale or the synchronized time shared by the clocks is optimized over shorter (resp. longer) intervals, as measured by Hadamard variance. An illustrative example is given to demonstrate the efficiency of our algorithm.

Maitreyee Dutta, Jiayu Chen, Masakazu Koike et al.

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 synchronising miniature atomic clocks generate a common synchronised time which has good short term performance but its accuracy and precision, which is measured by Allan variance, deteriorates in the long run. So, a supervisor designs and periodically broadcasts the proposed GNSS time tracking control to the ensemble miniature atomic clocks that steer the average of ensemble towards the average of GNSS receivers, which are receivers of GNSS time. The tracking control is constructed using a Kalman filter estimation process that estimates the difference in average of GNSS receivers and average of ensemble clocks by using relative clock readings between GNSS receivers and their adjacent ensemble clock. Under the influence of the periodically received tracking control, the stabilised ensemble clocks have better long term accuracy and precision over long averaging periods. Since the tracking control is designed to solely influence the average of the ensemble, the tracking process does not interfere with the synchronisation process and vice versa. The feedback matrix associated with the tracking control is obtained from an optimisation problem that minimises steady-state Allan variance. Numerical results are provided to show the efficacy of the proposed algorithm for enhancing long term performance.

Takayuki Ishizaki, Takahiro Kawaguchi, Yuichiro Yano et al.

This paper presents a novel theoretical framework, called explicit ensemble mean (EEM) synchronization. This framework unifies time scale generation, clock synchronization, and oscillator frequency regulation within the systems and control theory paradigm. By exploiting the observable canonical decomposition of a standard atomic ensemble clock model, the system is decomposed into two complementary components: the observable part, which represents the synchronization error, and the unobservable part, which captures the synchronization destination. Within this structure, we mathematically prove that standard Kalman filtering, which is widely used in current time scale generation, not only performs observable state estimation, but also significant unobservable state estimation, and it can be interpreted as a special case of the proposed framework that optimizes long-term frequency stability in terms of the Allan variance. Furthermore, applying state feedback control based on Kalman filtering to each component achieves optimal time scale generation, clock synchronization, and oscillator frequency regulation in a unified manner. The proposed framework provides a foundation for developing explainable timing systems.