基于实时UML/MARTE和混合自动机的面向对象模型实现工业混合动态系统

N. Van Hien, Ngo Van He
{"title":"基于实时UML/MARTE和混合自动机的面向对象模型实现工业混合动态系统","authors":"N. Van Hien, Ngo Van He","doi":"10.1109/NICS56915.2022.10013391","DOIUrl":null,"url":null,"abstract":"In this paper, we present a hybrid control design, which is followed up by the Real-Time Unified Modeling Language (UML) and MARTE, in combination with hybrid automata to intensively deploy controllers of industrial Hybrid Dynamic Systems (HDS). The paper shows out step-by-step the specification of an industrial HDS modeled by the specialization of hybrid automata to capture the control requirements. The design artifacts of industrial HDS are then carried out by specializing the Real-Time UML/MARTE that allow finding out quickly the main control capsules, their ports and communication protocols, in order to precisely model and closely allocate control structures and dynamic behaviors for implementing controllers of systems. The important realization hypotheses of timing concurrency are next shown out that permit the designed capsules to perform the control evolutions for HDS applications. Finally, this proposed model is applied to develop a horizontal planar trajectory-tracking controller of a low-cost turtle-shaped autonomous underwater vehicle.","PeriodicalId":381028,"journal":{"name":"2022 9th NAFOSTED Conference on Information and Computer Science (NICS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"An Object-Oriented Model Based on the Specialization of Real-Time UML/MARTE and Hybrid Automata to Realize Industrial Hybrid Dynamic Systems\",\"authors\":\"N. Van Hien, Ngo Van He\",\"doi\":\"10.1109/NICS56915.2022.10013391\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, we present a hybrid control design, which is followed up by the Real-Time Unified Modeling Language (UML) and MARTE, in combination with hybrid automata to intensively deploy controllers of industrial Hybrid Dynamic Systems (HDS). The paper shows out step-by-step the specification of an industrial HDS modeled by the specialization of hybrid automata to capture the control requirements. The design artifacts of industrial HDS are then carried out by specializing the Real-Time UML/MARTE that allow finding out quickly the main control capsules, their ports and communication protocols, in order to precisely model and closely allocate control structures and dynamic behaviors for implementing controllers of systems. The important realization hypotheses of timing concurrency are next shown out that permit the designed capsules to perform the control evolutions for HDS applications. Finally, this proposed model is applied to develop a horizontal planar trajectory-tracking controller of a low-cost turtle-shaped autonomous underwater vehicle.\",\"PeriodicalId\":381028,\"journal\":{\"name\":\"2022 9th NAFOSTED Conference on Information and Computer Science (NICS)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-10-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2022 9th NAFOSTED Conference on Information and Computer Science (NICS)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/NICS56915.2022.10013391\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2022 9th NAFOSTED Conference on Information and Computer Science (NICS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/NICS56915.2022.10013391","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

摘要

在本文中,我们提出了一种混合控制设计,随后采用实时统一建模语言(UML)和MARTE,结合混合自动机来集中部署工业混合动态系统(HDS)的控制器。本文给出了一个由混合自动机专门化建模的工业HDS的规范,以捕获控制需求。工业HDS的设计工件然后通过专门的实时UML/MARTE来执行,它允许快速找到主要的控制胶囊,它们的端口和通信协议,以便精确地建模和紧密分配控制结构和动态行为,以实现系统的控制器。接下来,给出了时间并发的重要实现假设,这些假设允许设计的胶囊执行HDS应用程序的控制演化。最后,应用该模型开发了一种低成本龟形自主水下航行器的水平平面轨迹跟踪控制器。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
An Object-Oriented Model Based on the Specialization of Real-Time UML/MARTE and Hybrid Automata to Realize Industrial Hybrid Dynamic Systems
In this paper, we present a hybrid control design, which is followed up by the Real-Time Unified Modeling Language (UML) and MARTE, in combination with hybrid automata to intensively deploy controllers of industrial Hybrid Dynamic Systems (HDS). The paper shows out step-by-step the specification of an industrial HDS modeled by the specialization of hybrid automata to capture the control requirements. The design artifacts of industrial HDS are then carried out by specializing the Real-Time UML/MARTE that allow finding out quickly the main control capsules, their ports and communication protocols, in order to precisely model and closely allocate control structures and dynamic behaviors for implementing controllers of systems. The important realization hypotheses of timing concurrency are next shown out that permit the designed capsules to perform the control evolutions for HDS applications. Finally, this proposed model is applied to develop a horizontal planar trajectory-tracking controller of a low-cost turtle-shaped autonomous underwater vehicle.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信