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.
Record link: 
http://hdl.handle.net/20.500.12708/54371
-
Title: 
On Temporal Logic and Signal Processing
-
Citation: 
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
-
Publisher DOI: 
10.1007/978-3-642-33386-6_9
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Authors: 
Donzé, Alexandre 
Maler, Oded 
Bartocci, Ezio 
Nickovic, Dejan 
Grosu, Radu 
Smolka, Scott 
-
Organisational Unit: 
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%
-
Science Branch: 
Mathematik, Informatik
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

180
checked on Nov 23, 2023

Google ScholarTM

Check