Skip to main content

Security-aware synthesis of human-UAV protocols

Publication ,  Conference
Elfar, M; Zhu, H; Cummings, ML; Pajic, M
Published in: Proceedings - IEEE International Conference on Robotics and Automation
May 1, 2019

In this work, we synthesize collaboration protocols for human-unmanned aerial vehicle (H-UAV) command and control systems, where the human operator aids in securing the UAV by intermittently performing geolocation tasks to confirm its reported location. We first present a stochastic game-based model for the system that accounts for both the operator and an adversary capable of launching stealthy false-data injection attacks, causing the UAV to deviate from its path. We also describe a synthesis challenge due to the UAV's hidden-information constraint. Next, we perform human experiments using a developed RESCHU-SA testbed to recognize the geolocation strategies that operators adopt. Furthermore, we deploy machine learning techniques on the collected experimental data to predict the correctness of a geolocation task at a given location based on its geographical features. By representing the model as a delayed-action game and formalizing the system objectives, we utilize off-the-shelf model checkers to synthesize protocols for the human-UAV coalition that satisfy these objectives. Finally, we demonstrate the usefulness of the H-UAV protocol synthesis through a case study where the protocols are experimentally analyzed and further evaluated by human operators.

Duke Scholars

Published In

Proceedings - IEEE International Conference on Robotics and Automation

DOI

ISSN

1050-4729

Publication Date

May 1, 2019

Volume

2019-May

Start / End Page

8011 / 8017
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Elfar, M., Zhu, H., Cummings, M. L., & Pajic, M. (2019). Security-aware synthesis of human-UAV protocols. In Proceedings - IEEE International Conference on Robotics and Automation (Vol. 2019-May, pp. 8011–8017). https://doi.org/10.1109/ICRA.2019.8794385
Elfar, M., H. Zhu, M. L. Cummings, and M. Pajic. “Security-aware synthesis of human-UAV protocols.” In Proceedings - IEEE International Conference on Robotics and Automation, 2019-May:8011–17, 2019. https://doi.org/10.1109/ICRA.2019.8794385.
Elfar M, Zhu H, Cummings ML, Pajic M. Security-aware synthesis of human-UAV protocols. In: Proceedings - IEEE International Conference on Robotics and Automation. 2019. p. 8011–7.
Elfar, M., et al. “Security-aware synthesis of human-UAV protocols.” Proceedings - IEEE International Conference on Robotics and Automation, vol. 2019-May, 2019, pp. 8011–17. Scopus, doi:10.1109/ICRA.2019.8794385.
Elfar M, Zhu H, Cummings ML, Pajic M. Security-aware synthesis of human-UAV protocols. Proceedings - IEEE International Conference on Robotics and Automation. 2019. p. 8011–8017.

Published In

Proceedings - IEEE International Conference on Robotics and Automation

DOI

ISSN

1050-4729

Publication Date

May 1, 2019

Volume

2019-May

Start / End Page

8011 / 8017