Ghent University Academic Bibliography

Advanced

Safety analysis of helicopter models using timed automata hybrid

Herman Sutarto UGent, NY Megawati, Salmah, E Joelianto, IE Wijayanti, A Budiyono and Solikhatun (2009) ICICI-BME : 2009 international conference on instrumentation, communication, information technology and biomedical engineering. p.430-434
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.
Please use this url to cite or link to this publication:
author
organization
year
type
conference
publication status
published
subject
keyword
Timed Automata, Safety Analysis, Unmaned Vehicles
in
ICICI-BME : 2009 international conference on instrumentation, communication, information technology and biomedical engineering
pages
430 - 434
publisher
IEEE
place of publication
New Delhi, India
conference name
2009 International conference on Instrumentation, Communication, Information Technology and Biomedical Engineering
conference location
Bandung, Indonesia
conference start
2009-11-23
conference end
2009-11-25
Web of Science type
Proceedings Paper
Web of Science id
000280118800088
ISBN
9781424449996
DOI
10.1109/ICICI-BME.2009.5417220
language
English
UGent publication?
no
classification
P1
copyright statement
I have transferred the copyright for this publication to the publisher
id
1228358
handle
http://hdl.handle.net/1854/LU-1228358
date created
2011-05-20 12:13:00
date last changed
2011-05-23 13:04:44
@inproceedings{1228358,
  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.},
  author       = {Sutarto, Herman and Megawati, NY and Salmah,   and Joelianto, E and Wijayanti, IE and Budiyono, A and Solikhatun,  },
  booktitle    = {ICICI-BME : 2009 international conference on instrumentation, communication, information technology and biomedical engineering},
  isbn         = {9781424449996},
  keyword      = {Timed Automata,Safety Analysis,Unmaned Vehicles},
  language     = {eng},
  location     = {Bandung, Indonesia},
  pages        = {430--434},
  publisher    = {IEEE},
  title        = {Safety analysis of helicopter models using timed automata hybrid},
  url          = {http://dx.doi.org/10.1109/ICICI-BME.2009.5417220},
  year         = {2009},
}

Chicago
Sutarto, Herman, NY Megawati, Salmah, E Joelianto, IE Wijayanti, A Budiyono, and Solikhatun. 2009. “Safety Analysis of Helicopter Models Using Timed Automata Hybrid.” In ICICI-BME : 2009 International Conference on Instrumentation, Communication, Information Technology and Biomedical Engineering, 430–434. New Delhi, India: IEEE.
APA
Sutarto, H., Megawati, N., Salmah, Joelianto, E., Wijayanti, I., Budiyono, A., & Solikhatun. (2009). Safety analysis of helicopter models using timed automata hybrid. ICICI-BME : 2009 international conference on instrumentation, communication, information technology and biomedical engineering (pp. 430–434). Presented at the 2009 International conference on Instrumentation, Communication, Information Technology and Biomedical Engineering, New Delhi, India: IEEE.
Vancouver
1.
Sutarto H, Megawati N, Salmah, Joelianto E, Wijayanti I, Budiyono A, et al. Safety analysis of helicopter models using timed automata hybrid. ICICI-BME : 2009 international conference on instrumentation, communication, information technology and biomedical engineering. New Delhi, India: IEEE; 2009. p. 430–4.
MLA
Sutarto, Herman, NY Megawati, Salmah, et al. “Safety Analysis of Helicopter Models Using Timed Automata Hybrid.” ICICI-BME : 2009 International Conference on Instrumentation, Communication, Information Technology and Biomedical Engineering. New Delhi, India: IEEE, 2009. 430–434. Print.