引文输出
出版物
保存此搜索
研究论文 异构代理的高级协作任务规划语法和执行 我们提出了一种新的多代理任务语法，用于为具有重叠功能的异构代理团队编码协作任务。 语法允许用户指定代理和任务部分之间的关系，而无需提供。。。 研究论文 基于线性时间逻辑的反应性高级任务的物理可行修复 创建复杂机器人行为的典型方法是组合原子控制器或技能，以便生成的行为满足高级任务； 然而，当一项任务不能用一套给定的技能完成时，很难。。。 研究论文 符号几何动作抽象的反例引导修复 集成任务和运动规划（TMP）为解决具有复杂符号和几何约束的机器人规划问题提供了一类有前途的方法。 然而，TMP规划人员依赖于难以构建机器人动作的抽象模型。。。 研究论文 使用学习的抽象表示自动编码和修复反应性高级任务 我们提出了一个用于高级任务的自动编码和修复的框架。 给定机器人可以执行的一组技能，我们的方法首先将传感器数据抽象为符号，然后自动以线性时间编码机器人的能力。。。 短纸 机器人在野外问路的教训 在人类空间中操作的机器人需要能够与人交流。 了解人类和机器人如何就周围的共享空间进行交流，使我们能够建造能够与他人进行流畅互动的机器人。 我们进行了实地研究。。。 研究论文 勉强还是等待？ : 紧急情况下疏散不合规用户的自动合成机器人策略 机器人具有协助紧急疏散任务的潜力，但尚不清楚机器人应如何疏散不完全服从命令的人员，可能是由于恐慌或紧急情况下的其他优先事项。 在本文中，我们比较了两个机器人。。。 研究论文 带反馈的定时控制器，用于人-机器人交接 2022年IEEE第31届机器人与人类交互通信国际会议（RO-MAN） • 2022年8月，第1313-1320页 • https://doi.org/10.109/RO-MAN53752.2022.9900856 我们开发并评估了两个人机交互控制器，允许最终用户指定机器人到达运动的时间参数，并在机器人无法满足这些约束时提供反馈。 带反馈的最终用户调整非常有用。。。 研究论文 异构机器人时序逻辑规范的自动任务更新 给定一组执行线性时序逻辑表示的复杂任务的异构机器人，以及该组的一组新任务，我们定义了任务更新问题，并提出了一个自动更新给定机器人任务的框架。。。 研究论文 具有信号时序逻辑规范的随机系统概率检验的椭圆切片抽样 自主机器人通常在其决策和控制回路中加入复杂的传感器。 这些传感器，如相机和激光雷达，在传感方面存在缺陷，并受到环境条件的影响。 在本文中，我们提出。。。 研究论文 基于反应式高级规范的机器人集群分布式控制 本文提出了一种分布式策略，用于自动合成机器人群的控制，以实现反应性的高级编队任务。 在我们的框架中，用户指定基于编队和位置的群任务，这可能会。。。 研究论文 同伦驱动的利用符号探索人造空间 如今，部署在机场、商场和体育场的机器人需要专家监督、预先提供的地图和基础设施。 这些系统是根据其特定的部署空间设计的，在很大程度上依赖于几何地图进行运动规划。 在这项工作中。。。 研究论文 未知环境中临时扩展任务的学习与规划 我们提出了一种新的规划技术，用于在部分显示的环境中满足时序逻辑中指定的任务。 我们定义源于环境和给定任务本身的高级操作，并估计每个操作如何有助于。。。 研究论文 珠宝 : 合成社交机器人行为以实现个性化神经康复及其他 JESSIE是一个机器人系统，它使初学者能够通过表达高级规范来编程社交机器人。 我们使用带有有形前端的控制合成，允许用户定义我们自动执行的复杂行为。。。 研究论文 指定和合成人-机器人交接 我们提出了一种用于人机交互的控制器，该控制器是根据信号时序逻辑（STL）的高级规范自动合成的。 与现有控制器相比，该方法可以对每个控制器的时间安排提供形式上的保证。。。 研究论文 反应式软机器人的弹性任务规划与执行 软机器人利用柔性材料来执行刚体系统通常无法实现的运动和行为。 这些材料和软致动器制造方法已用于制造多步态行走软机器人。 然而，软。。。 研究论文 基于SMT的社交导航控制与反馈 本文结合形式化方法和人机交互（HRI）技术，解决了机器人与人行走的挑战，同时保持社会可接受的距离并避免碰撞。 我们制定了一套关于…的约束条件。。。 研究论文 基于任务的Ad-hoc模块化机械手设计 模块化机器人的最大希望是能够创建随需应变的机器人； 但是，选择“； 右侧”； 基于任务的设计仍然是一个具有挑战性的问题。 在本文中，我们提出了一种自动综合这两种方法。。。 文章 使用模块化机器人完成高级任务 模块化自配置机器人系统的优势在于其灵活性，但只有为给定任务选择合适的配置（形状）和行为（控制程序），才能实现这一优势。 在本文中，我们。。。
