Related papers: Unfaithful Glitch Propagation in Existing Binary C…
A general solution to the "shutter" problem is presented. The propagation of an arbitrary initially bounded wavefunction is investigated, and the general solution for any such function is formulated. It is shown that the exact solution can…
The stability of a piezoelectric structure controlled by a digital vibration absorber emulating a shunt circuit is investigated in this work. The formalism of feedback control theory is used to demonstrate that systems with a low…
The general space-time evolution of the scattering of an incident acoustic plane wave pulse by an arbitrary configuration of targets is treated by employing a recently developed non-singular boundary integral method to solve the Helmholtz…
We analyze a classification of two main families of controllers that are of interest when the feedback loop is subject to switching propagation delays due to routing via a wireless multi-hop communication network. We show that we can cast…
The fundamental information-theoretic limits of covert, or low probability of detection/intercept (LPD/LPI), communication have been extensively studied for over a decade, resulting in the square root law (SRL): only $L\sqrt{n}$ covert bits…
This is a technical report that extends and clarifies the results presented in [1]. The model identification problem for asymptotically stable linear time invariant systems is considered. The system output is affected by an additive noise…
This paper presents a sound and complete fault detection approach for cyber-physical systems represented by hidden-mode switched affine models with time varying parametric uncertainty. The fault detection approach builds upon techniques…
In this work we analyze the complex scaling method applied to the problem of time-harmonic scalar wave propagation in junctions between `leaky,' or open dielectric waveguides. In [arXiv:2302.04353, arXiv:2310.05816, arXiv:2401.04674,…
In this paper, we prove the nonlinear stability under localized perturbations of spectrally stable time-periodic source defects of reaction-diffusion systems. Consisting of a core that emits periodic wave trains to each side, source defects…
Signal-strength models of wireless communications capture the gradual fading of signals and the additivity of interference. As such, they are closer to reality than other models. However, nearly all theoretic work in the SINR model depends…
Spectrum-Based Fault Localization (SBFL) is a technique to be used during debugging, the premise of which is that, based on the test case outcomes and code coverage, faulty code elements can be automatically detected. SBFL is popular among…
Floating-point computations are quickly finding their way in the design of safety- and mission-critical systems, despite the fact that designing floating-point algorithms is significantly more difficult than designing integer algorithms.…
Calculation of Raman scattering from molecular dynamics (MD) simulations requires accurate modeling of the evolution of the electronic polarizability of the system along its MD trajectory. For large systems, this necessitates the use of…
Compact finite-difference (FD) schemes specify derivative approximations implicitly, thus to achieve parallelism with domain-decomposition suitable partitioning of linear systems is required. Consistent order of accuracy, dispersion, and…
We consider Scr\"odinger equations with real-valued smooth Hamiltonians, and non-smooth bounded pseudo-differential potentials, whose symbols may be not even differentiable. The well-posedness of the Cauchy problem is proved in the frame of…
We introduce a deepfake video detection approach that exploits pixel-wise temporal inconsistencies, which traditional spatial frequency-based detectors often overlook. Traditional detectors represent temporal information merely by stacking…
Leveraging recent results in finite-blocklength information theory, we investigate the problem of designing a control channel in a 5G system. The setup involves the transmission, under stringent latency and reliability constraints, of a…
The problem of light propagation of frequency corresponding to half of the energy difference between a metastable excited state and the ground state of atoms is examined, and solved for coherent medium by analytic means. We demonstrate that…
In this paper, the robust distributed relay beamforming problem is solved using the worst case approach, where the problem solution has been involved because of the effect of uncertainty of channel knowledge on the quality of service (QoS)…
Distance-based attenuation is a critical aspect of wireless communications. As opposed to the ubiquitous power-law path loss model, this paper proposes a stretched exponential path loss model that is suitable for short-range communication.…