{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T15:33:14Z","timestamp":1777995194900,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,13]],"date-time":"2017-04-13T00:00:00Z","timestamp":1492041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,4,13]]},"DOI":"10.1145\/3049797.3049809","type":"proceedings-article","created":{"date-parts":[[2017,4,14]],"date-time":"2017-04-14T12:18:54Z","timestamp":1492172334000},"page":"237-242","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Abnormal Data Classification Using Time-Frequency Temporal Logic"],"prefix":"10.1145","author":[{"given":"Luan Viet","family":"Nguyen","sequence":"first","affiliation":[{"name":"University of Texas at Arlington, Arlington, TX, USA"}]},{"given":"James","family":"Kapinski","sequence":"additional","affiliation":[{"name":"Toyota Technical Center, Gardena, CA, USA"}]},{"given":"Xiaoqing","family":"Jin","sequence":"additional","affiliation":[{"name":"Toyota Technical Center, Gardena, CA, USA"}]},{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[{"name":"Toyota Technical Center, Gardena, CA, USA"}]},{"given":"Ken","family":"Butts","sequence":"additional","affiliation":[{"name":"Toyota Technical Center, Ann Arbor, MI, USA"}]},{"given":"Taylor T.","family":"Johnson","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, TN, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"147","volume-title":"Runtime Verification","author":"Asarin E.","year":"2011","unstructured":"E. Asarin , A. Donz\u00e9 , O. Maler , and D. Nickovic . Parametric identification of temporal properties . In Runtime Verification , pages 147 -- 160 . Springer , 2011 . E. Asarin, A. Donz\u00e9, O. Maler, and D. Nickovic. Parametric identification of temporal properties. In Runtime Verification, pages 147--160. Springer, 2011."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10512-3_3"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883843"},{"key":"e_1_3_2_1_4_1","volume-title":"Time-frequency analysis","author":"Cohen L.","year":"1995","unstructured":"L. Cohen . Time-frequency analysis , volume 299 . Prentice hall, 1995 . L. Cohen. Time-frequency analysis, volume 299. Prentice hall, 1995."},{"key":"e_1_3_2_1_5_1","volume-title":"On expressing and monitoring oscillatory dynamics. arXiv preprint arXiv:1208.3853","author":"P.","year":"2012","unstructured":"P. Dluho\\vs, L. Brim , and D. Safr\u00e1nek . On expressing and monitoring oscillatory dynamics. arXiv preprint arXiv:1208.3853 , 2012 . P. Dluho\\vs, L. Brim, and D. Safr\u00e1nek. On expressing and monitoring oscillatory dynamics. arXiv preprint arXiv:1208.3853, 2012."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2421907"},{"key":"e_1_3_2_1_9_1","volume-title":"High-speed digital design: a handbook of black magic","author":"Johnson H. W.","year":"1993","unstructured":"H. W. Johnson , M. Graham , High-speed digital design: a handbook of black magic , volume 1 . Prentice Hall Upper Saddle River , NJ , 1993 . 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."},{"key":"e_1_3_2_1_10_1","volume-title":"ST-Lib: A library for specifying and classifying model behaviors","author":"Kapinski J.","year":"2016","unstructured":"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 . 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."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"e_1_3_2_1_12_1","volume-title":"A wavelet tour of signal processing","author":"Mallat S.","year":"1999","unstructured":"S. Mallat . A wavelet tour of signal processing . Academic press , 1999 . S. Mallat. A wavelet tour of signal processing. Academic press, 1999."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/51.932724"},{"key":"e_1_3_2_1_14_1","unstructured":"R. Polikar. The wavelet tutorial. 1996. R. Polikar. The wavelet tutorial. 1996."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4175.001.0001","volume-title":"Learning with kernels: support vector machines, regularization, optimization, and beyond","author":"Scholkopf B.","year":"2001","unstructured":"B. Scholkopf and A. J. Smola . Learning with kernels: support vector machines, regularization, optimization, and beyond . MIT press , 2001 . B. Scholkopf and A. J. Smola. Learning with kernels: support vector machines, regularization, optimization, and beyond. MIT press, 2001."}],"event":{"name":"HSCC '17: 20th International Conference on Hybrid Systems: Computation and Control","location":"Pittsburgh Pennsylvania USA","acronym":"HSCC '17","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3049797.3049809","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3049797.3049809","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:26Z","timestamp":1750217786000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3049797.3049809"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,13]]},"references-count":15,"alternative-id":["10.1145\/3049797.3049809","10.1145\/3049797"],"URL":"https:\/\/doi.org\/10.1145\/3049797.3049809","relation":{},"subject":[],"published":{"date-parts":[[2017,4,13]]},"assertion":[{"value":"2017-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}