Consensus Computation in Unreliable Networks: A System Theoretic Approach
不可靠网络中的共识计算:系统论方法
专题命中 多智能体 :agent(abstract);multi-agent(abstract)
AI总结 针对线性共识网络中行为异常代理的检测与识别问题,采用未知输入系统理论框架,给出了可检测与可识别的条件、最坏情况界限及三种算法。
AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
不可靠网络中的共识计算:系统论方法
专题命中 多智能体 :agent(abstract);multi-agent(abstract)
AI总结 针对线性共识网络中行为异常代理的检测与识别问题,采用未知输入系统理论框架,给出了可检测与可识别的条件、最坏情况界限及三种算法。
去中心化编队控制第二部分:信息流与奇异点的代数方面
专题命中 多智能体 :agent(abstract);autonomous agent(abstract)
AI总结 本文提出框架研究部分信息下多智能体协同控制,通过分析信息流与拓扑,证明n=4有向编队无法实现局部稳定反馈。
Comments Part 2 of a 2 parts paper. Preprint. To be submitted
BotDirector:跨对称现实的多模态交互机器人讲故事
机构 * State Key Laboratory of General Artificial Intelligence, BIGAI, Beijing, China(国家一般人工智能重点实验室,BIGAI,北京,中国) ; Peking University, Beijing, China(北京大学,北京,中国)
专题命中 多智能体 :agent(abstract);分类 cs.AI
AI总结 提出一个结合具身交互和自然语言交互的机器人讲故事系统,利用LLM代理将儿童创建的叙事转化为自导航群体机器人的运动序列,支持灵活场景和日常物品。
Journal ref 2026 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW)
聊天机器人输出有意义(但有问题)的语言
机构 * University of Parma(帕尔马大学) ; University of Cambridge(剑桥大学) ; University of Pittsburgh(匹兹堡大学) ; Franklin and Marshall College(弗兰克林与马歇尔学院)
专题命中 多智能体 :agent(abstract);分类 cs.CL
AI总结 本文论证大型语言模型(LLM)的输出是有意义的,但无需假设其具有心理状态或意图,并探讨了这一观点对语言理论和AI伦理的影响。
Comments 49 pages
$(L_0,L_1)$-光滑条件下的去中心化随机非凸优化
机构 * School of Data Science, Fudan University(复旦大学数据科学学院) ; East China Normal University(华东师范大学)
专题命中 多智能体 :agent(abstract);分类 cs.LG
AI总结 针对满足$(L_0,L_1)$-光滑条件的非凸函数,提出去中心化归一化随机梯度下降算法,实现每个局部智能体达到ε-稳定点,并给出样本复杂度和通信复杂度的上界。
不完全信息零和随机博弈中的异构学习
专题命中 多智能体 :agent(abstract);分类 cs.LG
AI总结 针对不完全信息零和随机博弈,提出异构学习方案(各智能体采用不同学习模式),利用随机逼近将其转化为常微分方程,并应用于安全博弈中攻防双方因理性与信息差异采用不同学习策略的场景。
匹配机制在LLM智能体市场中是否有效?
专题命中 多智能体 :agent(abstract)
AI总结 研究通过对比自由协商与集中式机制市场,发现基于机制的匹配市场在稳定性和效率上更优,且LLM智能体比人类更倾向于真实报告偏好,但策略证明性并非总能提高真实报告率。
基于方位控制且目标信息有限的分布式环绕航行
专题命中 多智能体 :autonomous agent(abstract)
AI总结 针对具有单轮运动学的异构多智能体系统,提出一种仅利用部分智能体(领导者)已知目标位置的分布式制导律,通过控制角速度实现所有智能体对静止目标的环绕,并利用Zubov定理保证全局渐近稳定性。
Comments 6 pages, 17 figures
具有通信延迟的离散事件系统的分布式监督控制
专题命中 多智能体 :agent(abstract)
AI总结 本文识别了分布式离散事件系统监督控制中通信延迟鲁棒性的性质,提出了一种基于双状态自动机模型的测试方法,以区分延迟关键与非关键事件。
Journal ref Discrete Event Dynamic Systems, 2016, 26(2): 263-293
社交网络中的意见波动与分歧
专题命中 多智能体 :agent(abstract)
AI总结 本文研究了一个易处理的意见动力学模型,该模型通过包含固执代理人的非齐次随机八卦过程,解释了长期分歧和持续意见波动,并证明了在高度流动的大规模社会中会出现同质影响现象。
Comments 33 pages, accepted for publication in Mathematics of Operation Research
仅使用方位测量的角度约束圆形编队分布式控制
专题命中 多智能体 :agent(abstract)
AI总结 针对平面内多智能体仅通过局部方位测量实现角度约束圆形编队的问题,提出一种分布式控制律,基于Lyapunov方法证明其能保证局部指数稳定性和有限时间稳定性,且可通过参数切换。
Comments 18 pages
持久监控问题的最优控制方法
专题命中 多智能体 :agent(abstract)
AI总结 针对持久监控问题,提出一种最优控制框架,通过控制移动节点运动最小化不确定性度量,并利用无穷小扰动分析将问题简化为参数优化。
Comments Technical Report accompanying CDC 2012 submission
离散协调过程的循环表示
专题命中 多智能体 :agent(abstract)
AI总结 本文证明任何具有正权重的离散意见汇集过程都可以被DeGroot过程渐近逼近,其通信有向图是一个带自环的哈密顿环。
Comments 6 pages, 1 figure
Journal ref Automation and Remote Control, 2012, vol.73, No.1, p.161-166
分布式动作的控制通信复杂度
专题命中 多智能体 :agent(abstract)
AI总结 本文研究双智能体分布式控制系统中,通过双线性输入输出映射实现目标矩阵,并分析无信息共享与充分信息共享两类控制协议的控制成本差异,揭示通信复杂度与控制成本之间的内在权衡。
Comments 34 pages, 1 figure, To appear in the IEEE Trans. Automatic Control
从全局LTL规范综合分布式控制与通信方案
专题命中 多智能体 :agent(abstract)
AI总结 提出一种从全局线性时序逻辑(LTL)规范综合多智能体控制与通信策略的技术,通过并发理论检查规范可分布性,并利用LTL模型检验生成个体策略。
Comments Technical Report accompanying an accepted paper for CDC2011
去中心化编队控制 第一部分:几何方面
专题命中 多智能体 :agent(abstract)
AI总结 本文针对去中心化控制系统提出新分析方法,并应用于编队控制问题,研究了最小刚性图提供的信息流是否足以保证全局稳定性,并揭示了平面编队控制的基本几何性质。
Comments Part 1 of 2 parts paper. Preprint. To be submitted
Agent 的第一天:在工作场景中基准测试学习、探索和调度
机构 * Fudan University(复旦大学) ; Shanghai AI Laboratory(上海人工智能实验室) ; Zhejiang University(浙江大学) ; Shanghai Innovation Institute(上海创新研究院) ; Shanghai Jiao Tong University(上海交通大学)
专题命中 工作流自动化 :agent(title,title_cn);workflow(abstract);分类 cs.AI
AI总结 针对多模态大语言模型在动态工作场景中面临的任务调度、主动探索和持续学习三大挑战,提出动态评估环境 EvoEnv,实验表明现有 agent 在这些方面存在显著不足。
赋能教学型AI代理生态系统:统一数据架构的验证策略
专题命中 工作流自动化 :AI agent(title,abstract);agent(abstract)
AI总结 针对教学型AI代理生态系统中的数据架构验证问题,提出一种两阶段测试方法,确保功能多样性和实际可扩展性,并在大规模在线项目中成功处理超过270万条请求。
从提示到服务:基于SLM的AI驱动虚拟世界代理编排网关
机构 * University of Cambridge(剑桥大学)
专题命中 工作流自动化 :agent(title,abstract);分类 cs.AI
AI总结 本文提出一种基于小语言模型的代理编排网关,通过意图驱动的服务路由解耦虚拟世界客户端与异构AI后端,并在虚拟博物馆测试床中验证了其可行性和效率。
多模态用户界面工具包的基准测试框架:比较模态覆盖、开发者工作流和实验支持
专题命中 工作流自动化 :workflow(title,abstract);分类 cs.SE
AI总结 本文提出一个基于文档分析、技术比较和未来开发者评估的结构化基准框架,从模态覆盖、开发者体验和实验支持三个维度比较多模态用户界面工具包。
Comments 13 pages, 3 tables, 1 figure. Benchmarking framework paper revised and expanded from an HCI seminar draft
TalkPlayData 2:用于多模态对话式音乐推荐的智能体合成数据流水线
机构 * KAIST(韩国科学技术院)
专题命中 工作流自动化 :agentic(title,abstract);分类 cs.AI
AI总结 提出TalkPlayData 2,一个由智能体数据流水线生成的多模态对话式音乐推荐合成数据集,通过多角色大语言模型模拟对话并覆盖多种场景,以支持生成式推荐模型训练。
Comments 2025-10-08: updating the stat table with the latest numbers. updated the abstract per the latest license terms
一个用户友好的软件包和工作流程,用于生成有效的均质流变学以研究多层行星体的长期轨道演化
专题命中 工作流自动化 :workflow(title)
AI总结 本文介绍了一个开源的Wolfram语言软件包,通过自动构建等效均质广义Voigt流变模型,将分层粘弹性内部模型简化为适用于潮汐演化时域模拟的有效均质流变学。
Comments 7 pages, 5 figures
Journal ref A&A 710, A93 (2026)
什么使得交互轨迹对训练终端代理有效?
机构 * The University of Hong Kong(香港大学) ; Huawei Technologies(华为技术有限公司) ; Nanyang Technological University(南洋理工大学)
专题命中 工作流自动化 :agent(abstract);agentic(abstract);分类 cs.AI
AI总结 本文通过Terminal-Lego流水线研究交互轨迹的教学效能,发现低分代理(DeepSeek-V3.2)的轨迹比高分代理(Claude Opus 4.6)更能提升学生泛化能力,归因于环境接地监督(EGS),并展示了极佳的数据效率。
熵门:LLM流水线中用于近无损令牌压缩的熵淬火
机构 * VIA Cybersecurity Lab, Kwame Nkrumah University of Science and Technology, Kumasi, Ghana(维亚网络安全实验室,卡布雷姆大学科学与技术学院,库马西,加纳) ; Quantum and Assistive Technologies Lab, Kwame Nkrumah University of Science and Technology, Kumasi, Ghana(量子与辅助技术实验室,卡布雷姆大学科学与技术学院,库马西,加纳)
专题命中 工作流自动化 :agentic(abstract);分类 cs.CL
AI总结 提出Entropy Gate框架,通过熵淬火(一种热力学过程)逐步冻结低信息令牌,实现40-60%压缩率且语义保真度高于0.80,并证明其接近信息论极限。
从Rocq到Metal:形式化验证微控制器固件的流水线
专题命中 工作流自动化 :workflow(abstract);分类 cs.SE
AI总结 本文提出Encore!虚拟机,通过延续传递风格运行Rocq提取的Scheme代码,实现微控制器固件的形式化验证,并利用大语言模型辅助策略合成自动证明固件正确性。
BraveGuard: 从开放世界威胁到更安全的计算机使用代理
机构 * Fudan University(复旦大学) ; Ant Group(蚂蚁集团) ; Hunan Institute of Advanced Technology(湖南高级技术研究所) ; Alibaba Group(阿里巴巴集团) ; Singapore Management University(新加坡管理大学) ; Deakin University(德肯大学) ; Nanyang Technological University(南洋理工大学) ; Shanghai Innovation Institute(上海创新研究院)
专题命中 工作流自动化 :agent(abstract);分类 cs.CL
AI总结 提出BraveGuard框架,通过从开放世界威胁信号和真实代理轨迹中训练防护模型,实现轨迹级别的安全检测,显著提升计算机使用代理的安全性。
语义知识引导创新并驱动文化进化
专题命中 工作流自动化 :agent(abstract);分类 cs.AI
AI总结 通过基于主体的模型和大规模行为实验,发现语义知识通过引导探索、增强创新成功率和促进泛化,与社会学习协同驱动累积文化进化。
Journal ref Proceedings of the National Academy of Sciences, 123(22), e2530750123, 2026
统一多任务框架实现可解释的胸部X光片分析
机构 * University of Science and Technology of China(中国科学技术大学)
专题命中 工作流自动化 :workflow(abstract)
AI总结 提出IMT-CXR框架,通过统一Transformer架构模拟放射科医生诊断流程,实现疾病识别、属性表征和可追溯报告生成,在十个基准上表现优异,且临床评估中66%的AI报告达到或超越原始报告。
Bastet:用于DeFi智能合约漏洞检测的细粒度专家标注数据集
专题命中 工作流自动化 :workflow(abstract)
AI总结 针对现有数据集存在的过时Solidity版本、自动标注噪声和粗粒度标签问题,提出基于真实审计报告和专家共识标注的细粒度两层分类法(46个标签和77个子标签)的DeFi智能合约漏洞数据集Bastet。
一种用于3D真实几何体上石材退化的完整模拟框架
专题命中 工作流自动化 :workflow(abstract)
AI总结 提出一种完整工作流,结合摄影测量获取几何、水平集表示和PDE数值离散,预测艺术品中大理石硫酸盐化等石材退化现象。