Abstract

Reachability analysis is a widely used method to analyze the safety of a Human-in-the-Loop Cyber Physical System (HiLCPS). It allows the HiLCPS to respond against an imminent threat in advance by predicting reachable states of the system. However, it could lead to an unnecessarily conservative reachable set if the prediction only relies on the system dynamics without explicitly considering human behavior, and thus the risk might be overestimated. To avoid the conservativeness, we present a state probability distribution function (pdf) prediction method which takes into account a stochastic human behavior model represented as a Gaussian Mixture Model (GMM). In this paper, we focus on the multi-rotor controlled by a human operator in a near-collision situation. The stochastic human behavior model is trained using experimental data to represent the human operators’ evasive maneuver. Then, we can retrieve a human control input pdf from the trained stochastic human behavior model using the Gaussian Mixture Regression (GMR). The proposed algorithm predicts the multi-rotor's future state pdf by propagating the pdf of the retrieved human control input according to the given dynamics, which yields closed-loop analysis of the HiLCPS. Human subject experiment results are provided to demonstrate the effectiveness of the proposed algorithm.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.