跳到正文
热点事件持续更新

符号监督控制架构为学习运动提供形式化认证

1 篇报道1 个报道来源2 小时前更新

先了解这件事

AI 综述

Ashok Kumar 等研究者提出一种符号监督控制架构,用于对基于示例学习的机器人运动做形式化安全认证。该架构自动生成故障安全备份方案,直接从机器人动力学出发认证安全性、可达性与执行器可行性,且独立于所学的动态系统。 架构中,标称控制器跟踪学习到的动态系统,监督控制器监视安全与目标收敛,在标称控制器违反必要约束时进行非保守干预。仿真与真实机器人部署实验覆盖多种 2D 和 3D 数据集(含手写数据集),论文称该方法在复杂动态环境中为学习运动提供了形式化保证。

AI 根据报道生成 · 1 小时前更新

报道时间线

沿着报道,了解事件的不同侧面。

10月15日
  1. arXiv cs.RO 机器人学精选
    Learning from Demonstrations 与符号控制结合的监督控制架构论文

    论文提出一种符号监督控制架构,可自动生成故障安全备份方案,直接从机器人动力学出发认证安全性、可达性与执行器可行性,且独立于所学的动态系统。标称控制器跟踪学习到的动态系统,监督控制器监视安全与目标收敛,在标称控制器违反必要约束时进行非保守干预。实验包含仿真与真实机器人部署,覆盖多种 2D 和 3D 数据集(含手写数据集),验证了该方法在复杂动态环境中为学习运动提供形式化保证的有效性。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。