机器人 / 具身智能

Detecting Separation in Robotic and Sensor Networks

检测机器人与传感器网络中的分离

Chenda Liao, Harshavardhan Chenji, Prabir Barooah, Radu Stoleru, Tamás Kalmár-Nagy

机构 * Aerospace Engineering, University of Florida, Gainesville, FL. ； Engineering, Texas A\&M University, College Station, TX. ； Dept. of Aerospace Engineering, Texas A\&M University, College Station, TX. 纠错

专题命中 其他机器人 ：robotic(title,abstract)；分类 cs.RO

AI总结 针对机器人与传感器网络中节点与基站可能因移动或故障而分离的问题，提出一种基于平均化方案的分布式算法，通过监测节点状态收敛性来检测永久性分离。

Adaptive Control in Swarm Robotics

群体机器人中的自适应控制

Wesam Elshamy

专题命中 其他机器人 ：robotics(title)；robotic(abstract)

AI总结 本文综述了自适应控制方法在群体机器人系统中的应用，旨在提高系统对个体机器人故障的鲁棒性和任务执行效率，并简要介绍了几种劳动分工技术。

Torque Saturation in Bipedal Robotic Walking through Control Lyapunov Function Based Quadratic Programs

基于控制李雅普诺夫函数二次规划的双足机器人行走中的力矩饱和

Kevin Galloway, Koushil Sreenath, Aaron D. Ames, J. W. Grizzle

专题命中 其他机器人 ：robotic(title)；分类 cs.RO

AI总结 本文提出一种通过凸优化将用户定义的控制输入饱和直接纳入控制李雅普诺夫函数（CLF）行走控制器计算的新方法，并在双足机器人MABEL上实验验证。

SEAOTTER: Sensor Embedded Autoencoding with One-Time Transcode for Efficient Reconstruction

SEAOTTER: 基于传感器嵌入自编码器与一次性转码的高效重建

Dan Jacobellis, Neeraja J. Yadwadkar

机构 * Department of Electrical and Computer Engineering（电气与计算机工程系） ； The University of Texas at Austin（德克萨斯大学奥斯汀分校） 纠错

专题命中 其他机器人 ：robotics(abstract)；分类 cs.RO、cs.CV、cs.LG

AI总结 提出SEAOTTER框架，结合传感器嵌入自编码器与可学习JPEG转码，在200:1压缩比下实现比AVIF快7倍编码、3.5倍解码，并提升ImageNet top-1准确率8%，同时保持JPEG兼容性。

Integrated Pre-Processing for Bayesian Nonlinear System Identification with Gaussian Processes

基于高斯过程的贝叶斯非线性系统辨识的集成预处理

Roger Frigola, Carl Edward Rasmussen

专题命中 其他机器人 ：robotics(abstract)；分类 cs.RO、cs.AI

AI总结 提出GP-FNARX模型，通过集成数据预处理与稀疏高斯过程回归，实现从原始数据到辨识模型的自动化流程，并利用边际似然最大化同时优化预处理参数和超参数，获得能报告不确定性的贝叶斯动力学模型。

Comments Proceedings of the 52th IEEE International Conference on Decision and Control (CDC), Firenze, Italy, December 2013

Robust Filtering and Smoothing with Gaussian Processes

基于高斯过程的鲁棒滤波与平滑

Marc Peter Deisenroth, Ryan Turner, Marco F. Huber, Uwe D. Hanebeck, Carl Edward Rasmussen

专题命中 其他机器人 ：robotics(abstract)；分类 cs.RO、cs.AI

AI总结 提出一种基于非参数高斯过程模型的非线性随机动态系统鲁棒贝叶斯滤波与平滑算法，通过解析平滑实现鲁棒性，数值实验表明在其它先进方法失效时仍保持稳健。

Comments 7 pages, 1 figure, draft version of paper accepted at IEEE Transactions on Automatic Control

Asynchronous Deterministic Leader Election in Three-Dimensional Programmable Matter

三维可编程物质中的异步确定性领导者选举

Joseph L. Briones, Tishya Chhabra, Joshua J. Daymude, Andréa W. Richa

专题命中 其他机器人 ：robotic(abstract)；分类 cs.RO

AI总结 针对三维可编程物质，提出基于面心立方晶格的分布式算法，在非公平顺序敌手下O(n)轮内确定性选举唯一领导者，并利用并发控制框架转化为非公平异步敌手下首个领导者选举算法。

Comments 18 pages, 4 figures, 2 tables. Accepted at ICDCN 2023

Journal ref Proceedings of the 24th International Conference on Distributed Computing and Networking (ICDCN 2023), pp. 38-47

Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications

从全局LTL规范综合分布式控制与通信方案

Yushan Chen, Xu Chu Ding, Calin Belta

专题命中 其他机器人 ：robotic(abstract)；分类 cs.RO

AI总结 提出一种从全局线性时序逻辑(LTL)规范综合多智能体控制与通信策略的技术，通过并发理论检查规范可分布性，并利用LTL模型检验生成个体策略。

Comments Technical Report accompanying an accepted paper for CDC2011

Multi-Robot Organisms: State of the Art

多机器人有机体：最新技术综述

Serge Kernbach, Oliver Scholz, Kanako Harada, Sergej Popesku, Jens Liedke, Humza Raja, Wenguo Liu, Fabio Caparrelli, Jaouhar Jemai, Jiri Havlik, Eugen Meister, Paul Levi

专题命中 其他机器人 ：robotics(abstract)；分类 cs.RO

AI总结 本文综述了人工多机器人有机体领域的最新进展，涵盖机电一体化、传感器与计算设备、软件框架，并介绍了群体与可重构机器人领域的一项重大挑战。

Journal ref ICRA2010, workshop on "Modular Robots: State of the Art", pp.1-10, Anchorage, 2010

Inverse design of flat-foldable volumetric origami with smooth curved profile

具有光滑曲线轮廓的可平折体积折纸的逆向设计

Byoung-Gyu Kim, Geonhee Cho, Yasuhiro Miyazawa, Hak-Tae Lee, Jinkyu Yang

专题命中 其他机器人 ：robotics(abstract)

AI总结 提出一种体积折纸及其逆向设计方法，实现给定目标曲面的可平折体积折纸，并通过无人机飞行测试验证其结构完整性和工程可行性。

Limited benefit of cooperation in distributed relative localization

分布式相对定位中合作的有限收益

Wilbert Samuel Rossi, Paolo Frasca, Fabio Fagnani

专题命中 其他机器人 ：robotic(abstract)

AI总结 针对分布式相对定位问题，提出一种利用先验信息的改进梯度下降算法，证明其性能单调收敛至最优，且收敛时间与图规模和节点数无关，揭示噪声环境下合作收益存在上限。

Comments 11 pages, 2 figures, submitted to conference

SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction

SWATI: 使用测试和归纳自动合成字长

Susmit Jha, Sanjit A. Seshia

专题命中 其他机器人 ：robotics(abstract)

AI总结 提出SWATI技术，结合Nelder-Mead优化测试和示例归纳，自动为数值例程合成最优定点实现，在满足精度约束下最小化实现成本。

Visible Points in Convex Sets and Best Approximation

凸集中的可见点与最佳逼近

Frank Deutsch, Hein Hundal, Ludmil Zikatanov

专题命中 其他机器人 ：robotics(abstract)

AI总结 引入凸集相对于给定点的可见点概念，发展其基本性质，并证明该概念在最佳逼近研究中的有用性及在机器人学中的潜在价值。

Comments Keywords and phrases: best approximation from convex sets, visible points in convex sets. 15 pages, 1 figure

A Regularized Saddle-Point Algorithm for Networked Optimization with Resource Allocation Constraints

一种用于具有资源分配约束的网络化优化的正则化鞍点算法

Andrea Simonetto, Tamas Keviczky, Mikael Johansson

专题命中 其他机器人 ：robotic(abstract)

AI总结 提出一种正则化鞍点算法，用于解决具有资源分配约束的凸网络优化问题，通过推导步长条件保证几何收敛，并应用于机器人网络目标保持任务。

Comments This is an extended version of a paper accepted for CDC 2012 with identical title

Animal-Inspired Agile Flight Using Optical Flow Sensing

利用光流感知的动物启发敏捷飞行

Kenneth Sebesta, John Baillieul

专题命中 其他机器人 ：robotic(abstract)

AI总结 本文提出基于光流传感的运动控制律，使飞行器在障碍物环境中实现高速敏捷飞行，并与基于距离和方位测量的反馈律进行性能比较，讨论了实际实现挑战及杂波密度带来的基本性能限制。

Comments 20 pages, 7 figures

A General Solver Based on Sparse Resultants

基于稀疏结式的一般求解器

Ioannis Z. Emiris

专题命中 其他机器人 ：robotics(abstract)

AI总结 本文利用稀疏结式构造，提出一种不增加问题维度的新方法将求根问题转化为特征值问题，并实现了一个通用多项式系统求解器，在视觉、机器人和结构生物学应用中展示了高效率和准确性。

Comments 20 pages, 1 figure