In this paper, we propose a trust-based runtime verification (RV) framework for deploying multiple quad-rotors with a human-in-the-loop (HIL). By bringing together approaches from runtime verification, trust-based decision-making, human-robot interaction (HRI), and hybrid systems, we develop a unified framework that is capable of integrating human cognitive skills with autonomous capabilities of multi-robot systems to improve system performance and maximize the intuitiveness of the human-robot-interaction. On top of the RV framework, we utilize a probabilistic trust inference model as the key component in forming the HRI, designed to maintain the system performance. A violation avoidance controller is designed to account for the unexpected/unmodeled environment behaviors e.g. collision with static/moving obstacles. We also use the automata theoretic approaches to generate motion plans for the quad-rotors working in a partially-known environment by automatic synthesis of controllers enforcing specifications given in temporal logic languages. Finally, we illustrated the effectiveness of this framework as well as its feasibility through a simulated case study.
- Dynamic Systems and Control Division
Trust-Based Runtime Verification for Multi-Quad-Rotor Motion Planning With a Human-in-the-Loop
- Views Icon Views
- Share Icon Share
- Search Site
Mahani, MF, & Wang, Y. "Trust-Based Runtime Verification for Multi-Quad-Rotor Motion Planning With a Human-in-the-Loop." Proceedings of the ASME 2018 Dynamic Systems and Control Conference. Volume 3: Modeling and Validation; Multi-Agent and Networked Systems; Path Planning and Motion Control; Tracking Control Systems; Unmanned Aerial Vehicles (UAVs) and Application; Unmanned Ground and Aerial Vehicles; Vibration in Mechanical Systems; Vibrations and Control of Systems; Vibrations: Modeling, Analysis, and Control. Atlanta, Georgia, USA. September 30–October 3, 2018. V003T32A014. ASME. https://doi.org/10.1115/DSCC2018-9174
Download citation file: