相关论文: Synthesizing a Clock Signal with Reactions---Part …
The variation of the velocity of a periodic signal and its frequency along the world line of a standard emitter (at rest with an observer) are considered in a space with affine connections and metrics. It is shown that the frequency of the…
Atomic clocks use atomic transitions as frequency references. The susceptibility of the atomic transition to external fields limits clock stability and introduces systematic frequency shifts. Here, we propose to realize an atomic clock that…
It has recently been reported [\textit{PNAS} \textbf{114}, 2303 (2017)] that, under an operational definition of time, quantum clocks would get entangled through gravitational effects. Here we study an alternative scenario: the clocks have…
We extend the mathematical model based on stochastic differential equations describing the error gained by an atomic clock to the cases of anomalous behavior including jumps and an increase of instability. We prove an exact iterative…
The generation of time signals is a fundamental task in science. Here we study the relation between the quality of a time signal and the physics of the system that generates it. According to quantum theory, any time signal can be decomposed…
Formal control of cyber-physical systems allows for synthesis of control strategies from rich specifications such as temporal logics. However, the classes of systems that the formal approaches can be applied to is limited due to the…
In this paper phase of a signal has been viewed from a different angle. According to this view a signal can have countably infinitely many phases, one associated with each Fourier component. In other words each frequency has a phase…
A clock steps a computer through a cycle of phases. For the propagation of logical symbols from one computer to another, each computer must mesh its phases with arrivals of symbols from other computers. Even the best atomic clocks drift…
This paper deals with fractional-order controllers. We outline mathematical description of fractional controllers and methods of their synthesis and application. Synthesis method is a modified root locus method for fractional-order systems…
This paper is the first part of a two-part series in which we present results from an experimental demonstration of frequency regulation in a commercial building test facility. In Part I, we introduce the test facility and develop relevant…
Two remote agents with synchronized clocks may use them to act in concert and communicate. This necessitates some means of creating and maintaining synchrony. One method, not requiring any direct interaction between the agents, is to expose…
We analyze the nature and performance of clocks formed by stabilizing an oscillator to the phase difference between two paths of an atom interferometer. The phase evolution has been modeled as being driven by the proper-time difference…
Quantum engineering of time-separated Raman laser pulses in three-level systems is presented to produce an ultra-narrow optical transition in bosonic alkali-earth clocks free from light shifts and with a significantly reduced sensitivity to…
We examine the emergence of periodicity in a non-interacting steady-state quantum system without external drive inspired by quantum time crystals' spontaneous time-translation symmetry breaking. Specifically, we consider a lattice ring of…
We study the synchronization phenomena in a system of globally coupled oscillators with time delay in the coupling. The self-consistency equations for the order parameter are derived, which depend explicitly on the amount of delay. Analysis…
Timed regular expressions serve as a formalism for specifying real-time behaviors of Cyber-Physical Systems. In this paper, we consider the synthesis of timed regular expressions, focusing on generating a timed regular expression consistent…
This paper is the second part of a two-part series presenting the results from an experimental demonstration of frequency regulation in a commercial building test facility. In Part I, we developed relevant building models and designed a…
Causal ordering of key events in the cell cycle is essential for proper functioning of an organism. Yet, it remains a mystery how a specific temporal program of events is maintained despite ineluctable stochasticity in the biochemical…
In systems of coupled oscillators, the effects of complex signaling can be captured by time delays and phase shifts. Here, we show how time delays and phase shifts lead to different oscillator dynamics and how synchronization rates can be…
We derive the time dilation formula for charged quantum clocks in electromagnetic fields. As a concrete example of non-inertial motion, we consider a cyclotron motion in a uniform magnetic field. Applying the time dilation formula to…