基于时间自动机混合系统的直升机模型安全性分析

International Conference on Instrumentation, Communication, Information Technology, and Biomedical Engineering 2009 Pub Date : 2009-11-01 DOI:10.1109/ICICI-BME.2009.5417220

H. Sutarto, N. Megawati, Salmah, A. Suparwanto, E. Joelianto, I. E. Wijayanti, A. Budiyono, Solikhatun

{"title":"基于时间自动机混合系统的直升机模型安全性分析","authors":"H. Sutarto, N. Megawati, Salmah, A. Suparwanto, E. Joelianto, I. E. Wijayanti, A. Budiyono, Solikhatun","doi":"10.1109/ICICI-BME.2009.5417220","DOIUrl":null,"url":null,"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.","PeriodicalId":191194,"journal":{"name":"International Conference on Instrumentation, Communication, Information Technology, and Biomedical Engineering 2009","volume":"8 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Safety analysis of helicopter models using timed automata hybrid systems\",\"authors\":\"H. Sutarto, N. Megawati, Salmah, A. Suparwanto, E. Joelianto, I. E. Wijayanti, A. Budiyono, Solikhatun\",\"doi\":\"10.1109/ICICI-BME.2009.5417220\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":191194,\"journal\":{\"name\":\"International Conference on Instrumentation, Communication, Information Technology, and Biomedical Engineering 2009\",\"volume\":\"8 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Conference on Instrumentation, Communication, Information Technology, and Biomedical Engineering 2009\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICICI-BME.2009.5417220\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on Instrumentation, Communication, Information Technology, and Biomedical Engineering 2009","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICICI-BME.2009.5417220","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

小型直升机动力学复杂，控制困难。与全尺寸直升机模型相比，微型直升机模型不仅对控制输入和干扰具有更高的灵敏度，而且具有更高的动力学带宽。模态间的转换动力学可以表示为一个混合系统。本文采用时间自动机混合系统方法研究了直升机模型在模式转换过程中的安全性分析。研究仅限于直升机模型的悬停和巡航模式。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

International Conference on Instrumentation, Communication, Information Technology, and Biomedical Engineering 2009

自引率

0.00%

发文量