Related papers: Autonomous Ticking Clocks from Axiomatic Principle…
Given a discrete-state continuous-time reactive system, like a digital circuit, the classical approach is to first model it as a state transition system and then prove its properties. Our contribution advocates a different approach: to…
Statistical estimation theory determines the optimal way of estimating parameters of a fluctuating noisy signal. However, if the estimation is performed on unreliable hardware, a sub-optimal estimation procedure can outperform the…
Recent experiments have demonstrated the ability to manipulate nonlinear interactions via time modulation, giving rise to the so-called stroboscopic nonlinearity. To date, however, this phenomenon has not been subjected to a rigorous…
Self-sustained oscillators (SSOs) is a commonly used method to generate classical clock signals and SSOs using delayed feedback have been developed commercially which possess ultra-low phase noise and drift. Research into the development of…
The paper introduces a novel topological method for prediction and modeling for a nonlinear time--series that exhibit recurring patterns. According to the model, global manifold of the reconstructed state--space can be approximated by a few…
Atomic clocks are at the leading edge of accuracy and precision and are essential for synchronization of distributed critical infrastructure, position, navigation and timing, and scientific applications. There has been a breakthrough in the…
The statistical state of any (classical or quantum) system with non-trivial time evolution can be interpreted as the pointer of a clock. The quality of such a clock is given by the statistical distinguishability of its states at different…
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,…
Tactile predictive models can be useful across several robotic manipulation tasks, e.g. robotic pushing, robotic grasping, slip avoidance, and in-hand manipulation. However, available tactile prediction models are mostly studied for…
Atomic clocks are typically operated by locking a local oscillator (LO) to a single atomic ensemble. In this article we propose a scheme where the LO is locked to several atomic ensembles instead of one. This results in an exponential…
The increasing importance of such fields as embedded systems, pervasive computing, and hybrid systems control is increasing attention to the time-dependent aspects of system modeling. In this paper, we focus on modeling conceptual time.…
Closed time-like curves naturally appear in a variety of chronology-violating space-times. In these space-times, the Principle of Self-Consistency demands an harmony between local and global affairs that excludes grandfather-like paradoxes.…
We present a new visualization of the proper-time elapsed along an observer's worldline. By supplementing worldlines with light clocks, the measurement of space-time intervals is reduced to the "counting of ticks." The resulting space-time…
This paper presents a distributed hybrid algorithm that synchronizes the time and rate of a set of clocks connected over a network. Clock measurements of the nodes are given at aperiodic time instants and the controller at each node uses…
The special relativistic test theory of Mansouri and Sexl is sketched. Theories based on different clock synchronisations are found to be equivalent to special relativity, as regards experimental results. The conventionality of clock…
This paper is concerned with the study of the stability of dynamical systems evolving on time scales. We first {formalize the notion of matrix measures on time scales, prove some of their key properties and make use of this notion to study…
Timed automata are a common formalism for the verification of concurrent systems subject to timing constraints. They extend finite-state automata with clocks, that constrain the system behavior in locations, and to take transitions. While…
Recently, a thermodynamic definition of time has been introduced. This definition is useful to find approach some open problems in physics. But, it was obtained by a phenomenological approach and a logical inconsistency appears in the…
We study a classical reparametrization-invariant system, in which ``time'' is not a priori defined. It consists of a nonrelativistic particle moving in five dimensions, two of which are compactified to form a torus. There, assuming a…
From a thermodynamic point of view, all clocks are driven by irreversible processes. Additionally, one can use oscillatory systems to temporally modulate the thermodynamic flux towards equilibrium. Focusing on the most elementary…