On Temporal Logic and Signal Processing
- Cite this paper as:
- Donzé A., Maler O., Bartocci E., Nickovic D., Grosu R., Smolka S. (2012) On Temporal Logic and Signal Processing. In: Chakraborty S., Mukund M. (eds) Automated Technology for Verification and Analysis. ATVA 2012. Lecture Notes in Computer Science, vol 7561. Springer, Berlin, Heidelberg
We present Time-Frequency Logic (TFL), a new specification formalism for real-valued signals that combines temporal logic properties in the time domain with frequency-domain properties. We provide a property checking framework for this formalism and illustrate its expressive power in defining and recognizing properties of musical pieces. Like hybrid automata and their analysis techniques, the TFL formalism is a contribution to a unified systems theory for hybrid systems.
Unable to display preview. Download preview PDF.