Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis

Dong Yang, Wei Dong, Wei Lu +2

Complex Cyber-Physical System (CPS) such as Unmanned Aerial System (UAS) got rapid development these years, but also became vulnerable to GPS spoofing, packets injection, buffer-ov…