Related papers: Faithful Dynamic Timing Analysis of Digital Circui…
The Fermi-Hubbard model (FHM) is a simple yet rich model of strongly interacting electrons with complex dynamics and a variety of emerging quantum phases. These properties make it a compelling target for digital quantum simulation.…
Trapped ions are among the most promising platforms for quantum technologies. They are at the heart of the most precise clocks and sensors developed to date, which exploit the quantum coherence of a single electronic or motional degree of…
Hybrid models composing mechanistic ODE-based dynamics with flexible and expressive neural network components have grown rapidly in popularity, especially in scientific domains where such ODE-based modeling offers important interpretability…
Dynamical decoupling techniques are a versatile tool for engineering quantum states with tailored properties. In trapped ions, nested layers of continuous dynamical decoupling by means of radio-frequency field dressing can cancel dominant…
High-fidelity quantum gates require precise classical control signals, yet the analog hardware delivering these signals introduces nonlinear distortions that degrade gate performance. We demonstrate digital predistortion of an acousto-optic…
The basic building blocks for Resonant Tunnelling Diode (RTD) logic circuits are Threshold Gates (TGs) instead of the conventional Boolean gates (AND, OR, NAND, NOR) due to the fact that, when designing with RTDs, threshold gates can be…
The conductance of a disordered finite-size electron system is calculated by reducing the initial dynamic problem of arbitrary dimensionality to strictly one-dimensional problems for one-particle mode propagators. The metallic ground state…
The notion of universal quantum computation can be generalized to multi-level qudits, which offer advantages in resource usage and algorithmic efficiencies. Trapped ions, which are pristine and well-controlled quantum systems, offer an…
In this paper, we explore the conditions for asymptotic stability of the hybrid closed-loop system resulting from the interconnection of a nonlinear plant, an intelligent sensor that generates finite-time convergent estimates of the plant…
This paper is a survey of extensions to finite automata theory to model real-time systems as well as systems exhibiting mixed discrete-continuous behavior. Real-time systems maintain a continuous and timely interaction with the environment,…
This paper deals with the stabilization of a coupled system composed by an infinite-dimensional system and an ODE. Moreover, the control, which appears in the dynamics of the ODE, is subject to a general class of nonlinearities. Such a…
Investigating the temporal behavior of digital circuits is a crucial step in system design, usually done via analog or digital simulation. Analog simulators like SPICE iteratively solve the differential equations characterizing the circuits…
Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure…
This paper investigates the transient stability of power systems co-dominated by different types of grid-forming (GFM) devices. Synchronous generators (SGs and VSGs) and droop-controlled inverters are typical GFM devices in modern power…
Deductive verification of hybrid systems (HSs) increasingly attracts more attention in recent years because of its power and scalability, where a powerful specification logic for HSs is the cornerstone. Often, HSs are naturally modelled by…
We discuss hybrid systems in which a mechanical oscillator is coupled to another (microscopic) quantum system, such as trapped atoms or ions, solid-state spin qubits, or superconducting devices. We summarize and compare different coupling…
As an important degree of freedom (DoF) in integrated photonic circuits, the orthogonal transverse mode provides a promising and flexible way to increasing communication capability, for both classical and quantum information processing. To…
Dynamic dependability models, such as dynamic fault trees (DFTs) and dynamic reliability block diagrams (DRBDs), are introduced to overcome the modeling limitations of traditional models. Recently, higher-order logic (HOL) formalizations of…
Twisted light carries orbital angular momentum (OAM) and can drive excitations of confined, interacting electrons that are dark to uniform dipolar probes. Here we show how this ``beyond-Kohn's-Theorem'' optical channel can become a concrete…
A novel concept for the design of nonlinear optical diodes is proposed which uses the multistability of coupled nonlinear microcavities and the dependence of switching thresholds on the direction of incidence. A typical example of such…