相关论文: Synthesizing a Clock Signal with Reactions---Part …
We describe the effects of the asymmetry of cycles and non-stationarity in time series on the phase synchronization method. We develop a modified method that overcomes these effects and apply this method to study parkinsonian tremor. Our…
This paper presents an algorithmic framework for control synthesis of continuous dynamical systems subject to signal temporal logic (STL) specifications. We propose a novel algorithm to obtain a time-partitioned finite automaton from an STL…
We argue that (1) our perception of time through change and (2) the gap between reality and our observation of it are at the heart of both quantum mechanics and the dynamical mechanism of physical systems. We suggest that the origin of…
We discuss the problem of experimentally evaluating linear-time temporal logic (LTL) synthesis tools for reactive systems. We first survey previous such work for the currently publicly available synthesis tools, and then draw conclusions by…
We analyse the effect of synchronization between noise and periodic signal in a two-state spatially extended system analytically. Resonance features are demonstrated. To have the maximum cooperation between signal and noise, it is shown…
We investigate systematic errors associated with a common modulation technique used for phase sensitive detection of a coherent population trapping (CPT) resonance. In particular, we show that modification of the CPT resonance lineshape due…
When a dynamical system contains several different modes of oscillations it may behave in a variety of ways: If the modes oscillate at their own individual frequencies, it exhibits quasiperiodic behavior; when the modes lock to one another…
It is the purpose of the paper to describe the virtues of time-frequency methods for signal processing applications, having astronomical time series in mind. Different methods are considered and their potential usefulness respectively…
We propose a novel formulation for phase synchronization -- the statistical problem of jointly estimating alignment angles from noisy pairwise comparisons -- as a nonconvex optimization problem that enforces consistency among the pairwise…
The usual interpretation of noise is represented by a sum of many independent two-level elementary random signals with a distribution of relaxation times. In this paper it is demonstrated that also the superposition of many similar…
A frequency stabilized laser referenced to an unperturbed atomic two level system acts as the most accurate clock with femtosecond clock ticks. For any meaningful use, a Femtosecond Laser Frequency Comb (FLFC) is used to transfer the atomic…
The possibility of detecting the gravitomagnetic clock effect using artificial Earth satellites provides the incentive to develop a more intuitive approach to its derivation. We first consider two test electric charges moving on the same…
We show that the light shift in atomic clocks can be suppressed using time variation of the interrogation field intensity. By measuring the clock output at two intensity levels, error signals can be generated that simultaneously stabilize a…
Nearly all circadian clocks maintain a period that is insensitive to temperature changes, a phenomenon known as temperature compensation (TC). Yet, it is unclear whether there is any common feature among different systems that exhibit TC.…
To stabilize the periodic operation of a chemical reactor the oscillation period should be determined precisely in real time. The method discussed in the paper is based on adaptive sampling of the state variable with the use of chaotic…
We derive universal relations for the radio-frequency (rf) spectroscopy of a two-dimensional Fermi gas consisting of two spin states with a resonant S-wave interaction. The rf transition rate has a high-frequency tail that is proportional…
An emerging way to deal with high-dimensional non-euclidean data is to assume that the underlying structure can be captured by a graph. Recently, ideas have begun to emerge related to the analysis of time-varying graph signals. This work…
We introduce a new logic called Signal Convolution Logic (SCL) that combines temporal logic with convolutional filters from digital signal processing. SCL enables to reason about the percentage of time a formula is satisfied in a bounded…
We consider an application of precision frequency measurements to searches for possible time variations of the fundamental physical constants. Current laboratory constraints on variations of the fine structure constant alpha and other…
Circadian rhythms are acquired through evolution to increase the chances for survival through synchronizing with the daylight cycle. Reliable synchronization is realized through two trade-off properties: regularity to keep time precisely,…