相关论文: Calibrating spectral estimation for the LISA Techn…

In this paper we present a data analysis approach applicable to the potential saddle-point fly-by mission extension of LISA Pathfinder (LPF). At the peak of its sensitivity, LPF will sample the gravitational field in our Solar System with a…

Strategy synthesis typically follows an all-or-nothing paradigm, returning unrealisable whenever a specification cannot be guaranteed in an uncertain environment. In this paper, we introduce optimal LTLf synthesis, where the goal is to…

Terahertz Time Domain Spectroscopy (THz-TDS) systems have emerged as mature technologies with significant potential across various research fields and industries. However, the lack of standardized methods for signal and noise estimation and…

Automatic synthesis from linear temporal logic (LTL) specifications is widely used in robotic motion planning, control of autonomous systems, and load distribution in power networks. A common specification pattern in such applications…

The Laser Interferometer Space Antenna (LISA) will explore the source-rich milli-Hertz band of the gravitational wave spectrum. In contrast to ground based detectors, where typical signals are short-lived and discrete, LISA signals are…

Time-delay interferometry (TDI) suppresses laser frequency noise by forming linear combinations of time-shifted interferometric measurements. The time-shift operation is implemented by interpolating discretely sampled data. To enable…

Compiling high-level programs to target high-speed packet-processing pipelines is a challenging combinatorial optimization problem. The compiler must configure the pipeline's resources to match the high-level semantics of the program, while…

In early 2024, ESA formally adopted the Laser Interferometer Space Antenna (LISA) space mission with the aim of measuring gravitational waves emitted in the millihertz range. The constellation employs three spacecraft that exchange laser…

Electrostatic force actuation is a key component of the system of geodesic reference test masses (TM) for the LISA orbiting gravitational wave observatory and in particular for performance at low frequencies, below 1 mHz, where the…

The Laser Interferometer Space Antenna (LISA) will open a rich discovery space in the milli-Hertz gravitational wave band. In addition to the anticipated signals from many millions of binary systems, this band may contain new and previously…

Current and future astronomical survey facilities provide a remarkably rich opportunity for transient astronomy, combining unprecedented fields of view with high sensitivity and the ability to access previously unexplored wavelength…

Each spacecraft in the Laser Interferometer Space Antenna houses a proof mass which follows a geodesic through spacetime. Disturbances which change the proof mass position, momentum, and/or acceleration will appear in the LISA data stream…

Time-tagging units and coincidence detectors are used in many scientific research fields. The required timing resolution and number of input channels are varying, but some emerging experiments in the field of quantum optics require up to 32…

Objects sensed by laser interferometers are usually not stable in position or orientation. This angular instability can lead to a coupling of angular tilt to apparent longitudinal displacement -- tilt-to-length coupling (TTL). In LISA this…

Reconstructing the unknown spectrum of a given X-ray source is a common problem in a wide range of X-ray imaging tasks. For high-energy sources, transmission measurements are mostly used to recover the X-ray spectrum, as a solution to an…

Data from the Laser Interferometer Space Antenna (LISA) is expected to be dominated by frequency noise from its lasers. However the noise from any one laser appears more than once in the data and there are combinations of the data that are…

The Gaussian phase noise of intensity time series is demonstrated to be drastically reduced when the raw voltage data are digitally filtered through an arbitrarily large number $n$ of orthornormal bandpass profiles (eigen-filters) sharing…

During the High Luminosity phase of LHC, up to 200 proton-proton collisions per bunch crossing will bring severe challenges for event reconstruction. To mitigate pileup effects, an extended upgrade program of the CMS experiment is expected.…

The Laser Interferometer Space Antenna (LISA) will enable direct observations of low-frequency gravitational waves, offering unprecedented insight into astrophysical and cosmological phenomena. LISA's heterodyne interferometric measurement…

LISA (Laser Interferometer Space Antenna) is a proposed space mission, which will use coherent laser beams exchanged between three remote spacecraft to detect and study low-frequency cosmic gravitational radiation. In the low-part of its…