Sorbonne Universite, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, 75005 Paris, France;
Sorbonne Universite, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, 75005 Paris, France;
Sorbonne Universite, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, 75005 Paris, France;
Universite Claude Bernard Lyon-1, LIRIS CNRS UMR 5205, Universite de Lyon, Lyon, France;
Formal methods; Mobile robots Distributed algorithms; Model checking; Program synthesis Proof certification; Proof assistant;
机译:在正式规范下网络移动机器人的分布式通信感知运动规划
机译:具有正式性能保证的移动服务机器人的概率规划
机译:RAM有关机器人技术和自动化形式方法的特刊
机译:移动机器人的正式方法
机译:在部分可观察的环境中进行控制综合的形式化方法:在自主机器人操纵中的应用。
机译:移动机器人路径规划中的目标搜索两层方法
机译:开发用于移动微型机器人的生物启发视觉系统:在本文中,我们提出了一种用于移动微型机器人的新型生物启发视觉系统。该处理方法从检测快速接近物体的蝗虫视觉中获取灵感。研究表明,蝗虫使用称为小叶巨型运动探测器的宽视野神经元来应对即将发生的碰撞。我们采用蝗虫的视觉机制来控制移动机器人。所选择的图像处理方法使用低成本且快速的aRm处理器在开发的扩展模块上实现。视觉模块放置在微型机器人的顶部以控制其轨迹并避开障碍物。几次进行的实验观察到的结果表明,开发的扩展模块和灵感视觉系统可用作避障和运动控制的视觉模块。
机译:移动机器人的形式语言理论控制与协调;最终的评论。 2006年9月20日至2007年9月19日