Talks and Poster Presentations (with Proceedings-Entry):
D. Donze, O. Maler, E. Bartocci, D. Nickovic, R. Grosu, S. Smolka:
"On Temporal Logic and Signal Processing";
Talk: Automated Technology for Verification and Analysis (ATVA),
- 2012-10-06; in: "Proceedings of ATVA 2012, the 10th International Symposium on Automated Technology for Verification and Analysis",
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.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.