首页 > 最新文献

2019 International Conference on Robotics and Automation (ICRA)最新文献

英文 中文
Online Utility-Optimal Trajectory Design for Time-Varying Ocean Environments 在线效用-时变海洋环境的最优轨迹设计
Pub Date : 2019-05-20 DOI: 10.1109/ICRA.2019.8794365
Mohan Krishna Nutalapati, Shruti Joshi, K. Rajawat
This paper considers the problem of online optimal trajectory design under time-varying environments. Of particular interest is the design of energy-efficient trajectories under strong and uncertain disturbances in ocean environments and time-varying goal location. We formulate the problem within the constrained online convex optimization formalism, and a modified online gradient descent algorithm is motivated. The mobility constraints are met using a carefully chosen stepsize, and the proposed algorithm is shown to incur sublinear regret. Different from the state-of-the-art algorithms that entail planning and re-planning the full trajectory using forecast data at each time instant, the proposed algorithm is entirely online and relies mostly on the current ocean velocity measurements at the vehicle locations. The trade-off between excess delay incurred in reaching the goal and the overall energy consumption is examined via numerical tests carried out on real data obtained from the regional ocean modelling system. As compared to the state-of-the-art algorithms, the proposed algorithm is not only energy-efficient but also several orders of magnitude computationally efficient.
研究时变环境下的在线最优轨迹设计问题。特别感兴趣的是在海洋环境和时变目标位置的强烈和不确定干扰下节能轨迹的设计。我们在有约束的在线凸优化形式中表述了问题,并提出了一种改进的在线梯度下降算法。使用精心选择的步长来满足迁移约束,并且所提出的算法被证明会导致次线性遗憾。与目前最先进的算法不同,该算法需要在每个时刻使用预测数据来规划和重新规划整个轨迹,该算法完全在线,主要依赖于飞行器所在位置的当前海洋速度测量。通过对区域海洋模拟系统获得的实际数据进行数值试验,研究了在达到目标时产生的过多延迟与总体能源消耗之间的权衡。与现有算法相比,该算法不仅节能,而且计算效率提高了几个数量级。
{"title":"Online Utility-Optimal Trajectory Design for Time-Varying Ocean Environments","authors":"Mohan Krishna Nutalapati, Shruti Joshi, K. Rajawat","doi":"10.1109/ICRA.2019.8794365","DOIUrl":"https://doi.org/10.1109/ICRA.2019.8794365","url":null,"abstract":"This paper considers the problem of online optimal trajectory design under time-varying environments. Of particular interest is the design of energy-efficient trajectories under strong and uncertain disturbances in ocean environments and time-varying goal location. We formulate the problem within the constrained online convex optimization formalism, and a modified online gradient descent algorithm is motivated. The mobility constraints are met using a carefully chosen stepsize, and the proposed algorithm is shown to incur sublinear regret. Different from the state-of-the-art algorithms that entail planning and re-planning the full trajectory using forecast data at each time instant, the proposed algorithm is entirely online and relies mostly on the current ocean velocity measurements at the vehicle locations. The trade-off between excess delay incurred in reaching the goal and the overall energy consumption is examined via numerical tests carried out on real data obtained from the regional ocean modelling system. As compared to the state-of-the-art algorithms, the proposed algorithm is not only energy-efficient but also several orders of magnitude computationally efficient.","PeriodicalId":6730,"journal":{"name":"2019 International Conference on Robotics and Automation (ICRA)","volume":"44 1","pages":"6853-6859"},"PeriodicalIF":0.0,"publicationDate":"2019-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73784598","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
A Reconfigurable Variable Stiffness Manipulator by a Sliding Layer Mechanism 基于滑动层机构的可重构变刚度机械臂
Pub Date : 2019-05-20 DOI: 10.1109/ICRA.2019.8793571
D. Li, Zerui Wang, Bo Ouyang, Yunhui Liu
Inherent compliance plays an enabling role in soft robots, which rely on it to mechanically conform to the environment. However, it also limits the payload of the robots. Various variable stiffness approaches have been adopted to limit compliance and provide structural stability, but most of them can only achieve stiffening of discrete fixed regions which means compliance cannot be precisely adjusted for different needs. This paper offers an approach to enhance the payload with finely adjusted compliance for different needs. We have developed a manipulator that incorporates a novel variable stiffness mechanism and a sliding layer mechanism. The variable stiffness mechanism can achieve a 6.4 stiffness changing ratio with a miniaturized size (10mm diameter for the testing prototype) through interlocking jamming layers with a honeycomb core. The sliding layer mechanism can actively shift the position of the stiffening regions through sliding of jamming layers. A model to predict the robot shape is derived with verifications via an experiment. The stiffening capacity of the variable stiffness mechanism is also empirically evaluated. A case study of a potential application in laparoscopic surgeries is showcased. The payload of the manipulator is investigated, and the prototype shows up to 57.8 percentage decrease of the vertical deflection due to an external load after reconfigurations.
在软机器人中,固有顺应性起着赋能作用,软机器人依靠它来机械地顺应环境。然而,这也限制了机器人的有效载荷。各种变刚度方法被用于限制柔度和提供结构稳定性,但大多数方法只能实现离散固定区域的加筋,这意味着无法根据不同的需要精确调整柔度。本文提供了一种增强有效载荷的方法,并根据不同的需求进行微调顺应性。我们开发了一种结合了新型变刚度机构和滑动层机构的机械手。变刚度机构通过蜂窝芯互锁的干扰层,实现了6.4的刚度变化率,且尺寸小型化(试验样机直径为10mm)。滑动层机构可以通过卡层的滑动主动移动加筋区域的位置。建立了机器人形状预测模型,并通过实验进行了验证。对变刚度机构的加筋能力进行了实证评价。一个潜在的应用在腹腔镜手术的案例研究展示。对机械臂的有效载荷进行了研究,结果表明,重构后的机械臂由外载荷引起的垂直挠度降低了57.8%。
{"title":"A Reconfigurable Variable Stiffness Manipulator by a Sliding Layer Mechanism","authors":"D. Li, Zerui Wang, Bo Ouyang, Yunhui Liu","doi":"10.1109/ICRA.2019.8793571","DOIUrl":"https://doi.org/10.1109/ICRA.2019.8793571","url":null,"abstract":"Inherent compliance plays an enabling role in soft robots, which rely on it to mechanically conform to the environment. However, it also limits the payload of the robots. Various variable stiffness approaches have been adopted to limit compliance and provide structural stability, but most of them can only achieve stiffening of discrete fixed regions which means compliance cannot be precisely adjusted for different needs. This paper offers an approach to enhance the payload with finely adjusted compliance for different needs. We have developed a manipulator that incorporates a novel variable stiffness mechanism and a sliding layer mechanism. The variable stiffness mechanism can achieve a 6.4 stiffness changing ratio with a miniaturized size (10mm diameter for the testing prototype) through interlocking jamming layers with a honeycomb core. The sliding layer mechanism can actively shift the position of the stiffening regions through sliding of jamming layers. A model to predict the robot shape is derived with verifications via an experiment. The stiffening capacity of the variable stiffness mechanism is also empirically evaluated. A case study of a potential application in laparoscopic surgeries is showcased. The payload of the manipulator is investigated, and the prototype shows up to 57.8 percentage decrease of the vertical deflection due to an external load after reconfigurations.","PeriodicalId":6730,"journal":{"name":"2019 International Conference on Robotics and Automation (ICRA)","volume":"170 1","pages":"3976-3982"},"PeriodicalIF":0.0,"publicationDate":"2019-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90388100","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}
引用次数: 6
Recursive Integrity Monitoring for Mobile Robot Localization Safety 移动机器人定位安全的递归完整性监测
Pub Date : 2019-05-20 DOI: 10.1109/ICRA.2019.8794115
Guillermo Duenas Arana, O. A. Hafez, M. Joerger, M. Spenko
This paper presents a new methodology to quantify robot localization safety by evaluating integrity risk, a performance metric widely used in open-sky aviation applications that has been recently extended to mobile ground robots. Here, a robot is localized by feeding relative measurements to mapped landmarks into an Extended Kalman Filter while a sequence of innovations is evaluated for fault detection. The main contribution is the derivation of a sequential chi-squared integrity monitoring methodology that maintains constant computation requirements by employing a preceding time window and, at the same time, is robust against faults occurring prior to the window. Additionally, no assumptions are made on either the nature or shape of the faults because safety is evaluated under the worst possible combination of sensor faults.
本文提出了一种通过评估完整性风险来量化机器人定位安全性的新方法,完整性风险是一种广泛应用于开放天空航空应用的性能指标,最近已扩展到移动地面机器人。在这里,通过将映射的地标的相对测量值馈送到扩展卡尔曼滤波器中来定位机器人,同时评估一系列创新以进行故障检测。主要贡献是推导出一种顺序卡方完整性监测方法,该方法通过使用之前的时间窗口来保持恒定的计算需求,同时对在窗口之前发生的故障具有鲁棒性。此外,没有对故障的性质或形状进行假设,因为安全性是在传感器故障的最坏可能组合下评估的。
{"title":"Recursive Integrity Monitoring for Mobile Robot Localization Safety","authors":"Guillermo Duenas Arana, O. A. Hafez, M. Joerger, M. Spenko","doi":"10.1109/ICRA.2019.8794115","DOIUrl":"https://doi.org/10.1109/ICRA.2019.8794115","url":null,"abstract":"This paper presents a new methodology to quantify robot localization safety by evaluating integrity risk, a performance metric widely used in open-sky aviation applications that has been recently extended to mobile ground robots. Here, a robot is localized by feeding relative measurements to mapped landmarks into an Extended Kalman Filter while a sequence of innovations is evaluated for fault detection. The main contribution is the derivation of a sequential chi-squared integrity monitoring methodology that maintains constant computation requirements by employing a preceding time window and, at the same time, is robust against faults occurring prior to the window. Additionally, no assumptions are made on either the nature or shape of the faults because safety is evaluated under the worst possible combination of sensor faults.","PeriodicalId":6730,"journal":{"name":"2019 International Conference on Robotics and Automation (ICRA)","volume":"200 1","pages":"305-311"},"PeriodicalIF":0.0,"publicationDate":"2019-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72836091","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}
引用次数: 18
Sensor-Failure-Resilient Multi-IMU Visual-Inertial Navigation 传感器-故障弹性多imu视觉惯性导航
Pub Date : 2019-05-20 DOI: 10.1109/ICRA.2019.8794295
Kevin Eckenhoff, Patrick Geneva, G. Huang
In this paper, we present a real-time multi-IMU visual-inertial navigation system (mi-VINS) that utilizes the information from multiple inertial measurement units (IMUs) and thus is resilient to IMU sensor failures. In particular, in the proposed mi-VINS formulation, one of the IMUs serves as the “base” of the system, while the rest act as auxiliary sensors aiding in state estimation. A key advantage of this architecture is the ability to seamlessly “promote” an auxiliary IMU as a new base, for example, upon detection of the base IMU failure, thus being resilient to the single point of sensor failure as seen in conventional VINS. Moreover, in order to properly fuse the information of multiple IMUs, both the spatial (relative pose) and temporal (time offset) calibration parameters between each sensor and the base IMU are estimated online. The proposed miVINS with online spatial and temporal calibration is validated in both simulations and real-world experiments, and is shown to be able to provide accurate localization and calibration even in scenarios with IMU sensor failures.
在本文中,我们提出了一种实时多IMU视觉惯性导航系统(mi-VINS),该系统利用了来自多个惯性测量单元(IMU)的信息,因此对IMU传感器故障具有弹性。特别地,在提出的mi-VINS公式中,其中一个imu充当系统的“基础”,而其余的充当辅助传感器,帮助进行状态估计。这种架构的一个关键优势是能够无缝地“提升”辅助IMU作为新的基础,例如,在检测到基础IMU故障时,因此具有传统VINS中所见的单点传感器故障的弹性。此外,为了正确融合多个IMU的信息,在线估计每个传感器与基本IMU之间的空间(相对位姿)和时间(时间偏移)校准参数。在仿真和现实世界的实验中验证了所提出的具有在线时空校准的miVINS,并且证明即使在IMU传感器故障的情况下也能够提供准确的定位和校准。
{"title":"Sensor-Failure-Resilient Multi-IMU Visual-Inertial Navigation","authors":"Kevin Eckenhoff, Patrick Geneva, G. Huang","doi":"10.1109/ICRA.2019.8794295","DOIUrl":"https://doi.org/10.1109/ICRA.2019.8794295","url":null,"abstract":"In this paper, we present a real-time multi-IMU visual-inertial navigation system (mi-VINS) that utilizes the information from multiple inertial measurement units (IMUs) and thus is resilient to IMU sensor failures. In particular, in the proposed mi-VINS formulation, one of the IMUs serves as the “base” of the system, while the rest act as auxiliary sensors aiding in state estimation. A key advantage of this architecture is the ability to seamlessly “promote” an auxiliary IMU as a new base, for example, upon detection of the base IMU failure, thus being resilient to the single point of sensor failure as seen in conventional VINS. Moreover, in order to properly fuse the information of multiple IMUs, both the spatial (relative pose) and temporal (time offset) calibration parameters between each sensor and the base IMU are estimated online. The proposed miVINS with online spatial and temporal calibration is validated in both simulations and real-world experiments, and is shown to be able to provide accurate localization and calibration even in scenarios with IMU sensor failures.","PeriodicalId":6730,"journal":{"name":"2019 International Conference on Robotics and Automation (ICRA)","volume":"49 1","pages":"3542-3548"},"PeriodicalIF":0.0,"publicationDate":"2019-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76791244","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}
引用次数: 23
Robotics Education and Research at Scale: A Remotely Accessible Robotics Development Platform 大规模机器人教育与研究:远程访问机器人开发平台
Pub Date : 2019-05-20 DOI: 10.1109/ICRA.2019.8793976
Wolfgang Wiedmeyer, M. Mende, Dennis Hartmann, R. Bischoff, C. Ledermann, T. Kröger
This paper introduces the KUKA Robot Learning Lab at KIT – a remotely accessible robotics testbed. The motivation behind the laboratory is to make state-of-the-art industrial lightweight robots more accessible for education and research. Such expensive hardware is usually not available to students or less privileged researchers to conduct experiments. This paper describes the design and operation of the Robot Learning Lab and discusses the challenges that one faces when making experimental robot cells remotely accessible. Especially safety and security must be ensured, while giving users as much freedom as possible when developing programs to control the robots. A fully automated and efficient processing pipeline for experiments makes the lab suitable for a large amount of users and allows a high usage rate of the robots.
本文介绍了KIT的KUKA机器人学习实验室——一个可远程访问的机器人测试平台。该实验室背后的动机是使最先进的工业轻型机器人更容易用于教育和研究。这些昂贵的硬件通常无法提供给学生或地位较低的研究人员进行实验。本文描述了机器人学习实验室的设计和操作,并讨论了在远程访问实验机器人单元时所面临的挑战。特别是必须确保安全和安保,同时在开发控制机器人的程序时给予用户尽可能多的自由。全自动化、高效的实验处理流水线,使实验室适合大量用户使用,机器人使用率高。
{"title":"Robotics Education and Research at Scale: A Remotely Accessible Robotics Development Platform","authors":"Wolfgang Wiedmeyer, M. Mende, Dennis Hartmann, R. Bischoff, C. Ledermann, T. Kröger","doi":"10.1109/ICRA.2019.8793976","DOIUrl":"https://doi.org/10.1109/ICRA.2019.8793976","url":null,"abstract":"This paper introduces the KUKA Robot Learning Lab at KIT – a remotely accessible robotics testbed. The motivation behind the laboratory is to make state-of-the-art industrial lightweight robots more accessible for education and research. Such expensive hardware is usually not available to students or less privileged researchers to conduct experiments. This paper describes the design and operation of the Robot Learning Lab and discusses the challenges that one faces when making experimental robot cells remotely accessible. Especially safety and security must be ensured, while giving users as much freedom as possible when developing programs to control the robots. A fully automated and efficient processing pipeline for experiments makes the lab suitable for a large amount of users and allows a high usage rate of the robots.","PeriodicalId":6730,"journal":{"name":"2019 International Conference on Robotics and Automation (ICRA)","volume":"1 1","pages":"3679-3685"},"PeriodicalIF":0.0,"publicationDate":"2019-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88503731","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}
引用次数: 9
Mechanical Framework Design with Experimental Verification of a Wearable Exoskeleton Chair 可穿戴外骨骼椅的机械框架设计与实验验证
Pub Date : 2019-05-20 DOI: 10.1109/ICRA.2019.8794466
Bin Han, Zihao Du, Tiantian Huang, Tao Zhang, Zhiyuan Li, Ou Bai, Xuedong Chen
In this study, a human-chair model was developed as the basis for a wearable chair design. A prototype chair, HUST-EC, was fabricated and evaluated. Employing the optimization under an inner point penalty function, an optimized simulation of the operating mode with the lowest chair height was implemented. The solid models were established by using the finite element analysis program embedded in Solidworks, which revealed that the support from the designed chair was steady to the user. An electromyography (EMG) test platform has been developed, consisting of four EMG sensors, a MATLAB-based acquisition software, and a loaded vest. Four healthy subjects participated in the evaluation experiment, in which EMGs were collected from the muscle groups of rectus femoris, biceps femoris, vastus medialis, and vastus lateralis under different loads and chair angles. The experimental data demonstrate that (1) the HUST-EC can greatly reduce muscle activation at a variety of loads and bending angles; (2) under the same load, the muscle activation decreases slightly with an increased bending angle; and (3) at the same bending angle, muscle activation increases slightly with an increased load. The results show that the designed chair can effectively reduce the physical burden in workers and may improve work efficiency.
在这项研究中,开发了一个人椅模型,作为可穿戴椅子设计的基础。一个原型椅子HUST-EC被制造和评估。利用内点罚函数下的优化,实现了最低椅高运行模式的优化仿真。利用Solidworks中嵌入的有限元分析程序建立实体模型,结果表明设计的椅子对使用者的支撑是稳定的。开发了一个肌电(EMG)测试平台,由四个肌电传感器、基于matlab的采集软件和加载背心组成。4名健康受试者参与评价实验,采集不同负荷和椅角下股直肌、股二头肌、股内侧肌和股外侧肌群的肌电图。实验数据表明:(1)HUST-EC在各种载荷和弯曲角度下都能显著降低肌肉激活;(2)在相同载荷下,随着弯曲角度的增大,肌肉激活度略有降低;(3)在相同弯曲角度下,随着负荷的增加,肌肉激活度略有增加。结果表明,所设计的椅子可以有效减轻工人的身体负担,提高工作效率。
{"title":"Mechanical Framework Design with Experimental Verification of a Wearable Exoskeleton Chair","authors":"Bin Han, Zihao Du, Tiantian Huang, Tao Zhang, Zhiyuan Li, Ou Bai, Xuedong Chen","doi":"10.1109/ICRA.2019.8794466","DOIUrl":"https://doi.org/10.1109/ICRA.2019.8794466","url":null,"abstract":"In this study, a human-chair model was developed as the basis for a wearable chair design. A prototype chair, HUST-EC, was fabricated and evaluated. Employing the optimization under an inner point penalty function, an optimized simulation of the operating mode with the lowest chair height was implemented. The solid models were established by using the finite element analysis program embedded in Solidworks, which revealed that the support from the designed chair was steady to the user. An electromyography (EMG) test platform has been developed, consisting of four EMG sensors, a MATLAB-based acquisition software, and a loaded vest. Four healthy subjects participated in the evaluation experiment, in which EMGs were collected from the muscle groups of rectus femoris, biceps femoris, vastus medialis, and vastus lateralis under different loads and chair angles. The experimental data demonstrate that (1) the HUST-EC can greatly reduce muscle activation at a variety of loads and bending angles; (2) under the same load, the muscle activation decreases slightly with an increased bending angle; and (3) at the same bending angle, muscle activation increases slightly with an increased load. The results show that the designed chair can effectively reduce the physical burden in workers and may improve work efficiency.","PeriodicalId":6730,"journal":{"name":"2019 International Conference on Robotics and Automation (ICRA)","volume":"66 1","pages":"4040-4045"},"PeriodicalIF":0.0,"publicationDate":"2019-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84035925","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
Security-Aware Synthesis of Human-UAV Protocols 人-无人机协议的安全感知综合
Pub Date : 2019-05-20 DOI: 10.1109/ICRA.2019.8794385
Mahmoud Mokhtar Elfar, Haibei Zhu, M. L. Cummings, M. Pajic
In this work, we synthesize collaboration protocols for human-unmanned aerial vehicle (H-UAV) command and control systems, where the human operator aids in securing the UAV by intermittently performing geolocation tasks to confirm its reported location. We first present a stochastic game-based model for the system that accounts for both the operator and an adversary capable of launching stealthy false-data injection attacks, causing the UAV to deviate from its path. We also describe a synthesis challenge due to the UAV’s hidden-information constraint. Next, we perform human experiments using a developed RESCHU-SA testbed to recognize the geolocation strategies that operators adopt. Furthermore, we deploy machine learning techniques on the collected experimental data to predict the correctness of a geolocation task at a given location based on its geographical features. By representing the model as a delayed-action game and formalizing the system objectives, we utilize off-the-shelf model checkers to synthesize protocols for the human-UAV coalition that satisfy these objectives. Finally, we demonstrate the usefulness of the H-UAV protocol synthesis through a case study where the protocols are experimentally analyzed and further evaluated by human operators.
在这项工作中,我们综合了人类无人机(H-UAV)指挥和控制系统的协作协议,其中人类操作员通过间歇性地执行地理定位任务来确认其报告的位置,从而帮助确保无人机的安全。我们首先提出了一个基于随机博弈的系统模型,该模型考虑了操作员和能够发动隐形假数据注入攻击的对手,导致无人机偏离其路径。我们还描述了由于无人机的隐藏信息约束所带来的综合挑战。接下来,我们使用开发的RESCHU-SA测试平台进行人体实验,以识别运营商采用的地理定位策略。此外,我们在收集的实验数据上部署机器学习技术,以根据其地理特征预测给定位置的地理定位任务的正确性。通过将模型表示为延迟行动博弈并形式化系统目标,我们利用现成的模型检查器来合成满足这些目标的人-无人机联盟协议。最后,我们通过一个案例研究证明了H-UAV协议合成的有用性,该案例研究对协议进行了实验分析,并由人类操作员进一步评估。
{"title":"Security-Aware Synthesis of Human-UAV Protocols","authors":"Mahmoud Mokhtar Elfar, Haibei Zhu, M. L. Cummings, M. Pajic","doi":"10.1109/ICRA.2019.8794385","DOIUrl":"https://doi.org/10.1109/ICRA.2019.8794385","url":null,"abstract":"In this work, we synthesize collaboration protocols for human-unmanned aerial vehicle (H-UAV) command and control systems, where the human operator aids in securing the UAV by intermittently performing geolocation tasks to confirm its reported location. We first present a stochastic game-based model for the system that accounts for both the operator and an adversary capable of launching stealthy false-data injection attacks, causing the UAV to deviate from its path. We also describe a synthesis challenge due to the UAV’s hidden-information constraint. Next, we perform human experiments using a developed RESCHU-SA testbed to recognize the geolocation strategies that operators adopt. Furthermore, we deploy machine learning techniques on the collected experimental data to predict the correctness of a geolocation task at a given location based on its geographical features. By representing the model as a delayed-action game and formalizing the system objectives, we utilize off-the-shelf model checkers to synthesize protocols for the human-UAV coalition that satisfy these objectives. Finally, we demonstrate the usefulness of the H-UAV protocol synthesis through a case study where the protocols are experimentally analyzed and further evaluated by human operators.","PeriodicalId":6730,"journal":{"name":"2019 International Conference on Robotics and Automation (ICRA)","volume":"7 1","pages":"8011-8017"},"PeriodicalIF":0.0,"publicationDate":"2019-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91470152","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}
引用次数: 12
Improving Underwater Obstacle Detection using Semantic Image Segmentation 基于语义图像分割的水下障碍物检测改进
Pub Date : 2019-05-20 DOI: 10.1109/ICRA.2019.8793588
B. Arain, C. McCool, P. Rigby, Daniel Cagara, M. Dunbabin
This paper presents two novel approaches for improving image-based underwater obstacle detection by combining sparse stereo point clouds with monocular semantic image segmentation. Generating accurate image-based obstacle maps in cluttered underwater environments, such as coral reefs, are essential for robust robotic path planning and navigation. However, these maps can be challenged by factors including visibility, lighting and dynamic objects (e.g. fish) that may lead to falsely identified free space or dynamic objects which trajectory planners may react to undesirably. We propose combining feature-based stereo matching with learning-based segmentation to produce a more robust obstacle map. This approach considers direct binary learning of the presence or absence of underwater obstacles, as well as a multiclass learning approach to classify their distance (near, mid and far) in the scene. An enhancement to the binary map is also shown by including depth information from sparse stereo matching to produce 3D obstacle maps of the scene. The performance is evaluated using field data collected in cluttered, and at times, visually degraded coral reef environments. The results show improved image-wide obstacle detection, rejection of transient objects (such as fish), and range estimation compared to feature-based sparse and dense stereo point clouds alone.
本文提出了将稀疏立体点云与单目语义图像分割相结合的两种改进基于图像的水下障碍物检测的新方法。在杂乱的水下环境(如珊瑚礁)中生成精确的基于图像的障碍物地图,对于强大的机器人路径规划和导航至关重要。然而,这些地图可能会受到能见度、光照和动态物体(如鱼)等因素的挑战,这些因素可能会导致错误地识别自由空间或动态物体,轨迹规划者可能会对这些物体做出不希望的反应。我们建议将基于特征的立体匹配与基于学习的分割相结合,以产生更鲁棒的障碍图。这种方法考虑了水下障碍物存在与否的直接二元学习,以及对场景中障碍物的距离(近、中、远)进行分类的多类学习方法。通过包含来自稀疏立体匹配的深度信息来生成场景的3D障碍物地图,还显示了对二进制地图的增强。使用在杂乱的,有时是视觉退化的珊瑚礁环境中收集的现场数据来评估性能。结果表明,与单独基于特征的稀疏和密集立体点云相比,该方法在图像范围内的障碍物检测、瞬态物体(如鱼)的抑制和距离估计方面有所改进。
{"title":"Improving Underwater Obstacle Detection using Semantic Image Segmentation","authors":"B. Arain, C. McCool, P. Rigby, Daniel Cagara, M. Dunbabin","doi":"10.1109/ICRA.2019.8793588","DOIUrl":"https://doi.org/10.1109/ICRA.2019.8793588","url":null,"abstract":"This paper presents two novel approaches for improving image-based underwater obstacle detection by combining sparse stereo point clouds with monocular semantic image segmentation. Generating accurate image-based obstacle maps in cluttered underwater environments, such as coral reefs, are essential for robust robotic path planning and navigation. However, these maps can be challenged by factors including visibility, lighting and dynamic objects (e.g. fish) that may lead to falsely identified free space or dynamic objects which trajectory planners may react to undesirably. We propose combining feature-based stereo matching with learning-based segmentation to produce a more robust obstacle map. This approach considers direct binary learning of the presence or absence of underwater obstacles, as well as a multiclass learning approach to classify their distance (near, mid and far) in the scene. An enhancement to the binary map is also shown by including depth information from sparse stereo matching to produce 3D obstacle maps of the scene. The performance is evaluated using field data collected in cluttered, and at times, visually degraded coral reef environments. The results show improved image-wide obstacle detection, rejection of transient objects (such as fish), and range estimation compared to feature-based sparse and dense stereo point clouds alone.","PeriodicalId":6730,"journal":{"name":"2019 International Conference on Robotics and Automation (ICRA)","volume":"20 1","pages":"9271-9277"},"PeriodicalIF":0.0,"publicationDate":"2019-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90510389","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
Uncertainty Estimation for Projecting Lidar Points onto Camera Images for Moving Platforms 移动平台上激光雷达点投影到相机图像上的不确定性估计
Pub Date : 2019-05-20 DOI: 10.1109/ICRA.2019.8794424
Charika De Alvis, Mao Shan, Stewart Worrall, E. Nebot
Combining multiple sensors for advanced perception is a crucial requirement for autonomous vehicle navigation. Heterogeneous sensors are used to obtain rich information about the surrounding environment. The combination of the camera and lidar sensors enables precise range information that can be projected onto the visual image data. This gives a high level understanding of the scene which can be used to enable context based algorithms such as collision avoidance and navigation. The main challenge when combining these sensors is aligning the data into a common domain. This can be difficult due to the errors in the intrinsic calibration of the camera, extrinsic calibration between the camera and the lidar and errors resulting from the motion of the platform. In this paper, we examine the algorithms required to provide motion correction for scanning lidar sensors. The error resulting from the projection of the lidar measurements into a consistent odometry frame is not possible to remove entirely, and as such it is essential to incorporate the uncertainty of this projection when combining the two different sensor frames. This work proposes a novel framework for the prediction of the uncertainty of lidar measurements (in 3D) projected in to the image frame (in 2D) for moving platforms. The proposed approach fuses the uncertainty of the motion correction with uncertainty resulting from errors in the extrinsic and intrinsic calibration. By incorporating the main components of the projection error, the uncertainty of the estimation process is better represented. Experimental results for our motion correction algorithm and the proposed extended uncertainty model are demonstrated using real-world data collected on an electric vehicle equipped with wide-angle cameras covering a 180-degree field of view and a 16-beam scanning lidar.
结合多个传感器进行高级感知是自动驾驶汽车导航的关键要求。异构传感器用于获取有关周围环境的丰富信息。摄像头和激光雷达传感器的结合可以将精确的距离信息投射到视觉图像数据上。这提供了对场景的高层次理解,可用于启用基于上下文的算法,如避免碰撞和导航。组合这些传感器的主要挑战是将数据对齐到一个公共域。由于相机的内在校准误差,相机和激光雷达之间的外在校准误差以及平台运动引起的误差,这可能很困难。在本文中,我们研究了为扫描激光雷达传感器提供运动校正所需的算法。将激光雷达测量结果投影到一致的里程计框架中所产生的误差是不可能完全消除的,因此,在组合两个不同的传感器框架时,必须考虑该投影的不确定性。这项工作提出了一个新的框架,用于预测激光雷达测量(3D)投影到移动平台的图像框架(2D)中的不确定性。该方法将运动校正的不确定性与内外定误差引起的不确定性融合在一起。通过结合投影误差的主要分量,可以更好地表示估计过程的不确定性。我们的运动校正算法和所提出的扩展不确定性模型的实验结果,使用在配备了覆盖180度视场的广角摄像头和16束扫描激光雷达的电动汽车上收集的真实数据进行了演示。
{"title":"Uncertainty Estimation for Projecting Lidar Points onto Camera Images for Moving Platforms","authors":"Charika De Alvis, Mao Shan, Stewart Worrall, E. Nebot","doi":"10.1109/ICRA.2019.8794424","DOIUrl":"https://doi.org/10.1109/ICRA.2019.8794424","url":null,"abstract":"Combining multiple sensors for advanced perception is a crucial requirement for autonomous vehicle navigation. Heterogeneous sensors are used to obtain rich information about the surrounding environment. The combination of the camera and lidar sensors enables precise range information that can be projected onto the visual image data. This gives a high level understanding of the scene which can be used to enable context based algorithms such as collision avoidance and navigation. The main challenge when combining these sensors is aligning the data into a common domain. This can be difficult due to the errors in the intrinsic calibration of the camera, extrinsic calibration between the camera and the lidar and errors resulting from the motion of the platform. In this paper, we examine the algorithms required to provide motion correction for scanning lidar sensors. The error resulting from the projection of the lidar measurements into a consistent odometry frame is not possible to remove entirely, and as such it is essential to incorporate the uncertainty of this projection when combining the two different sensor frames. This work proposes a novel framework for the prediction of the uncertainty of lidar measurements (in 3D) projected in to the image frame (in 2D) for moving platforms. The proposed approach fuses the uncertainty of the motion correction with uncertainty resulting from errors in the extrinsic and intrinsic calibration. By incorporating the main components of the projection error, the uncertainty of the estimation process is better represented. Experimental results for our motion correction algorithm and the proposed extended uncertainty model are demonstrated using real-world data collected on an electric vehicle equipped with wide-angle cameras covering a 180-degree field of view and a 16-beam scanning lidar.","PeriodicalId":6730,"journal":{"name":"2019 International Conference on Robotics and Automation (ICRA)","volume":"21 1","pages":"6637-6643"},"PeriodicalIF":0.0,"publicationDate":"2019-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84838791","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}
引用次数: 6
Automated Models of Human Everyday Activity based on Game and Virtual Reality Technology 基于游戏和虚拟现实技术的人类日常活动自动化模型
Pub Date : 2019-05-20 DOI: 10.1109/ICRA.2019.8793859
Andrei Haidu, M. Beetz
In this paper, we will describe AMEvA (Automated Models of Everyday Activities), a special-purpose knowledge acquisition, interpretation, and processing system for human everyday manipulation activity that can automatically: (1) create and simulate virtual human living and working environments (such as kitchens and apartments) with a scope, extent, level of detail, physics, and close to photorealism that facilitates and promotes the natural and realistic execution of human everyday manipulation activities; (2) record human manipulation activities performed in the respective virtual reality environment as well as their effects on the environment and detect force-dynamic states and events; (3) decompose and segment the recorded activity data into meaningful motions and categorize the motions according to action models used in cognitive science; and (4) represent the interpreted activities symbolically in KNOWROB [1] using a first-order time interval logic representation.
在本文中,我们将描述AMEvA (Automated Models of Everyday Activities),这是一个专门用于人类日常操作活动的知识获取、解释和处理系统,可以自动:(1)创建和模拟虚拟的人类生活和工作环境(如厨房和公寓),其范围,程度,细节水平,物理,接近逼真,促进和促进人类日常操作活动的自然和真实执行;(2)记录在相应的虚拟现实环境中进行的人类操作活动及其对环境的影响,并检测力动态状态和事件;(3)将记录的活动数据分解并分割为有意义的动作,并根据认知科学中的动作模型对动作进行分类;(4)在KNOWROB[1]中使用一阶时间间隔逻辑表示法符号表示被解释的活动。
{"title":"Automated Models of Human Everyday Activity based on Game and Virtual Reality Technology","authors":"Andrei Haidu, M. Beetz","doi":"10.1109/ICRA.2019.8793859","DOIUrl":"https://doi.org/10.1109/ICRA.2019.8793859","url":null,"abstract":"In this paper, we will describe AMEvA (Automated Models of Everyday Activities), a special-purpose knowledge acquisition, interpretation, and processing system for human everyday manipulation activity that can automatically: (1) create and simulate virtual human living and working environments (such as kitchens and apartments) with a scope, extent, level of detail, physics, and close to photorealism that facilitates and promotes the natural and realistic execution of human everyday manipulation activities; (2) record human manipulation activities performed in the respective virtual reality environment as well as their effects on the environment and detect force-dynamic states and events; (3) decompose and segment the recorded activity data into meaningful motions and categorize the motions according to action models used in cognitive science; and (4) represent the interpreted activities symbolically in KNOWROB [1] using a first-order time interval logic representation.","PeriodicalId":6730,"journal":{"name":"2019 International Conference on Robotics and Automation (ICRA)","volume":"38 1","pages":"2606-2612"},"PeriodicalIF":0.0,"publicationDate":"2019-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81350306","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
期刊
2019 International Conference on Robotics and Automation (ICRA)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1