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),
Thiruvananthapuram, India;
2012-10-03
- 2012-10-06; in: "Proceedings of ATVA 2012, the 10th International Symposium on Automated Technology for Verification and Analysis",
LNCS/Springer,
vol. 7561
(2012),
ISBN: 978-3-642-33385-9;
92
- 106.
English abstract:
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)
http://dx.doi.org/10.1007/978-3-642-33386-6_9