Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Donzé, A., Maler, O., Bartocci, E., Nickovic, D., Grosu, R., & Smolka, S. (2012). On Temporal Logic and Signal Processing. In Automated Technology for Verification and Analysis (pp. 92–106). LNCS/Springer. https://doi.org/10.1007/978-3-642-33386-6_9
E191-01 - Forschungsbereich Cyber-Physical Systems
-
Published in:
Automated Technology for Verification and Analysis
-
Date (published):
2012
-
Event name:
Automated Technology for Verification and Analysis (ATVA)
-
Event date:
3-Oct-2012 - 6-Oct-2012
-
Event place:
Thiruvananthapuram, India, Non-EU
-
Number of Pages:
15
-
Publisher:
LNCS/Springer, vol. 7561
-
Peer reviewed:
Yes
-
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.
en
Research Areas:
Computer Engineering and Software-Intensive Systems: 100%
