Related papers: On the matrix formulation of time-delay interferom…
This paper develops a unifying framework for signal reconstruction from interferometric measurements that is broadly applicable to various applications of interferometry. In this framework, the problem of signal reconstruction in…
This paper proposes a new methodology in linear time-periodic (LTP) system identification. In contrast to previous methods that totally separate dynamics at different tag times for identification, the method focuses on imposing appropriate…
We propose a latent space dynamics identification method, namely tLaSDI, that embeds the first and second principles of thermodynamics. The latent variables are learned through an autoencoder as a nonlinear dimension reduction model. The…
The future Laser Interferometer Space Antenna (LISA) mission, which has successfully passed Mission Formulation phase, is in planning to be launched in 2030s. One of the ubiquitous LISA sources are the white-dwarf binaries (WDB) of which…
We propose an efficient thermodynamics-informed latent space dynamics identification (tLaSDI) framework for the reduced-order modeling of parametric nonlinear dynamical systems. This framework integrates autoencoders for dimensionality…
The Laser Interferometer Space Antenna (LISA) is designed to detect a variety of gravitational-wave events, including mergers of massive black hole binaries, stellar-mass black hole inspirals, and extreme mass-ratio inspirals. LISA's…
This paper presents a convex optimization-based framework for synthesizing time-varying controlled invariant funnels and associated feedback control around a given nominal trajectory for nonlinear systems subject to bounded disturbances.…
Precision phase readout of optical beat note signals is one of the core techniques required for intersatellite laser interferometry. Future space based gravitational wave detectors like eLISA require such a readout over a wide range of MHz…
Future drag-free missions for space-based experiments in gravitational physics require a Gravitational Reference Sensor with extremely demanding sensing and disturbance reduction requirements. A configuration with two cubical sensors is the…
We present a new method for time delay estimation using band limited frequency domain data representing the port responses of interconnect structures. The approach is based on the recently developed by the authors spectrally accurate method…
The orbiting LISA instrument is designed to detect gravitational waves in the millihertz band, produced by sources including galactic binaries and extreme mass ratio inspirals, among others. The detector consists of three spacecraft, each…
Two-dimensional topological insulators, characterized by symmetry-protected anomalous boundary modes, have been generalized to the strongly correlated regime for both bosonic and fermionic systems. As correlated topological insulators (TI)…
Willems' Fundamental Lemma enables parameterizing all trajectories generated by a Linear Time-Invariant (LTI) system directly from data. However, this lemma relies on the assumption of noiseless measurements. In this paper, we provide an…
A conceptual design study of a Transverse Deflecting Structure (TDS) for longitudinal beam diagnostics at the DALI accelerator facility is presented. The TDS provides a time-dependent transverse kick to the electron bunch, enabling direct…
Laser phase noise remains a limiting factor in many experimental settings, including metrology, time-keeping, as well as quantum optics. Hitherto this issue was addressed at low frequencies, ranging from well below 1 Hz to maximally 100…
The fundamental problem in the design of a full-duplex radio is the cancellation of the self-interference (SI) signal generated by the transmitter.Current techniques for suppressing SI rely on generating a copy of the SI signal and…
Garcia and Cimini study a type inference problem for the ITGL, an implicitly and gradually typed language with let-polymorphism, and develop a sound and complete inference algorithm for it. Soundness and completeness mean that, if the…
Linear Time Invariant (LTI) systems are ubiquitous in control applications. Unbounded-time reachability analysis that can cope with industrial-scale models with thousands of variables is needed. To tackle this problem, we use abstract…
We address the problem of signal denoising and pattern recognition in processing batch-mode time-series data by combining linear time-invariant filters, orthogonal multiresolution representations, and sparsity-based methods. We propose a…
This paper proposes a general two directional simultaneous inference (TOSI) framework for high-dimensional models with a manifest variable or latent variable structure, for example, high-dimensional mean models, high-dimensional sparse…