Abnormal Data Classification Using Time-Frequency Temporal Logic

Nguyen, Luan Viet; Kapinski, James; Jin, Xiaoqing; Deshmukh, Jyotirmoy; Butts, Ken; Johnson, Taylor T.

doi:10.1145/3049797.3049809

by Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh, Ken Butts, Taylor T. Johnson

Reference:

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh, Ken Butts, Taylor T. Johnson, "Abnormal Data Classification Using Time-Frequency Temporal Logic", In 20th Intl. Conf. on Hybrid Systems: Computation and Control (HSCC 2017), ACM, 2017, apr.

Bibtex Entry:

@InProceedings{nguyen2017hscc,
  author =    {Luan Viet Nguyen and James Kapinski and Xiaoqing Jin and Jyotirmoy Deshmukh and Ken Butts and Taylor T. Johnson},
  title =     {Abnormal Data Classification Using Time-Frequency Temporal Logic},
  booktitle = {20th Intl. Conf. on Hybrid Systems: Computation and Control (HSCC 2017)},
  year =      {2017},
  month =     apr,
  publisher = {ACM},
  owner =     {tjohnson},
  doi = {10.1145/3049797.3049809},
   acmid = {3049809},
  pdf = {http://www.taylortjohnson.com/research/nguyen2017hscc.pdf},
}