Related papers: Robustness Issues of Timing and Synchronization fo…
High renewable penetration has significantly reduced system inertia in modern power grids, increasing the need for fast frequency response (FFR) from distributed and non-traditional resources. While electric vehicles (EVs), data centers,…
To achieve more controllable development of coherence in solids, we investigated the effect of a trigger laser tuned to the superradiance transition wavelength on periodic superradiance observed in an Er:YSO crystal. For period control,…
Signal temporal logic (STL) is a powerful tool for describing complex behaviors for dynamical systems. Among many approaches, the control problem for systems under STL task constraints is well suited for learning-based solutions, because…
View synchronisation is an important component of many modern Byzantine Fault Tolerant State Machine Replication (SMR) systems in the partial synchrony model. Roughly, the efficiency of view synchronisation is measured as the word…
By studying laser systems with multiple time delays, we demonstrate that the signatures of time delays in the autocorrelation coefficient and the mutual information of the laser output can be erased for systems with variable time delays.…
Phase, frequency, and time synchronization are crucial requirements for many applications, such as multi-static remote sensing and communication systems. Moreover, the synchronization solution becomes even more challenging when the nodes…
We consider multi-robot systems under recurring tasks formalized as linear temporal logic (LTL) specifications. To solve the planning problem efficiently, we propose a bottom-up approach combining offline plan synthesis with online…
For electro-optical imaging systems, line-of-sight stabilization against different disturbances created by mobile platforms is crucial property. The development of high resolution sensors and the demand in increased operating distances have…
Synchronous federated learning (FL) scales poorly with the number of clients due to the straggler effect. Algorithms like FedAsync and GeneralizedFedAsync address this limitation by enabling asynchronous communication between clients and…
Low Earth Orbit (LEO) satellite networks are increasingly adopting laser (Free Space Optics, FSO) links to provide high-capacity communications. Although laser inter-satellite links offer high throughput and low latency, RF up- and…
While reachability analysis is one of the most promising approaches for formal verification of dynamic systems, a major disadvantage preventing a more widespread application is the requirement to manually tune algorithm parameters such as…
Fault tolerance is increasingly important for unmanned autonomous vehicles. For example, in a multi robot system the agents need the ability to effectively detect and tolerate internal failures in order to continue performing their tasks…
The resource management of a phase array system capable of multiple target tracking and surveillance is critical for the realization of its full potential. Present work aims to improve the performance of an existing method, time-balance…
When optimizing a thread in a concurrent program (either done manually or by the compiler), it must be guaranteed that the resulting thread is a refinement of the original thread. Most theories of valid optimizations are formulated in terms…
The SLAC mega-electron-volt (MeV) ultrafast electron diffraction (UED) instrument is a powerful "electron camera" for the study of time-resolved, ultrafast atomic & molecular dynamics in chemical and solid-state systems. The UED laser…
Identifying the start time of a sequence of symbols received at the receiver, commonly referred to as \emph{frame synchronization}, is a critical task for achieving good performance in digital communications systems employing…
Frequency locking between coupled laser systems provides a powerful mechanism for stabilizing and controlling coherent emission, yet its implementation and applicability down to the nanoscale remains unknown and unexplored. Here, we…
The superb precision of an atomic clock is derived from its stability. Atomic clocks based on optical (rather than microwave) frequencies are attractive because of their potential for high stability, which scales with operational frequency.…
The entrainment (or locking) phenomenon, by which an oscillator adapts its natural rhythm to an external periodic signal, is well-known in physics, chemistry, biology, etc.; however, controlling an stochastic nonlinear system with a…
Coupled lasers offer a promising approach to scaling the power output of photonic devices for applications demanding high frequency precision and beam coherence. However, maintaining coherence among lasers remains a fundamental challenge…