Safety analysis of helicopter models using timed automata hybrid systems

A mini scale helicopter poses complex dynamics and is difficult to control. Compared to its full size counterparts, the model of mini scale helicopter exhibits not only increased sensitivity to control inputs and disturbances, but also higher bandwidth of its dynamics. The transition dynamics between modes can be formulated as a hybrid system. This paper investigates safety analysis of a helicopter model during modes transition using timed automata hybrid systems approach. The investigation is limited to hover and cruise modes in the helicopter model.