Signal Temporal Logic-based Attack Detection in DC Microgrids (bibtex)

by OA Beg, LV Nguyen, Taylor T. Johnson and A Davoudi

Reference:

OA Beg, LV Nguyen, Taylor T. Johnson and A Davoudi, "Signal Temporal Logic-based Attack Detection in DC Microgrids", IEEE Transactions on Smart Grid (TSG), IEEE, vol. 10, no. 4, pp. 3585–3595, 2019.

Bibtex Entry:

@article{beg2018tsg,
  title = {Signal Temporal Logic-based Attack Detection in DC Microgrids},
  author = {OA Beg and LV Nguyen and Taylor T. Johnson and A Davoudi},
  year = {2019},
  month = jul,
  journal = {IEEE Transactions on Smart Grid (TSG)},
  volume = {10},
  number = {4},
  pages = {3585--3595},
  publisher = {IEEE},
  doi = {10.1109/TSG.2018.2832544},
  publabel = {J16},
  pubtype = {J},
  pdf = "research/beg2018tsg.pdf",
}