发布求助
文献互助 智能选刊 最新文献

Simulation, Modeling, and Programming for Autonomous Robots最新文献

筛选
英文 中文
Automatic Verification of Autonomous Robot Missions 自主机器人任务的自动验证
Simulation, Modeling, and Programming for Autonomous Robots Pub Date : 2014-10-20 DOI: 10.1007/978-3-319-11900-7_39
M. O'Brien, R. Arkin, D. Harrington, D. Lyons, Shu Jiang
{"title":"Automatic Verification of Autonomous Robot Missions","authors":"M. O'Brien, R. Arkin, D. Harrington, D. Lyons, Shu Jiang","doi":"10.1007/978-3-319-11900-7_39","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_39","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124911741","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 29
On the Benefits of Component-Defined Real-Time Visualization of Robotics Software 论机器人软件组件定义实时可视化的好处
Simulation, Modeling, and Programming for Autonomous Robots Pub Date : 2014-10-20 DOI: 10.1007/978-3-319-11900-7_32
M. Reichardt, Gregor Zolynski, M. Arndt, K. Berns
{"title":"On the Benefits of Component-Defined Real-Time Visualization of Robotics Software","authors":"M. Reichardt, Gregor Zolynski, M. Arndt, K. Berns","doi":"10.1007/978-3-319-11900-7_32","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_32","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126322018","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A Survey on Domain-Specific Languages in Robotics 机器人领域特定语言研究综述
Simulation, Modeling, and Programming for Autonomous Robots Pub Date : 2014-10-20 DOI: 10.1007/978-3-319-11900-7_17
Arne Nordmann, N. Hochgeschwender, S. Wrede
{"title":"A Survey on Domain-Specific Languages in Robotics","authors":"Arne Nordmann, N. Hochgeschwender, S. Wrede","doi":"10.1007/978-3-319-11900-7_17","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_17","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131312507","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 79
Simulation and HRI Recent Perspectives with the MORSE Simulator 模拟和HRI最近的观点与莫尔斯模拟器
Simulation, Modeling, and Programming for Autonomous Robots Pub Date : 2014-10-20 DOI: 10.1007/978-3-319-11900-7_2
Séverin Lemaignan, Marc Hanheide, Michael Karg, Harmish Khambhaita, Lars Kunze, Florian Lier, I. Lütkebohle, Grégoire Milliez
{"title":"Simulation and HRI Recent Perspectives with the MORSE Simulator","authors":"Séverin Lemaignan, Marc Hanheide, Michael Karg, Harmish Khambhaita, Lars Kunze, Florian Lier, I. Lütkebohle, Grégoire Milliez","doi":"10.1007/978-3-319-11900-7_2","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_2","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124435614","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
A Simulation Based Architecture for the Development of an Autonomous All Terrain Vehicle 基于仿真的自主全地形车开发体系结构
Simulation, Modeling, and Programming for Autonomous Robots Pub Date : 2014-10-20 DOI: 10.1007/978-3-319-11900-7_7
G. Bardaro, D. Cucci, L. Bascetta, M. Matteucci
{"title":"A Simulation Based Architecture for the Development of an Autonomous All Terrain Vehicle","authors":"G. Bardaro, D. Cucci, L. Bascetta, M. Matteucci","doi":"10.1007/978-3-319-11900-7_7","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_7","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124410690","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Applying Simulation and a Domain-Specific Language for an Adaptive Action Library 在自适应动作库中应用仿真和领域特定语言
Simulation, Modeling, and Programming for Autonomous Robots Pub Date : 2014-10-20 DOI: 10.1007/978-3-319-11900-7_8
Jacob Pørksen Buch, Johan Sund Laursen, Lars Carøe Sørensen, Lars-Peter Ellekilde, D. Kraft, U. Schultz, H. G. Petersen
{"title":"Applying Simulation and a Domain-Specific Language for an Adaptive Action Library","authors":"Jacob Pørksen Buch, Johan Sund Laursen, Lars Carøe Sørensen, Lars-Peter Ellekilde, D. Kraft, U. Schultz, H. G. Petersen","doi":"10.1007/978-3-319-11900-7_8","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_8","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"2015 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134039223","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Structured Design and Development of Domain-Specific Languages in Robotics 机器人领域特定语言的结构化设计与开发
Simulation, Modeling, and Programming for Autonomous Robots Pub Date : 2014-10-20 DOI: 10.1007/978-3-319-11900-7_20
Sven Schneider, N. Hochgeschwender, G. Kraetzschmar
{"title":"Structured Design and Development of Domain-Specific Languages in Robotics","authors":"Sven Schneider, N. Hochgeschwender, G. Kraetzschmar","doi":"10.1007/978-3-319-11900-7_20","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_20","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126962485","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Handling of Asynchronous Data Flow in Robot Perception Subsystems 机器人感知子系统中的异步数据流处理
Simulation, Modeling, and Programming for Autonomous Robots Pub Date : 2014-10-20 DOI: 10.1007/978-3-319-11900-7_43
M. Stefanczyk, Tomasz Kornuta
{"title":"Handling of Asynchronous Data Flow in Robot Perception Subsystems","authors":"M. Stefanczyk, Tomasz Kornuta","doi":"10.1007/978-3-319-11900-7_43","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_43","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121878687","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Making Time Make Sense in Robotic Simulation 让时间在机器人仿真中有意义
Simulation, Modeling, and Programming for Autonomous Robots Pub Date : 2014-10-20 DOI: 10.1007/978-3-319-11900-7_1
James R. Taylor, Evan Drumwright, Gabriel Parmer
{"title":"Making Time Make Sense in Robotic Simulation","authors":"James R. Taylor, Evan Drumwright, Gabriel Parmer","doi":"10.1007/978-3-319-11900-7_1","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_1","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130263364","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Optimizing Robotic Team Performance with Probabilistic Model Checking 基于概率模型检验的机器人团队绩效优化
Simulation, Modeling, and Programming for Autonomous Robots Pub Date : 2014-10-20 DOI: 10.1007/978-3-319-11900-7_12
S. Chaki, J. Giampapa, David Kyle, J. Lehoczky
{"title":"Optimizing Robotic Team Performance with Probabilistic Model Checking","authors":"S. Chaki, J. Giampapa, David Kyle, J. Lehoczky","doi":"10.1007/978-3-319-11900-7_12","DOIUrl":"https://doi.org/10.1007/978-3-319-11900-7_12","url":null,"abstract":"","PeriodicalId":119241,"journal":{"name":"Simulation, Modeling, and Programming for Autonomous Robots","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127722733","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信