Title :
Safety analysis of helicopter models using timed automata hybrid systems
Author :
Sutarto, H.Y. ; Megawati, N.Y. ; Salmah ; Suparwanto, A. ; Joelianto, E. ; Wijayanti, I.E. ; Budiyono, A. ; Solikhatun
Author_Institution :
Bandung Inst. of Technol., Bandung, Indonesia
Abstract :
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.
Keywords :
aerospace robotics; aerospace safety; automata theory; helicopters; mobile robots; nonlinear control systems; position control; remotely operated vehicles; robot dynamics; vehicle dynamics; cruise mode; helicopter models; hover mode; miniscale helicopter; modes transition; safety analysis; timed automata hybrid systems approach; transition dynamics; Aerodynamics; Automata; Automatic control; Control system synthesis; Equations; Helicopters; Safety; Switched systems; Switches; Vehicle dynamics; autonomous aerial vehicles; hybrid systems; safety analysis; switching systems; timed automata;
Conference_Titel :
Instrumentation, Communications, Information Technology, and Biomedical Engineering (ICICI-BME), 2009 International Conference on
Conference_Location :
Bandung
Print_ISBN :
978-1-4244-4999-6
Electronic_ISBN :
978-1-4244-5000-8
DOI :
10.1109/ICICI-BME.2009.5417220
