Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines Conference

Rahman, Mohammad Ashiqur, Masum, Rahat, Anderson, Matthew et al. (2020). Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines . 103-112. 10.1109/ICECCS51672.2020.00019

cited authors

  • Rahman, Mohammad Ashiqur; Masum, Rahat; Anderson, Matthew; Drager, Steven L

date/time interval

  • March 4, 2021 -

publication date

  • January 1, 2020

keywords

  • Computer Science
  • Computer Science, Hardware & Architecture
  • Computer Science, Software Engineering
  • Computer Science, Theory & Methods
  • Science & Technology
  • Technology
  • Unmanned aerial vehicles
  • formal synthesis
  • resilient surveillance
  • smart grid
  • trajectory

Location

  • Singapore, SINGAPORE

Digital Object Identifier (DOI)

Conference

  • 25th International Conference on Engineering of Complex Computer Systems (ICECCS)

publisher

  • IEEE

start page

  • 103

end page

  • 112