TY - GEN
T1 - On temporal logic and signal processing
AU - Donzé, Alexandre
AU - Maler, Oded
AU - Bartocci, Ezio
AU - Nickovic, Dejan
AU - Grosu, Radu
AU - Smolka, Scott
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/84868261278
U2 - 10.1007/978-3-642-33386-6_9
DO - 10.1007/978-3-642-33386-6_9
M3 - Conference contribution
AN - SCOPUS:84868261278
SN - 9783642333859
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 92
EP - 106
BT - Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Proceedings
T2 - 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012
Y2 - 3 October 2012 through 6 October 2012
ER -