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

fYear

2009

fDate

23-25 Nov. 2009

Firstpage

1

Lastpage

5

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICICI-BME.2009.5417220

Filename

5417220