中文
相关论文

相关论文: Faithful Dynamic Timing Analysis of Digital Circui…

200 篇论文

Hybrid systems with memory refer to dynamical systems exhibiting both hybrid and delay phenomena. While systems of this type are frequently encountered in many physical and engineering systems, particularly in control applications, various…

最优化与控制 · 数学 2017-02-13 Jun Liu , Andrew R. Teel

Acoustic control and coupling of quantum systems via phonons can enable miniaturized quantum technology devices for on-chip integration. Optically active quantum dots (QDs) are essential for such platforms, yet they have long lacked direct…

介观与纳米尺度物理 · 物理学 2026-03-11 Mateusz Kuniej , Paweł Machnikowski , Michał Gawełczyk

This paper considers the problem of real-time mode scheduling in linear time-varying switched systems subject to a quadratic cost functional. The execution time of hybrid control algorithms is often prohibitive for real-time applications…

最优化与控制 · 数学 2017-09-04 Anastasia Mavrommati , Jarvis A. Schultz , Todd D. Murphey

Understanding how neural networks arrive at their predictions is essential for debugging, auditing, and deployment. Mechanistic interpretability pursues this goal by identifying circuits - minimal subnetworks responsible for specific…

人工智能 · 计算机科学 2026-03-03 Alaa Anani , Tobias Lorenz , Bernt Schiele , Mario Fritz , Jonas Fischer

This paper studies a power transmission system with both conventional generators (CGs) and distributed energy assets (DEAs) providing frequency control. We consider an operating condition with demand aggregating two dynamic components: one…

最优化与控制 · 数学 2025-07-02 Mahmoud Abdelgalil , Vishal Shenoy , Guido Cavraro , Emiliano Dall'Anese , Jorge I. Poveda

A broad range of nonlinear processes over networks are governed by threshold dynamics. So far, existing mathematical theory characterizing the behavior of such systems has largely been concerned with the case where the thresholds are…

Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and…

系统与控制 · 计算机科学 2017-04-11 Erika Ábrahám , Sergiy Bogomolov

Formal verification provides strong safety guarantees but only for models of cyber-physical systems. Hybrid system models describe the required interplay of computation and physical dynamics, which is crucial to guarantee what computations…

计算机科学中的逻辑 · 计算机科学 2019-02-26 Stefan Mitsch , André Platzer

This paper presents a novel compact delay model of Ovonic Threshold Switch (OTS) devices that works efficiently for circuit simulations. The internal state variable of the two terminal devices is estimated using a delay system that uses a…

系统与控制 · 电气工程与系统科学 2024-05-14 M. M. Al Chawa , R. Tetzlaff , D. Bedau , J. W. Reiner , D. A. Stewart , M. K. Grobis

We present a unified scheme for generating high-fidelity entangling gates in superconducting platforms by continuous dynamical decoupling (CDD) combined with variational minimal-energy optimal control. During the CDD stage, we suppress…

Coherent coupling between a large number of qubits is the goal for scalable approaches to solid state quantum information processing. Prototype systems can be characterized by spectroscopic techniques. Here, we use pulsed-continuous wave…

介观与纳米尺度物理 · 物理学 2011-04-01 M. Ziaur Rahman Khan , D. G. Hasko , M. S. M. Saifullah , M. E. Welland

Existing drift detection methods focus on designing sensitive test statistics. They treat the detection threshold as a fixed hyperparameter, set once to balance false alarms and late detections, and applied uniformly across all datasets and…

机器学习 · 计算机科学 2025-11-14 Pengqian Lu , Jie Lu , Anjin Liu , En Yu , Guangquan Zhang

We explore the potential for hybrid development of quantum hardware where currently available quantum computers simulate open Cavity Quantum Electrodynamical (CQED) systems for applications in optical quantum communication, simulation and…

We present a scheme designed to suppress the dominant source of infidelity in entangling gates between quantum systems coupled through intermediate bosonic oscillator modes. Such systems are particularly susceptible to residual…

量子物理 · 物理学 2015-04-01 T. J. Green , M. J. Biercuk

The harmonic oscillator is one of the simplest physical systems but also one of the most fundamental. It is ubiquitous in nature, often serving as an approximation for a more complicated system or as a building block in larger models.…

量子物理 · 物理学 2011-11-15 K. R. Brown , C. Ospelkaus , Y. Colombe , A. C. Wilson , D. Leibfried , D. J. Wineland

We propose a synthesis method for the design of digital twins applicable to various systems (pneumatic, hydraulic, electrical/electronic circuits). The methodology allows representing the operation of these systems through an active digital…

系统与控制 · 电气工程与系统科学 2024-10-01 Veyis Gunes

The paper investigates a new hybrid synchronization called modified hybrid synchronization (MHS) via the active control technique. Using the active control technique, stable controllers which enable the realization of the coexistence of…

最优化与控制 · 数学 2022-03-30 K. S. Ojo , S. T. Ogunjo , I. A. Fuwape

In this article, we proposed a Variable threshold MOSFET(VTMOS)approach which is realized from Dynamic Threshold MOSFET(DTMOS), suitable for sub-threshold digital circuit operation. Basically the principle of sub- threshold logics is…

其他计算机科学 · 计算机科学 2010-07-15 K. Ragini , M. Satyam , B. C. Jinaga

Precise quantum control and measurement of several harmonic oscillators, such as the modes of the electromagnetic field in a cavity or of mechanical motion, are key for their use as quantum platforms. The motional modes of trapped ions can…

Dissipation is inevitable in realistic quantum circuits. We examine the effects of dissipation on a class of monitored random circuits that exhibit a measurement-induced entanglement phase transition. This transition has previously been…

统计力学 · 物理学 2023-10-13 Yue Li , Martin Claassen