English
Related papers

Related papers: Faithful Dynamic Timing Analysis of Digital Circui…

200 papers

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…

Optimization and Control · Mathematics 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…

Mesoscale and Nanoscale Physics · Physics 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…

Optimization and Control · Mathematics 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…

Artificial Intelligence · Computer Science 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…

Optimization and Control · Mathematics 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…

Dynamical Systems · Mathematics 2013-05-21 Leon Chang , Jeffrey Cochran , Henning S. Mortveit , Siddharth Raval , Matthew Schroeder

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…

Systems and Control · Computer Science 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…

Logic in Computer Science · Computer Science 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…

Systems and Control · Electrical Eng. & Systems 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…

Mesoscale and Nanoscale Physics · Physics 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…

Machine Learning · Computer Science 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…

Quantum Physics · Physics 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.…

Quantum Physics · Physics 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…

Systems and Control · Electrical Eng. & Systems 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…

Optimization and Control · Mathematics 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…

Other Computer Science · Computer Science 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…

Statistical Mechanics · Physics 2023-10-13 Yue Li , Martin Claassen