Signal Temporal Logic-based Attack Detection in DC Microgrids

Beg, Omar Ali; Nguyen, Luan Viet; Johnson, Taylor T.; Davoudi, Ali

doi:10.1109/TSG.2018.2832544

by Omar Ali Beg, Luan Viet Nguyen, Taylor T. Johnson, Ali Davoudi

Reference:

Omar Ali Beg, Luan Viet Nguyen, Taylor T. Johnson, Ali Davoudi, "Signal Temporal Logic-based Attack Detection in DC Microgrids", In IEEE Transactions on Smart Grids (TSG), Institute of Electrical and Electronics Engineers (IEEE), 2018, apr.

Bibtex Entry:

@ARTICLE{beg2018tsg,
   author = {Omar Ali Beg and Luan Viet Nguyen and Taylor T. Johnson and Ali Davoudi},
   ISSN = {},
   language = {English},
   title = {Signal Temporal Logic-based Attack Detection in DC Microgrids},
   journal = {IEEE Transactions on Smart Grids (TSG)},
   year = {2018},
   month = apr,
   publisher ={Institute of Electrical and Electronics Engineers (IEEE)},
doi={10.1109/TSG.2018.2832544}, 
   pdf = {http://www.taylortjohnson.com/research/beg2018tsg.pdf},
}