相关论文: A Novel Hybrid Fast Switching Adaptive No Delay Ta…

Signal Temporal Logic (STL) has gained popularity in recent years as a specification language for cyber-physical systems, especially in robotics. Beyond being expressive and easy to understand, STL is appealing because the synthesis…

Entanglement swapping is a fundamental building block for realizing first-generation quantum repeaters, which are essential for building global quantum networks. Current quantum repeater systems still struggle to achieve practical…

We demonstrate a hybrid analog+digital electronic lock to stabilize a dynamically tunable rf offset between two lasers. Our method features an 80 MHz capture range, +/- 7 GHz tuning range, frequency agility of 1 MHz/microsecond, and low…

This work demonstrates the first non-reciprocal network based on switched low-loss acoustic delay lines. The 4-port circulator is built upon a recently reported frequency-independent, programmable, non-reciprocal framework based on switched…

Mode-locking mechanisms are key resources in nonlinear optical phenomena, such as micro-ring solitonic states, and have transformed metrology, precision spectroscopy, and optical communication. However, despite significant efforts,…

We propose and demonstrate a laser frequency stabilization scheme which generates a dispersion-like tunable Doppler-free dichroic lock (TDFDL) signal. This signal offers a wide tuning range for lock point (i.e. zero-crossing) without…

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…

In [1] a new adaptive phase-locked loop scheme for synchronization of a grid connected voltage source converter with guaranteed (almost) global stability properties was reported. To guarantee a suitable synchronization with the angle of the…

This article surveys the System Level Synthesis framework, which presents a novel perspective on constrained robust and optimal controller synthesis for linear systems. We show how SLS shifts the controller synthesis task from the design of…

A new transform over finite fields, the finite field Hartley transform (FFHT), was recently introduced and a number of promising applications on the design of efficient multiple access systems and multilevel spread spectrum sequences were…

The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper, we present a methodology and a tool that allow the…

We present an on-the-fly synthesis framework for Linear Temporal Logic over finite traces (LTLf) based on top-down deterministic automata construction. Existing approaches rely on constructing a complete Deterministic Finite Automaton (DFA)…

This paper presents a new improved nonlinear tracking differentiator (INTD) with hyperbolic tangent function in the state space system. The stability and convergence of the INTD are thoroughly investigated and proved. Through the error…

We present a latch-based and PLL-free design of the voltage droop correction circuit of Lenzen, Fuegger, Kinali, and Wiederhake\cite{DroopJournal}. Such a circuit dynamically modifies the clock frequency of a digital clock for VLSI systems.…

This paper introduces a highly efficient greedy decoding algorithm for Transducer-based speech recognition models. We redesign the standard nested-loop design for RNN-T decoding, swapping loops over frames and labels: the outer loop…

Due to their nonlinear properties, spin transfer nano-oscillators can easily adapt their frequency to external stimuli. This makes them interesting model systems to study the effects of synchronization and brings some opportunities to…

Hybrid integrated diode lasers based on combining semiconductor optical amplifiers with low-loss Si3N4-based feedback circuits enable great laser performance for advanced photonic circuits. In particular, using high-Q Si3N4 ring resonators…

In this work, we present the \emph{twiddless fast Fourier transform (TFFT)}, a novel algorithm for computing the $N$-point discrete Fourier transform (DFT). The TFFT's divide strategy builds on recent results that decimate an $N$-point…

High-level synthesis (HLS) enhances digital hardware design productivity through a high abstraction level. Even if the HLS abstraction prevents fine-grained manual register-transfer level (RTL) optimizations, it also enables automatable…

This paper introduces a new algorithm for the fundamental problem of generating a random integer from a discrete probability distribution using a source of independent and unbiased random coin flips. We prove that this algorithm, which we…