机器人协作与重构的模型驱动结构与统计检验

MORSE '16 Pub Date : 2016-07-01 DOI:10.1145/3022099.3022102

F. Saglietti, Matthias Meitner

{"title":"机器人协作与重构的模型驱动结构与统计检验","authors":"F. Saglietti, Matthias Meitner","doi":"10.1145/3022099.3022102","DOIUrl":null,"url":null,"abstract":"This article proposes a model-based approach to structural and statistical testing of cooperating and reconfigurable autonomous robots. Based on Coloured Petri Net models of cooperative behaviour, it summarizes the main results achieved in the context of two European ARTEMIS projects. As an example, a CPN model of autonomous and reconfigurable trolleys moving within a common environment is considered. The results allow for both a qualitative and a quantitative reliability analysis.","PeriodicalId":361389,"journal":{"name":"MORSE '16","volume":"132 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration\",\"authors\":\"F. Saglietti, Matthias Meitner\",\"doi\":\"10.1145/3022099.3022102\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This article proposes a model-based approach to structural and statistical testing of cooperating and reconfigurable autonomous robots. Based on Coloured Petri Net models of cooperative behaviour, it summarizes the main results achieved in the context of two European ARTEMIS projects. As an example, a CPN model of autonomous and reconfigurable trolleys moving within a common environment is considered. The results allow for both a qualitative and a quantitative reliability analysis.\",\"PeriodicalId\":361389,\"journal\":{\"name\":\"MORSE '16\",\"volume\":\"132 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-07-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"MORSE '16\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3022099.3022102\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"MORSE '16","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3022099.3022102","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

本文提出了一种基于模型的协作和可重构自主机器人的结构和统计测试方法。基于合作行为的彩色Petri网模型，它总结了在两个欧洲ARTEMIS项目的背景下取得的主要成果。作为一个例子，考虑了在公共环境中移动的自主和可重构小车的CPN模型。结果允许进行定性和定量可靠性分析。

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

查看原文本刊更多论文

Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration

This article proposes a model-based approach to structural and statistical testing of cooperating and reconfigurable autonomous robots. Based on Coloured Petri Net models of cooperative behaviour, it summarizes the main results achieved in the context of two European ARTEMIS projects. As an example, a CPN model of autonomous and reconfigurable trolleys moving within a common environment is considered. The results allow for both a qualitative and a quantitative reliability analysis.

求助全文

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

来源期刊

MORSE '16

自引率

0.00%

发文量