Related papers: Robustness Issues of Timing and Synchronization fo…
Ultra-reliable and low-latency communications (URLLC) is an emerging feature in 5G and beyond wireless systems, which is introduced to support stringent latency and reliability requirements of mission-critical industrial applications. In…
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…
As Federated Learning (FL) expands to larger and more distributed environments, consistency in training is challenged by network-induced delays, clock unsynchronicity, and variability in client updates. This combination of factors may…
In safety-critical systems, timing accuracy is the key to achieving precise I/O control. To meet such strict timing requirements, dedicated hardware assistance has recently been investigated and developed. However, these solutions are often…
The inevitable random frequency differences among semiconductor lasers present an obstacle to achieving their collective coherence, but previous worked showed that fully (all-to-all) coupled networks can still be synchronized even in the…
A pair of coupled erbium doped fiber ring lasers is used to explore the dynamics of coupled spatiotemporal systems. The lasers are mutually coupled with a coupling delay less than the cavity round-trip time. We study synchronization between…
We consider the problem of synchronizing two electric power generators, one of which (the leader) is serving a time-varying electrical load, so that they can ultimately be connected to form a single power system. Each generator is described…
We analyze the dynamics of Free Electron Laser (FEL) devices, operating with a bunched beam exhibiting a longitudinal phase space correlation. We show that the presence of an energy-position correlation term is responsible for very…
Free-electron lasers (FELs) have been designed to operate over virtually the entire electromagnetic spectrum from microwaves through x-rays and in a variety of configurations including amplifiers and oscillators. Oscillators can operate in…
Intense ultrashort pulse lasers are used for fs resolution pumpprobe experiments more and more at large scale facilities, such as free electron lasers (FEL). Measurement of the arrival time of the laser pulses and stabilization to the…
It is shown via theory and simulation that the resonant frequency of a Free Electron Laser may be modulated to obtain an FEL interaction with a frequency bandwidth which is at least an order of magnitude greater than normal FEL operation.…
The control system in surgical robots must ensure patient safety and real time control. As such, all the uncertainties which could appear should be considered into an extended model of the plant. After such an uncertain plant is formed, an…
Synchronization is the spontaneous alignment of the dynamics of weakly-coupled oscillators. In addition to temporal dynamics like periodic and chaotic oscillations, also the spatio-temporal dynamics of spatially-extended systems like…
Time synchronization is a critical task in robotic computing such as autonomous driving. In the past few years, as we developed advanced robotic applications, our synchronization system has evolved as well. In this paper, we first introduce…
We present a robust control framework for time-critical systems in which satisfying real-time constraints robustly is of utmost importance for the safety of the system. Signal Temporal Logic (STL) provides a formal means to express a large…
Synchronization problem for linear coupled networks is a hot topic in recent decade. However, until now, some confused concepts and results still puzzle people. To avoid further misleading researchers, it is necessary to point out these…
A robust power scheduling algorithm is proposed to schedule power flow between the main electricity grid and a microgird with solar energy generation and battery energy storage subject to uncertainty in solar energy production. To avoid…
We demonstrate a compact and robust device for simultaneous absolute frequency stabilization of three diode lasers whose carrier frequencies can be chosen freely relative to the reference. A rigid ULE multi-cavity block is employed, and,…
Existing FEL facilities often suffer from stability issues: so electron orbit, transverse electron optics, electron bunch compression and other parameters have to be readjusted often to account for drifts in performance of various…
In time-critical systems, such as air traffic control systems, it is crucial to design control policies that are robust to timing uncertainty. Recently, the notion of Asynchronous Temporal Robustness (ATR) was proposed to capture the…