Luan Viet Nguyen
Taylor T. Johnson
ABSTRACT
We present a technique to investigate abnormal behaviors of signals in both time and frequency domains using an extension of time-frequency logic that uses the continuous wavelet transform. Abnormal signal behaviors such as unexpected oscillations, called hunting behavior, can be challenging to capture in the time domain; however, these behaviors can be naturally captured in the time-frequency domain. We introduce the concept of parametric time-frequency logic and propose a parameter synthesis approach that can be used to classify hunting behavior. We perform a comparative analysis between the proposed algorithm, an approach based on support vector machines using linear classification, and a method that infers a signal temporal logic formula as a data classifier. We present experimental results based on data from a hydrogen fuel cell vehicle application and electrocardiogram data extracted from the MIT-BIH Arrhythmia Database.
- E. Asarin, A. Donzé, O. Maler, and D. Nickovic. Parametric identification of temporal properties. In Runtime Verification, pages 147--160. Springer, 2011.Google Scholar
- E. Bartocci, L. Bortolussi, and G. Sanguinetti. Data-driven statistical learning of temporal logic properties. In International Conference on Formal Modeling and Analysis of Timed Systems, pages 23--37. Springer, 2014. Google ScholarCross Ref
- G. Bombara, C.-I. Vasile, F. Penedo, H. Yasuoka, and C. Belta. A decision tree approach to data classification using signal temporal logic. In Proceedings of the 19th international conference on Hybrid systems: computation and control. ACM, 2016. Google ScholarDigital Library
- L. Cohen. Time-frequency analysis, volume 299. Prentice hall, 1995.Google Scholar
- P. Dluho\vs, L. Brim, and D. Safránek. On expressing and monitoring oscillatory dynamics. arXiv preprint arXiv:1208.3853, 2012.Google Scholar
- A. Donzé. Breach, a toolbox for verification and parameter synthesis of hybrid systems. In Computer Aided Verification, pages 167--170. Springer, 2010. Google ScholarDigital Library
- A. Donzé, O. Maler, E. Bartocci, D. Nickovic, R. Grosu, and S. Smolka. On temporal logic and signal processing. In Automated Technology for Verification and Analysis, pages 92--106. Springer, 2012. Google ScholarDigital Library
- X. Jin, A. Donzé, J. V. Deshmukh, and S. A. Seshia. Mining requirements from closed-loop control models. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 34(11):1704--1717, 2015. Google ScholarCross Ref
- H. W. Johnson, M. Graham, et al. High-speed digital design: a handbook of black magic, volume 1. Prentice Hall Upper Saddle River, NJ, 1993.Google Scholar
- J. Kapinski, X. Jin, J. Deshmukh, A. Donze, T. Yamaguchi, H. Ito, T. Kaga, S. Kobuna, and S. Seshia. ST-Lib: A library for specifying and classifying model behaviors. 2016.Google Scholar
- O. Maler and D. Nickovic. Monitoring temporal properties of continuous signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, pages 152--166. Springer, 2004. Google ScholarCross Ref
- S. Mallat. A wavelet tour of signal processing. Academic press, 1999.Google Scholar
- G. B. Moody and R. G. Mark. The impact of the mit-bih arrhythmia database. IEEE Engineering in Medicine and Biology Magazine, 20(3):45--50, 2001. Google ScholarCross Ref
- R. Polikar. The wavelet tutorial. 1996.Google Scholar
- B. Scholkopf and A. J. Smola. Learning with kernels: support vector machines, regularization, optimization, and beyond. MIT press, 2001.Google Scholar
Index Terms
- Abnormal Data Classification Using Time-Frequency Temporal Logic
Recommendations
Constructive linear-time temporal logic: Proof systems and Kripke semantics
In this paper we study a version of constructive linear-time temporal logic (LTL) with the ''next'' temporal operator. The logic is originally due to Davies, who has shown that the proof system of the logic corresponds to a type system for binding-time ...
Randomized continuous frames in time-frequency analysis
AbstractRecently, a Monte Carlo approach was proposed for processing highly redundant continuous frames. In this paper, we present and analyze applications of this new theory. The computational complexity of the Monte Carlo method relies on the continuous ...
Arrhythmia Classification with Continuous Wavelet Transform and Convolutional Neural Network on ECG
ICBBE '21: Proceedings of the 2021 8th International Conference on Biomedical and Bioinformatics EngineeringElectrocardiogram (ECG) is an electric signal recorded from the heart which is used to monitor conditions in the cardiovascular systems of hospitalized patients. For many years, there have been efforts to accurately determine cardiovascular conditions ...
Comments