Related papers: RASP: Reliability ab initio simulation package of …
Safety Instrumented Systems (SIS) protect major hazard facilities, e.g. power plants, against catastrophic accidents. An SIS consists of hardware components and a controller software -- the ``program''. Current safety analyses of SIS'…
The efficient preparation of quantum states is an important step in the execution of many quantum algorithms. In the noisy intermediate-scale quantum (NISQ) computing era, this is a significant challenge given quantum resources are scarce…
DNNs and LLMs increasingly rely on hardware accelerators, including in safety-critical domains, while technology scaling and growing model complexity make hardware faults more frequent. Existing system-level mechanisms typically treat the…
Atomistic quantum transport simulation of realistically large devices is computationally very demanding. The widely used mode space (MS) approach can significantly reduce the numerical cost but good MS basis is usually very hard to obtain…
Using a perturbative treatment, we quantify the influence of non-adiabatic leakage and system dissipation on the transfer fidelity of a stimulated Raman adiabatic passage (STIRAP) process. We find that, optimizing transfer time rather than…
In this paper, a new reliability model has been developed for a single system degrading stochastically which experiences soft and hard failure. Soft failure occurs when the physical deterioration level of the system is greater than a…
We demonstrate experimental implementation of robust phase estimation (RPE) to learn the phases of X and Y rotations on a trapped $\textrm{Yb}^+$ ion qubit. We estimate these phases with uncertainties less than $4\cdot10^{-4}$ radians using…
Active power oscillations frequently arise in inverter-dominated power systems with multiple converters operating under Virtual Synchronous Generator control, posing risks to system stability and protection coordination. While various…
Single-sided aluminized polyimide films (SAPF) are widely used in thermal management of aerospace systems. Although the reliability of SAPF in space environments has been thoroughly studied, its reliability in ground environments during…
We present a novel mathematical framework for the specification and analysis of fault-resilient distributed protocols and their implementations, with the following components: 1. Transition systems that allow the specification and analysis…
Robust simulation is essential for reliable operation and planning of transmission and distribution power grids. At present, disparate methods exist for steady-state analysis of the transmission (power flow) and distribution power grid…
Quantum optomechanical STIRAP (Stimulated Raman Adiabatic Passage) is investigated for a system of two mechanical modes coupled to an optical mode. We show analytically that in a system without loss, fractional STIRAP can generate a…
Deep learning models for medical imaging often exhibit overconfidence, creating safety risks in ambiguous diagnostic scenarios. While Conformal Prediction (CP) provides distribution-free statistical guarantees, standard methods such as…
Transient absorption spectroscopy (TAS) is among the most common ultrafast photochemical experiments, but its interpretation remains challenging. In this work, we present an efficient and robust method for simulating TAS signals from first…
The progress in neuromorphic computing is fueled by the development of novel nonvolatile memories capable of storing analog information and implementing neural computation efficiently. However, like most other analog circuits, these devices…
This article proposes a data-driven framework to verify the distributed conditions that guarantee the system-wide stability for interconnected power systems. To guarantee system wide stability, the dynamics of each bus are required to…
Supporting the programming of stateful packet forwarding functions in hardware has recently attracted the interest of the research community. When designing such switching chips, the challenge is to guarantee the ability to program…
Coherent manipulation of quantum states is of crucial importance in accurate control of a quantum system. A fundamental goal is coherently transferring the population of a desired state with near-unit fidelity. For this propose, we…
Model-based design offers a promising approach for assisting developers to build reliable and secure cyber-physical systems (CPSs) in a systematic manner. In this methodology, a designer first constructs a model, with mathematically precise…
Economic models may exhibit incompleteness depending on whether or not they admit certain policy-relevant features such as strategic interaction, self-selection, or state dependence. We develop a novel test of model incompleteness and…