State Prediction of Human-in-the-Loop Multi-rotor System with Stochastic Human Behavior Model

Joonwon Choi, Sooyung Byeon, Inseok Hwang

Reachability analysis is a widely used method to analyze the safety of a Human-in-the-Loop Cyber Physical System (HiLCPS). This strategy allows the HiLCPS to respond against an imm…