On Temporal Logic and Signal Processing
On Temporal Logic and Signal Processing
复制标题
时态逻辑与信号处理
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
S. Smolka
中科院分区：
文献类型：
--
作者：
Alexandre Donzé;O. Maler;E. Bartocci;D. Ničković;R. Grosu;S. Smolka
我们介绍时间频率逻辑（TFL），这是一种新的规范形式，用于实现的信号，将时间域中的时间逻辑属性与频域属性结合在一起。我们为这种形式主义提供了属性检查框架，并说明了其在定义和识别音乐作品属性时的表现力。像混合动力自动机及其分析技术一样，TFL形式主义是对混合系统的统一系统理论的贡献。
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.