On Temporal Logic and Signal Processing

  • Alexandre Donzé
  • Oded Maler
  • Ezio Bartocci
  • Dejan Nickovic
  • Radu Grosu
  • Scott Smolka
Conference paper

DOI: 10.1007/978-3-642-33386-6_9

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7561)
Cite this paper as:
Donzé A., Maler O., Bartocci E., Nickovic D., Grosu R., Smolka S. (2012) On Temporal Logic and Signal Processing. In: Chakraborty S., Mukund M. (eds) Automated Technology for Verification and Analysis. ATVA 2012. Lecture Notes in Computer Science, vol 7561. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Alexandre Donzé
    • 1
  • Oded Maler
    • 2
  • Ezio Bartocci
    • 4
  • Dejan Nickovic
    • 3
  • Radu Grosu
    • 4
  • Scott Smolka
    • 5
  1. 1.EECS DepartmentUniversity of CaliforniaBerkeleyUSA
  2. 2.VerimagUniversité Joseph Fourier/CNRSGièresFrance
  3. 3.Austrian Institute of TechnologyViennaAustria
  4. 4.Department of Computer EngineeringVienna, University of TechnologyAustria
  5. 5.Department of Computer ScienceStony Brook UniversityUSA

Personalised recommendations