English
Related papers

Related papers: Formal Analysis of Continuous-time Systems using F…

200 papers

The conventional Quantum Fourier Transform, with exponential speedup compared to the classical Fast Fourier Transform, has played an important role in quantum computation as a vital part of many quantum algorithms (most prominently, the…

Quantum Physics · Physics 2017-04-03 S. S. Zhou , T. Loke , J. A. Izaac , J. B. Wang

Being a powerful tool for linear time-invariant (LTI) systems, system response analysis can also be applied to the so-called linear space-invariant (LSI) but time-varying systems, which is a dual of the conventional LTI problems. In this…

Optics · Physics 2022-08-10 Wending Mai , Jingwei Xu , Arkaprovo Das , Douglas H. Werner

Quantum algorithms with a proven theoretical speedup over classical computation are rare. Among the most prominent is the Harrow-Hassidim-Lloyd (HHL) algorithm for solving sparse linear systems. Here, HHL is applied to encode melodic…

Quantum Physics · Physics 2026-04-24 Alexis Kirke

Our goal is to provide simple and practical algorithms in higher-order Fourier analysis which are based on spectral decompositions of operators. We propose a general framework for such algorithms and provide a detailed analysis of the…

Combinatorics · Mathematics 2025-01-22 Pablo Candela , Diego González-Sánchez , Balázs Szegedy

The classical Fourier analysis of a time signal, in the discrete sense, provides the frequency content of signal under the assumption of periodicity. Although the original signal can be exactly recovered using an inverse transform, the time…

Fluid Dynamics · Physics 2026-01-06 Vilas J. Shinde

Time-frequency (TF) analysis is a powerful tool for exploring ultrafast dynamics in atoms and molecules. While some TF methods have demonstrated their usefulness and potential in several of quantum systems, a systematic comparison among…

Data Analysis, Statistics and Probability · Physics 2021-06-21 Yae-lin Sheu , Hau-tieng Wu , Liang-Yan Hsu

Our approach to higher order Fourier analysis is to study the ultra product of finite (or compact) Abelian groups on which a new algebraic theory appears. This theory has consequences on finite (or compact) groups usually in the form of…

Combinatorics · Mathematics 2009-11-09 Balazs Szegedy

This paper presents a novel frequency-domain approach for path following problem, specifically designed to handle paths described by discrete data. The proposed algorithm utilizes the fast Fourier Transform (FFT) to process the discrete…

Systems and Control · Electrical Eng. & Systems 2023-08-15 Zirui Chen , Zongyu Zuo

Non-stationary forced oscillations (FOs) have been observed in power system operations. However, most detection methods assume that the frequency of FOs is stationary. In this paper, we present a methodology for the analysis of…

Signal Processing · Electrical Eng. & Systems 2020-06-26 Pablo Gill Estevez , Pablo Marchi , Cecilia Galarza , Marcelo Elizondo

In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…

Quantum Physics · Physics 2026-02-19 Olivier Brunet

We unify the discrete Fourier transform (DFT), discrete cosine transform (DCT), Walsh-Hadamard, Haar wavelet, Karhunen-Lo\`eve transform, and several others along with their continuous counterparts (Fourier transform, Fourier series,…

Signal Processing · Electrical Eng. & Systems 2026-05-19 Mitchell A. Thornton

Utilizing the Haar transform, we study the higher order spectral properties of mean field avalanche models, whose avalanche dynamics are described by Poisson statistics at a critical point or critical depinning transition. The Haar…

Statistical Mechanics · Physics 2007-05-23 Amit P. Mehta , Karin A. Dahmen , A. C. Mills , M. B. Weissman

We develop the basic building blocks of a frequency domain framework for drawing statistical inferences on the second-order structure of a stationary sequence of functional data. The key element in such a context is the spectral density…

Statistics Theory · Mathematics 2013-05-10 Victor M. Panaretos , Shahin Tavakoli

Transient electromagnetic logging (TEL) is of great significance for detecting deep formation structures outside the wellbore. Forward modeling using analytical solutions requires frequency-domain calculations followed by time-domain…

Geophysics · Physics 2025-08-26 Feng-Feng Li

Fourier representation (FR) is an indispensable mathematical formulation for modeling and analysis of physical phenomenon, engineering systems and signals in numerous applications. In this study, we present the generalized Fourier…

Signal Processing · Electrical Eng. & Systems 2020-08-28 Pushpendra Singh

Stability and stabilization analysis of fractional-order linear time-invariant (FO-LTI) systems with different derivative orders is studied in this paper. First, by using an appropriate linear matrix function, a single-order equivalent…

Systems and Control · Computer Science 2018-08-30 Pouya Badri , Mahdi Sojoodi

The modulating functions method has been used for the identification of linear and nonlinear systems. In this paper, we generalize this method to the on-line identification of fractional order systems based on the Riemann-Liouville…

Numerical Analysis · Mathematics 2013-03-18 Da-Yan Liu , Taous-Meriem Laleg-Kirati , Olivier Gibaru , Wilfrid Perruquetti

The interference of fluorescence signals and noise remains a significant challenge in Raman spectrum analysis, often obscuring subtle spectral features that are critical for accurate analysis. Inspired by variational methods similar to…

Image and Video Processing · Electrical Eng. & Systems 2025-12-08 Nelson H. T. Lemes , José Claudinei Ferreira , Higor V. M. Ferreira

This contribution deals with identification of fractional-order dynamical systems. System identification, which refers to estimation of process parameters, is a necessity in control theory. Real processes are usually of fractional order as…

Other Computer Science · Computer Science 2016-11-15 Deepyaman Maiti , Ayan Acharya , R. Janarthanan , Amit Konar

Hybrid systems are mostly modelled, simulated, and verified in the time domain by computer scientists. Engineers, however, use both frequency and time domain modelling due to their distinct advantages. For example, frequency domain…

Formal Languages and Automata Theory · Computer Science 2025-06-03 Moon Kim , Avinash Malik , Partha Roop
‹ Prev 1 3 4 5 6 7 10 Next ›