Cooperative Planning for Coupled Multi-Agent Systems under Timed Temporal Specifications
耦合多智能体系统的 timed 时间规范下的协作规划
专题命中 规划推理 :planning(title)
AI总结 本文提出一种自动控制器合成方法,针对耦合约束下的多智能体系统设计控制输入以满足MITL规范,通过离散化和形式验证技术实现任务满足。
Comments submitted to ACC 2017
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
耦合多智能体系统的 timed 时间规范下的协作规划
专题命中 规划推理 :planning(title)
AI总结 本文提出一种自动控制器合成方法,针对耦合约束下的多智能体系统设计控制输入以满足MITL规范,通过离散化和形式验证技术实现任务满足。
Comments submitted to ACC 2017
最短路径集诱导的顶点排序及其在分布式距离最优多智能体编队路径规划中的应用
专题命中 规划推理 :planning(title)
AI总结 针对无向图中不可区分智能体移动到任意目标编队的距离最优路径规划问题,提出一种基于最短路径集诱导顶点排序的集中式算法,并首次实现分布式调度,同时保证相同的收敛时间。
Comments Extended the earlier version to 8 Pages, complete with literature review. One additional section on a distributed scheduling algorithm is added
基于Transformer强化学习的无人机搭载顶置机械臂在飞行扰动下的元自适应波束搜索规划
专题命中 规划推理 :planning(title)
AI总结 针对无人机与顶置机械臂耦合导致的末端执行器跟踪误差问题,提出基于Transformer双深度Q网络(DDQN)的强化学习框架,通过自适应波束搜索规划器利用学习到的评论家进行前向估计,实现软件在环的短视域波束搜索,显著降低跟踪误差并提升奖励。
Comments The paper will be reworked significantly
多重ω-regular目标的解耦规划
专题命中 规划推理 :planning(title)
AI总结 本文提出了解耦框架,通过独立代理选择局部策略并由调度器动态组合,解决图上满足多个ω-regular目标的路径生成问题,探讨了调度器协调对正确性的必要性及安全目标的同步协议。
Comments 33 pages, 6 figures. Extended version of the paper accepted at CAV 2026
聚焦,而非漫无目的搜索:在预算受限的SBSE中,区域搜索优于帕累托推理和全局优化
专题命中 规划推理 :reasoning(title)
AI总结 本文研究发现,在预算受限的SBSE中,聚焦于有潜力区域的搜索方法比帕累托和全局优化更有效,提出的EZR方法在效率和可解释性上均优于传统方法。
Comments To be published in SSBSE 2026
CASCADE:多智能体重新规划中的级联作用域通信
专题命中 规划推理 :planning(title)
AI总结 本文提出CASCADE机制,通过显式作用域控制实现多智能体在受扰工业环境中的重新规划,解决通信预算和延迟约束下的协调问题,提升鲁棒性。
Comments Published at ICLR 2026 Workshop on AI for Mechanism Design and Strategic Decision Making
从倾斜到对称:节点-互连多路径平衡与执行时间规划用于现代GPU集群
专题命中 规划推理 :planning(title)
AI总结 本文提出NIMBLE系统,通过动态重分布流量平衡节点内和节点间路径的利用率,提升GPU集群的通信性能。
LAMP:语言辅助运动规划用于可控视频生成
机构 * Koç University(科奇大学) ; University College London(伦敦大学学院) ; Hacettepe University(哈斯特帕大学) ; Adobe Research(Adobe研究院)
专题命中 规划推理 :planning(title)
AI总结 LAMP通过大语言模型生成3D轨迹,实现基于自然语言的视频生成,提升运动可控性和用户意图对齐。
Comments CVPR 2026. Project Page: https://cyberiada.github.io/LAMP/
基于强化学习的可变形物体3D表面覆盖路径规划
机构 * School of Computer Science and Technology, University of Science and Technology of China(计算机科学与技术学院,中国科学技术大学) ; Xiaomi Robotics Lab(小米机器人实验室)
专题命中 规划推理 :planning(title)
AI总结 本文提出基于强化学习的覆盖路径规划方法,利用谐波UV映射和SGCNN处理可变形物体的触觉反馈,通过模拟器训练机器人高效完成表面擦拭任务。
Comments 8 pages, 8 figures. Accepted to the 2026 IEEE International Conference on Robotics and Automation (ICRA)
利用牺牲代理推断受限转弯率的接触区域以实现安全轨迹规划
机构 * Brigham Young University
专题命中 规划推理 :planning(title)
AI总结 本文通过牺牲代理推断受限转弯率的接触区域,利用几何启发式和贝叶斯方法优化轨迹选择,实现安全高效的轨迹规划。
Comments Submitted to the Journal of Aerospace Information Systems
迈向代理AI:面向长周期任务的分层规划任务导向通信
专题命中 规划推理 :planning(title)
AI总结 本文提出HiTOC框架,通过分层任务导向通信提升长周期任务的规划效率,实现更高效的代理AI系统。
Comments Accepted by IEEE International Conference on Communications (ICC), Glasgow, UK, May 2026
基于人群映射与避让路线规划的安全移动支持系统
机构 * Graduate School of Regional Development and Creativity, Division of Engineering and Agriculture, Graduate School, Utsunomiya University(乌市大学研究生院区域发展与创意学院,工程与农业系)
专题命中 规划推理 :planning(title)
AI总结 本文提出利用视觉-语言模型和高斯过程回归生成动态人群密度地图,以提升自主机器人在拥挤环境中的安全导航能力。
Journal ref 2025 IEEE International Conference on Real-time Computing and Robotics (RCAR)
QARM V2:量化对齐多模态推荐用于推理用户序列建模
专题命中 规划推理 :reasoning(title)
AI总结 QARM V2通过量化对齐多模态推荐方法,解决推荐系统中用户序列建模的语义理解与业务需求不匹配问题。
Comments Work in progress
DISPATCH -- 分布式知情空间规划与任务分配以实现协作异构代理
专题命中 规划推理 :planning(title)
AI总结 DISPATCH提出两种算法,通过整合公平性和效率,在分布式环境下实现异构代理任务分配的公平与效率平衡。
小型模型,大影响:用于无线网络规划的工具增强型AI代理
专题命中 规划推理 :planning(title)
AI总结 MAINTAINED通过整合地理分析、信号传播建模和网络优化的计算工具,实现了比大型语言模型更高效的无线网络规划,同时减少计算资源需求。
Comments 7 pages, 4 figures, 2 tables, accepted by IEEE Communications Magazine
VECSR:虚拟具身常识推理系统
专题命中 规划推理 :reasoning(title)
AI总结 本文提出VECSR系统,通过基于答案集编程的s(CASP)推理器,将自主代理任务分解为中层指令并解释选择,提升家庭环境中的可信度与可解释性。
Comments In Proceedings ICLP 2025, arXiv:2601.00047
Journal ref EPTCS 439, 2026, pp. 76-88
校正漂移的单目视觉惯性里程计与感知感知的自主无人机竞速
机构 * Department of Electrical Engineering, Korea Advanced Institute of Science and Technology (KAIST)(电气工程系,韩国科学技术院(KAIST))
专题命中 规划推理 :planning(title)
AI总结 本文提出了一种校正VIO漂移的方法,结合YOLO门检测器和卡尔曼滤波器,以提升无人机竞速中的视觉惯性里程计精度与感知规划性能。
在纳维-斯托克斯流中基于POD的降阶模型的模型预测路径规划
专题命中 规划推理 :planning(title)
AI总结 本文提出一种结合POD降阶模型与MPC的路径规划方法,用于在纳维-斯托克斯流中实现高效实时控制。
多智能体守门人:面向城市空中交通的安全飞行规划与编队控制
机构 * Department of Electrical & Computer Engineering(电气与计算机工程系) ; Department of Robotics(机器人学系) ; Department of Robotics and Department of Aerospace Engineering(机器人学系和航空航天工程系)
专题命中 规划推理 :planning(title)
AI总结 多智能体守门人框架通过安全轨迹备份和碰撞避免算法,实现城市空中交通中的安全飞行规划与编队控制。
Comments 13 pages, 4 figures, to appear AIAA SciTech 2026
机构 * Yale University(耶鲁大学) ; Max Planck Institute for Software Systems(马克斯·普朗克软件系统研究所)
专题命中 规划推理 :planning(title)
专题命中 规划推理 :planning(title)
Comments The experiments in the paper need to be further supplemented, and more methods should be considered for expansion
专题命中 规划推理 :planning(title)
专题命中 规划推理 :planning(title)
Comments 9 pages
机构 * Noah’s Ark Lab, Huawei Technologies Canada(华为技术加拿大分公司诺亚 Ark 实验室) ; York University, Toronto, Canada(多伦多大学)
专题命中 规划推理 :planning(title)
Comments Accepted ICRA 2025
机构 * Department of Systems Innovation, Graduate School of Engineering Science, Osaka University(大阪大学工学研究科系统创新部门) ; School of Mechatronic Engineering and Automation, Shanghai University(上海大学机械电子工程与自动化学院) ; National Institute of Advanced Industrial Science and Technology (AIST)(国家先进工业科学与技术研究院)
专题命中 规划推理 :planning(title)
Comments Accepted by IEEE T-RO
专题命中 规划推理 :planning(title)
Comments 8 pages, 9 figures. This work has been submitted to the IEEE for possible publication
专题命中 规划推理 :planning(title)
专题命中 规划推理 :planning(title)
Comments 46 pages
机构 * Department of Computer Science, George Mason University(计算机科学系,乔治·马歇尔大学)
专题命中 规划推理 :planning(title)
Comments Accepted at ICRA 2025
机构 * The Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州)) ; Johns Hopkins University(约翰霍普金斯大学) ; The First Affiliated Hospital of Nanjing Medical University(南京医科大学第一附属医院) ; University of California, San Francisco(加州大学旧金山分校)
专题命中 规划推理 :planning(title)