Breakthrough: CPS-Security: Towards Provably Correct Distributed Attack-Resilient Control of Unmanned-Vehicle-Operator Networks

  • Pennsylvania State University
  • security
  • 1505664
  • Automotive
  • CPS Domains
  • Avionics
  • Control
  • Resilient Systems
  • Transportation
  • Validation and Verification
  • Foundations
  • CPS-PI Meeting 2017
  • Poster
  • Posters (Sessions 8 & 13)
Submitted by Minghui Zhu on