# Logical Signal Processing: a Fourier Analysis of Temporal Logic

@article{Basnet2020LogicalSP, title={Logical Signal Processing: a Fourier Analysis of Temporal Logic}, author={Niraj Basnet and Houssam Abbas}, journal={ArXiv}, year={2020}, volume={abs/2009.08090} }

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…

## One Citation

A Multiresolution Analysis of Temporal Logic

- Computer ScienceHSCC
- 2022

This paper provides a complete computational characterization of both Y and D using a novel constraint set encoding of STL, and shows that Y is over approximated by the language of a formula − 1, which thus constitute a multiresolution analysis of.

## References

SHOWING 1-10 OF 21 REFERENCES

Robustness of temporal logic specifications for continuous-time signals

- Computer Science, MathematicsTheor. Comput. Sci.
- 2009

On Temporal Logic and Signal Processing

- Computer ScienceATVA
- 2012

Time-Frequency Logic is a new specification formalism for real-valued signals that combines temporal logic properties in the time domain with frequency-domain properties and is a contribution to a unified systems theory for hybrid systems.

Monitoring Temporal Properties of Continuous Signals

- Computer ScienceFORMATS/FTRTFT
- 2004

A variant of temporal logic tailored for specifying desired properties of continuous signals, based on a bounded subset of the real-time logic mitl, augmented with a static mapping from continuous domains into propositions is introduced.

Signal Convolution Logic

- Computer ScienceATVA
- 2018

Signal Convolution Logic is proved at work to monitor the artificial pancreas controllers that are employed to automate the delivery of insulin for patients with type-1 diabetes, providing an efficient monitoring procedure.

Robust Satisfaction of Temporal Logic over Real-Valued Signals

- MathematicsFORMATS
- 2010

We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain parameters. We present several…

Fading memory and the problem of approximating nonlinear operators with volterra series

- Mathematics
- 1985

Using the notion of fading memory, very strong versions of two folk theorems are proved that any time-invariant continuous nonlinear operator can be approximated by a Volterra series operator and that the approximating operatorCan be realized as a finite-dimensional linear dynamical system with a nonlinear readout map.

Temporal logic robustness for general signal classes

- Computer ScienceHSCC
- 2019

This paper shows that the robustness computation is significantly affected by how the continuous-time signal is reconstructed from the received samples, and shows that monitoring general spline-based reconstructions yields a smaller robustness error, and that it can be done with the same time complexity as monitoring the simpler PWL reconstructions.

Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology

- Computer Science2018 Annual American Control Conference (ACC)
- 2018

This work develops a (pseudo-)distance function, called conformance, that is used to distinguish between fatal and non-fatal arrhythmias obtained from real patients, and it is demonstrated that conformance measures the meaningful distance between cardiac signals much better than distances used in medical devices today.

On bandwidth

- PhilosophyProceedings of the IEEE
- 1976

This paper presents one possible resolution of this seeming paradox of real signals must be bandlimited and a philosophical discussion of the role of mathematical models in the exact sciences is given and a new formulation of the 2 WT theorem is presented.

Modeling Nonlinear Systems by Volterra Series

- Engineering
- 2010

The Volterra-series expansion is widely employed to represent the input-output relationship of nonlinear dynamical systems. This representation is based on the Volterra frequency-response functions…