arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2201.00932cs.ROcs.SYeess.SY
收藏

带证书的学习安全、可泛化的基于感知的混合控制

Learning Safe, Generalizable Perception-based Hybrid Control with Certificates

MIT(麻省理工学院)

Charles Dawson, Bethany Lowenkamp, Dylan Goff, Chuchu Fan

摘要:

许多机器人任务需要摄像头和激光雷达等高维传感器来导航复杂的环境,但围绕这些传感器开发可证明安全的反馈控制器仍然是一个具有挑战性的开放问题,特别是当涉及学习时。以往的工作已经证明了安全的感知反馈控制器分离的感知和控制子系统,并作出强有力的假设的感知子系统的能力。在这项工作中,我们介绍了一种新的学习使能的感知反馈混合控制器,在那里我们使用控制障碍函数(CBFs)和控制李雅普诺夫函数(CLFs),以显示一个全栈感知反馈控制器的安全性和活性。我们使用神经网络直接在机器人的观测空间中学习全栈系统的CBF和CLF,而不需要假设单独的基于感知的状态估计器。我们的混合控制器,称为LOCUS(学习启用观察-使用切换的反馈控制),可以安全地导航未知环境,始终达到其目标,并安全地推广到训练数据集之外的环境。我们在仿真和硬件实验中展示了LOCUS,它使用激光雷达传感器的反馈成功地导航了不断变化的环境。

英文摘要:

Many robotic tasks require high-dimensional sensors such as cameras and Lidar to navigate complex environments, but developing certifiably safe feedback controllers around these sensors remains a challenging open problem, particularly when learning is involved. Previous works have proved the safety of perception-feedback controllers by separating the perception and control subsystems and making strong assumptions on the abilities of the perception subsystem. In this work, we introduce a novel learning-enabled perception-feedback hybrid controller, where we use Control Barrier Functions (CBFs) and Control Lyapunov Functions (CLFs) to show the safety and liveness of a full-stack perception-feedback controller. We use neural networks to learn a CBF and CLF for the full-stack system directly in the observation space of the robot, without the need to assume a separate perception-based state estimator. Our hybrid controller, called LOCUS (Learning-enabled Observation-feedback Control Using Switching), can safely navigate unknown environments, consistently reach its goal, and generalizes safely to environments outside of the training dataset. We demonstrate LOCUS in experiments both in simulation and in hardware, where it successfully navigates a changing environment using feedback from a Lidar sensor.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑