导航:EXPO21XX>自动化21 xx>H05:大学和机器人研究伊利诺伊大学芝加哥分校
伊利诺伊大学芝加哥分校
视频
载入播放器…
  • 提供配置文件
  • 欢迎来到伊利诺伊大学芝加哥分校机器人实验室!机器人实验室位于工程学院计算机科学系和电子与计算机工程系,是一个专门从事机器人理论和应用研究的研究机构。它的使命是为对科学和工程之间的协同作用感兴趣的学生和研究人员提供一个多学科的环境。目前的研究活动范围从设计人机交互的接口到机器人系统安全监测的形式化方法。
产品组合
  • 无线传感器网络

  • 世界人口正以越来越快的速度老龄化。有必要开发支持老年人独立运作的技术,使他们能够继续生活在社区中,尽可能长时间地推迟向机构环境中生活的过渡——这一运动被称为就地老化。辅助机器人在这方面大有前途。然而,机器人助手广泛使用的主要障碍之一是缺乏足够的接口:老年人应该能够自然地与机器人交流,类似于他/她与人类护理人员交流的方式。因此,如果机器人要协助进行日常活动,它需要响应所有类型的用户输入。我们假设,除了语言、手势和视觉等已经确立的交流方式外,物理交互——直接或间接(通过机器人和用户持有的物体)接触期间的双向力交换——也发挥着重要作用,应该研究以开发有效的机器人界面。多模态接口不仅使通信更好,通过在模态之间共享信息,不需要为每个单独的模态提供高度精确的接口。

    信息物理系统的正确运行至关重要。这在诸如医疗、汽车和许多其他应用的安全关键系统的情况下更是如此。由于正确性的验证在一般情况下是不可行的,而且测试也不是穷尽无遗的,因此在系统运行过程中监控这些系统并检测要采取的错误行为是至关重要的。

    研究了当系统状态不是完全可观察的、系统行为是随机的、被监视特性是在系统轨迹上指定的情况下的监视技术。从理论上定义了可监视性和强可监视性两个概念,并给出了表征它们的充要条件。提出了将系统建模为随机混合自动机,并将其属性指定为安全自动机或活性自动机时的一般监控技术,状态估计是监控的另一个关键步骤,因为属性定义在系统行为上,而系统行为是隐藏的和部分可观察的。该混合状态框架采用Rao-Blackwellised粒子滤波。

    当用一组传感器探测一个标量油田时,例如,在墨西哥湾的石油泄漏集中区,在感兴趣的区域将它们部署在哪里总是一个问题。总的来说,传感器的部署满足了我们的需求,比如覆盖整个感兴趣的区域。
    在我们的项目中,我们需要更多的传感器来覆盖该部分的信息量比其他部分高的部分。因此,我们需要为感兴趣区域上的每个点建立一个索引,以量化信息密度。在我们的研究中,我们发现曲率是一个很好的选择来量化场的信息密度。根据定义,曲面的曲率描述了曲面偏离平面的程度。在某一点上,曲率越高,表面弯曲越剧烈。因此,该点的信息密度越高。由于曲率是场的函数,也就是说,它不能直接从传感器读取,我们从近似场的样条来估计它。此外,所有传感器都是移动传感器。因此,一个循序渐进的运动算法应该嵌入驱动它们到一个最佳的传感配置,这意味着在每个传感器的责任区域内,曲率的积分,即信息的量,应该是相同的。
    如果有一个收集传感器读数和所有传感器节点位置的中央服务器,那么很容易达到最佳部署。尽管如此,我们还是希望我们的任务是分布式的,这样更具挑战性。在我们的问题设置中,我们假设没有中央服务器,每个传感器节点仅根据其即时邻居提供的信息来决定移动到哪里。
    所以,对我们来说有两个关键问题。第一个是如何用样条来近似场。一旦我们知道了场,我们就可以通过场来计算曲率。第二种是基于局部信息,每个传感器应该移动以实现全局优化部署。

  • 关键网络物理系统安全监控技术

  • CPS是一个新兴的研究领域,涵盖了广泛的相关学科,具有不同的方法、方法、工具和实验平台。这个项目正在研究这个广泛领域中的一个分支:监控。现代工程系统的复杂性日益增加,对计算的依赖日益增加,需要新的方法来保证它们的正确运行。这对汽车系统尤其重要,因为汽车系统的故障可能会带来灾难性的后果。确保复杂系统正确性的一种方法是彻底测试和/或验证它。虽然测试可以增加组件的可信度,但它不能保证正确性。另一方面,验证可以保证正确性,但它根本就不可行,例如,对于一辆拥有先进发动机控制和众多联网微处理器的汽车来说。在其他情况下,组件可能在一个不准确的模型上进行正确性验证。更重要的是,即使通过验证发现组件有缺陷,如果不正确的行为很少发生,我们可能仍然想使用它。
    组件行为的运行时监视是一种补充测试和验证的方法。它可以为系统的运行提供另一层安全保障。监视器观察组件的输入和输出,并检查系统的行为是否与预期的行为一致。如果可以开发出故障安全关闭程序,则监视器可以特别有用,这对于国外的系统来说是正确的。我们建议将监控设计与系统设计分离,由不同的设计人员在系统设计之后执行。监视器的基本优点是,原则上易于设计和实现,而且从根本上不限制组件的设计。这种两层方法确保了由于潜在的错误组件设计而导致的不正确行为被监视器检测到并采取行动。
    • 研究的焦点

    • 该项目进行研究,以确保安全关键网络物理系统的正确功能。这是通过在运行时监视系统的操作来实现的。这一问题具有挑战性,因为被监视的正确性属性是根据监视者不能直接观察到的系统状态随时间的演变而指定的;此外,系统的演化具有概率性。系统演化的概率或随机性是由于传感器噪声引入的不确定性或由于其他不可预测的事件,如部件故障,以概率建模。监视器的输入是系统产生的输出。这些可能包括一些传感器输出。通过使用这些输入,监视器需要决定系统执行是否正确。

      到目前为止,该项目引入了两个模型,用于指定此类网络物理系统的语义。第一个模型是隐马尔可夫系统,将系统的状态建模为量化后的离散状态。对于这样的系统,被监视的属性是由无限字符串上的自动机指定的。我们定义了给定监视器的两个精度度量——接受精度和拒绝精度。准确率分别捕获误报和漏报的百分比。利用这些概念,我们定义了两个概念,称为强可监视性和可监视性。当一个系统具有强可监视性时,我们给出了精确的描述。基于这些概念,我们开发了当被监视系统由一个概率混合自动机指定和被监视属性由一个确定性混合自动机给出时的监视技术。给出了一种利用积自动机和粒子滤波器估计概率的监测方法。这些监控技术是用Matlab实现的,在一些例子中已经证明是有效的

    • 目前的结果

    • 到目前为止,我们已经给出了一个系统在什么情况下对属性是可监视的,以及在什么情况下对属性是强监视的准确描述。当一个系统相对于一个属性是可监视的情况下,我们已经开发了监视技术,可以获得接近1的任意高的精度级别。这些技术得到了实现,并通过一些例子证明了其有效性。为了实现监测,我们开发了基于粒子滤波的混合系统估计技术。粒子滤波由于其高度非线性(离散跳跃演化),在状态估计中显示出其优势。由于实验系统有几百万个高维混合态,因此通过rao - blackwelliization,可以在重采样时降低维数,以更少的粒子获得更高的精度,并且对连续变量使用卡尔曼滤波,以获得更好的性能。
    • 未来的工作

    • 基于我们目前的发现,我们将执行一些改进的新想法:
      • 开发基于成本的优化监测器指标;
      • 开发基于部分可观察马尔可夫决策过程(pomdp)的技术,以生成监控安全性和活性特性的最佳策略,并研究不同的奖励结构对监控准确性的影响;
      • 基于期望值的财产自动机监控技术研究。
  • 资源

    • 实验室有5个Windows工作站,2个Linux工作站和1台Mac机器。它配备了一个关于机器人的书籍和期刊图书馆。它有独立的研究生办公室,一个会议室和一个午餐室。网络功能包括连接到伊利诺伊大学的网络基础设施。其他设施包括复印机、打印机、冰箱、电话等。该实验室还与计算机科学系的电子可视化实验室和机械与工业工程系的虚拟现实实验室密切合作,并可以使用它们的资源
    • 机器人实验室有两个统一PUMA 560 Mark II机械手,它们构成了我们希望解决的各种问题的控制环境的核心。虽然大约20岁,他们在良好的工作条件。PUMA 560在外形和性能上与人的手臂相似。每个部件都与其他部件机械相连,可以绕轴旋转。该机械手具有6个转动自由度,使其能够在工作空间内实现完全灵巧,即以任意方向到达工作空间内的任何点。每个电机轴都耦合一个增量正交编码器,用于跟踪电机轴的角位置的变化,并允许知道相应的链接的角位置。驱动主要接头(1、2和3)的电机配有电磁制动器,一旦启动,就不允许轴旋转。刹车是并联的,不能单独控制。通过持续施加足够的电压(实验设定为30v)来释放刹车。相反,它们通过去除这样的电压而啮合。 To control the brakes, solid-state relays are used, which is mounted inside the power supply cabinets. This setup fulfills the safety requirement, as the brakes are automatically engaged if the power supply is turned on , independently from the logic state of the input. We have removed from the manipulator bases the no-longer-used button which was provided to manually release the brakes in the original control environment.
    • 控制器的任务是计算被控系统的运动,并产生相应的控制信号发送到功率放大器。控制器的输入可以是一个程序,也可以是用户发出的一系列命令。我们为我们的系统选择的控制器是Galil DMC-1860运动控制器,它可以同时控制PUMA 560机械手的六个轴。控制器实现为PCI卡,需要一台主机PC才能正常工作。可以使用来自加利尔的DMC专有语言或最标准的C/ c++和Visual Basic与控制器进行交互。
    • 加利尔ICM/AMP-19x0互连/放大器模块将连接控制器到外部组件的终端和驱动外部执行器的功率放大器收集在一个单一的包中。加利尔ICM/AMP-19x0可以处理的最大轴数是4。因此,每个机械臂需要两个,即ICM/AMP-1940和ICM/AMP-1920。为了尽量减少噪声的影响,通过将输入连接器上的接地脚连接到各自(接地的)电源的金属外壳,已将模块的金属外壳接地。互连部分的功能是将从/到运动控制器的100针电缆断开为螺钉型终端,所有系统组件(编码器,开关,输出等)都可以很容易地连接到该终端。每个控制器实际上是由两块板组成的:一块连接到主机PC的PCI总线,而另一块只是一个子板,为第二个输入/输出连接器提供额外的空间。电源提供由功率放大器调制的(电)功率,然后再传送到电机执行器。我们的电源一直从以前的控制环境中保持。我们的装置简单地包括增加控制电机刹车的继电器和安装栅格以防止与冷却风扇接触。每个电源提供恒定电压15、30、45和60 V。 We only use the 30 V, as the input to the power amplifiers and to the relay. One of the two power supplies (M2004C) also has an additional board to provide low voltages for external logic and to accept external triggering signals. We do not use it and it is thus not necessary to turn it on at startup.
    • 力/扭矩传感器通过测量应变片上的应变来测量施加在它上的力和扭矩。应变片基本上是一种可扩展的元件,它的应变可以通过其物理特性来测量。我们系统中的力/扭矩传感器是ATI工业自动化伽马F/T传感器。它们与国家仪器公司的数字采集DAQ-PCI-6034E卡连接,必须安装在主机PC上;所提供的电源模块必须连接在传感器和采集卡之间。前景中的电缆连接到机械手(电机和编码器)和力/扭矩传感器。三根电缆分别连接到主机PC,分别连接到控制器(浅色)和力/扭矩传感器采集卡(黑色)。电源背面的电缆用于刹车控制和电源放大器。电机、编码器和刹车电缆连接到机械手底部的连接器上。连接到力/扭矩传感器的(黑色)电缆安装在机械手结构内部。
    • 幻影高级1.0触觉装置提供了一个范围的运动近似手部运动旋转在手腕。该装置包括无源触控笔和顶针框架,并提供3自由度位置传感和3自由度力反馈。PHANToM触觉设备通过并口(EPP)接口与PC相连。支持的操作系统平台包括Windows 2000/XP/NT、RedHat Linux 7.2、RedHat Linux 9、RedHat Fedora和SUSE 9.0。
    • 它们是安装了传感器的移动机器人,通过分布式网络进行通信。其想法是将它们用于爆炸物探测、定位危险化学品泄漏和污染感知等任务。从这些试剂收集的信息可以用特殊的算法处理,可以得到对蒸汽发射源位置的准确估计。使用多个移动机器人而不是一个移动机器人,可以对单个代理或通信链路的故障提供鲁棒性。
    • Nomad超级侦察兵II是一种集成移动机器人系统,具有机载工业PC、超声波和触觉传感模块和可选的视觉系统。该控制系统执行传感器和电机控制,以及通信。在较高的水平上,游牧超级侦察兵II是由一个安装在内部的小型工业PC控制的。Nomad超级侦察员II可以使用基于linux的游牧软件开发环境进行编程。这个集成包包括一个图形界面和一个功能齐全的模拟器。Nomad超级侦察员II是机器人和人工智能研究/教育的理想移动系统。本系统的高级处理器为奔腾200mhz工业PC。高级处理器通过串口与低级处理器通信。本系统的底层处理器为摩托罗拉MC68332。此外,一个TMS320C14 DSP负责高带宽电机控制在2千赫控制率。 The Nomad Super Scout II comes standard with odometric sensors, a tactile bumper ring, 16 Polaroid ultrasonic sonar sensors and optional vision system. The tactile system uses a ribbon switch enclosed in a energy absorbing neoprene channel. The effective range of ultrasonic sensors is from 15 cm to 650 cm. The optional Color PCI vision system comes with a color PCI framegrabber and color camera with 4 mm lens.
    • 正如索尼的一位代表所说,AIBO的目标用户是精通技术的机器人爱好者。它的一些伟大的功能包括提供75个单词词汇的软件和高级的拍照选项。它未来的银色车身构造有16个自由度,允许流畅的身体运动。AIBO的各种传感器有红外距离传感器,加速度传感器,开关(头,脸,腿,爪,尾巴),振动传感器,温度传感器。AIBO的一些最新功能包括:
      1.通过语音命令捕捉数字图像。我们已经能够使用局域网功能在环境中导航。
      2.将图像以JPEG格式保存到“记忆棒”。
      3.运动检测摄影(AIBO Explorer AIBO-ware要求)。
      4.aibo和所有者之间的沟通。
      它与其他aibo相互作用并作出反应。这就是为什么机器人世界杯足球比赛中有aibo作为球员。它还表达了各种各样的情感(快乐、悲伤、恐惧、厌恶、惊讶、愤怒)和本能(玩耍、搜索、饥饿、睡眠)。它也被用作实验室基于行为的机器人项目中测试各种算法的平台。它甚至还带有无线局域网功能。
  • 动态双足步行的计算方法

  • 调查人员:宋国标和米洛什Žefran

    本研究项目的目标是建立一个具有冲击效应的混合系统周期轨道稳定的一般框架和纯计算实现。尤其适用于双足行走。对二维和三维欠驱动双足机器人进行鲁棒控制器设计。我们证明了混合系统沿周期轨道的动力学可以分解为混合系统的横向分量和切向分量。由此产生的周期性横向线性化的鲁棒控制综合问题可以转化为半定程序,从而利用线性矩阵不等式(LMI)有效求解。

    这一领域过去的研究课题包括:
    • 混合系统鲁棒Lyapunov稳定性理论的研究
    • 基于LMI的一类混合系统鲁棒控制综合的Matlab和Mathematica工具的开发
    • 欠驱动动力双足步行节能步行步态的计算优化方法的发展
    • 基于这些理论和工具设计和实现一种新的控制方法

    支持:NSF资助iss -0093581和UIC校园研究委员会

  • 混合最优控制在多车路径规划中的应用

      • 调查人员:魏尚明和米洛什Žefran

        本课题研究由多辆自动驾驶汽车组成的系统的路径规划问题。最基本的问题是将飞行器从初始状态移动到最终状态,同时避开彼此和环境中的障碍物。目标是为这些车辆找到能量最优的路径。我们将其转化为一个混合最优控制问题,并试图寻找快速有效的数值求解方法。一些已开发的技术已成功应用于某些类型的轮式移动机器人(如独轮车和Hilare机器人)的实例。

        支持:NSF资助iss -0093581和UIC校园研究委员会
  • 利用分布式移动传感网络定位蒸汽发射源

  • 调查人员:帕诺斯·扎诺斯和米洛什Žefran

    研究项目涉及使用分布式移动传感网络定位蒸汽排放源。这需要开发蒸汽浓度的物理模型、传感器的运动控制算法和协调算法来协调传感器的运动(见详细信息)。

    支持:NSF拨款CCR-0330342
  • 机器人网络的分布式交换算法

  • 调查人员:卡洛斯·卡伊多Núñez,米洛什Žefran

    这个研究项目的重点在于机器人网络。我们特别感兴趣的是,当机器人只能访问局部信息时,我们如何在网络中解决全局问题。通过与邻居共享信息,每个机器人可以更多地了解环境,并可以随着收集的信息越来越完整而调整自己的行为。现在,当有多个任务需要由网络处理时,本地信息必须足以让每个代理做出尽可能好的决策,这样它就不会在系统的长期目标中妥协。

    支持:NSF授予iss -0093581和CCR-0330342
  • 在感觉运动技能教学中提高触觉交互的真实感

      • 调查人员:马克西姆·科列斯尼科夫和米洛什Žefran

        近年来,触觉模拟器在教学感觉运动技能方面显示出了巨大的潜力。在传统培训技术昂贵的领域,如医疗和牙科培训,尤其如此。这项工作的目标是解决几个需要改进的关键领域,以增加感觉运动技能教学中触觉交互的真实感。这些关键领域是触觉渲染算法,触觉增强训练视频辅助和协作触觉环境。

        支持:NSF资助CMS-0600658和UIC牙科学院