Logical Signal Processing: a Fourier Analysis of Temporal Logic
Niraj Basnet, Houssam Abbas

TL;DR
This paper explores the frequency characteristics of temporal logic formulas by modeling robustness monitors with Volterra series, enabling their analysis in the frequency domain for improved signal processing and monitoring.
Contribution
It introduces a novel Fourier analysis framework for temporal logic robustness monitors, bridging logic monitoring with signal processing techniques.
Findings
Robustness monitors can be modeled using Volterra series.
Fourier transforms of temporal logic formulas can be derived.
The approach enables integration of logic monitoring into signal processing workflows.
Abstract
What is the frequency content of temporal logic formulas? That is, when we monitor a signal against a formula, which frequency bands of the signal are relevant to the logic and should be preserved, and which can be safely discarded? This question is relevant whenever signals are filtered or compressed before being monitored, which is almost always the case for analog signals. To answer this question, we focus on monitors that measure the robustness of a signal relative to a specification in Signal Temporal Logic. We prove that robustness monitors can be modeled using Volterra series. We then study the Fourier transforms of these Volterra representations, and provide a method to derive the Fourier transforms of entire formulas. We also make explicit the measurement process in temporal logic and re-define it on the basis of distributions to make it compatible with measurements in signal…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
