Fibre-optic delivery of time and frequency to VLBI station

The quality of Very Long Baseline Interferometry (VLBI) radio observations predominantly relies on precise and ultra-stable time and frequency (T&F) standards, usually hydrogen masers (HM), maintained locally at each VLBI station. Here, we present an operational solution in which the VLBI observations are routinely carried out without use of a local HM, but using remote synchronization via a stabilized, long-distance fibre-optic link. The T&F reference signals, traceable to international atomic timescale (TAI), are delivered to the VLBI station from a dedicated timekeeping laboratory. Moreover, we describe a proof-of-concept experiment where the VLBI station is synchronized to a remote strontium optical lattice clock during the observation.Comment: 8 pages, 8 figures, matches the version published in A&A, section Astronomical instrumentatio

Clock synchronization by remote detection of correlated photon pairs

We present an algorithm to detect the time and frequency difference of independent clocks based on observation of time-correlated photon pairs. This enables remote coincidence identification in entanglement-based quantum key distribution schemes without dedicated coincidence hardware, pulsed sources with a timing structure or very stable reference clocks. We discuss the method for typical operating conditions, and show that the requirement in reference clock accuracy can be relaxed by about 5 orders of magnitude in comparison with previous schemes.Comment: 14 pages, 6 figure

Re-verification of a Lip Synchronization Algorithm using robust reachability

The timed automata formalism is an important model for specifying and analysing real-time systems. Robustness is the correctness of the model in the presence of small drifts on clocks or imprecision in testing guards. A symbolic algorithm for the analysis of the robustness of timed automata has been implemented. In this paper we re-analyse an industrial case lip synchronization protocol using the new robust reachability algorithm.This lip synchronization protocol is an interesting case because timing aspect are crucial for the correctness of the protocol. Several versions of the model are considered, with an ideal video stream, with anchored jitter, and with non-anchored jitter

Re-verification of a Lip Synchronization Protocol using Robust Reachability

The timed automata formalism is an important model for specifying and analysing real-time systems. Robustness is the correctness of the model in the presence of small drifts on clocks or imprecision in testing guards. A symbolic algorithm for the analysis of the robustness of timed automata has been implemented. In this paper, we re-analyse an industrial case lip synchronization protocol using the new robust reachability algorithm. This lip synchronization protocol is an interesting case because timing aspects are crucial for the correctness of the protocol. Several versions of the model are considered: with an ideal video stream, with anchored jitter, and with non-anchored jitter

Synchronization and Characterization of an Ultra-Short Laser for Photoemission and Electron-Beam Diagnostics Studies at a Radio Frequency Photoinjector

A commercially-available titanium-sapphire laser system has recently been installed at the Fermilab A0 photoinjector laboratory in support of photoemission and electron beam diagnostics studies. The laser system is synchronized to both the 1.3-GHz master oscillator and a 1-Hz signal use to trigger the radiofrequency system and instrumentation acquisition. The synchronization scheme and performance are detailed. Long-term temporal and intensity drifts are identified and actively suppressed to within 1 ps and 1.5%, respectively. Measurement and optimization of the laser's temporal profile are accomplished using frequency-resolved optical gating.Comment: 16 pages, 17 figures, Preprint submitted to Elsevie