Opinion dynamics over complex networks: kinetic modeling and numerical methods
复杂网络上的意见动力学：动力学建模与数值方法
专题命中 工作流自动化 ：agent(abstract)
AI总结 本文研究了时间依赖大规模网络上的意见动力学建模，结合二元交互更新与连接动态生成与移除过程，分析网络连接数对意见传播的影响，并提出均场描述和数值方法以研究长期行为。
AI 大模型
AI Agent
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
1. 工作流自动化 48 篇
A Topology-Guided Path Integral Approach for Stochastic Optimal Control
一种基于拓扑的路径积分方法用于随机最优控制
专题命中 工作流自动化 ：planning(abstract)
AI总结 本文提出一种高效的连续时间连续空间随机最优控制方法，通过拓扑运动规划算法缓解局部极小问题，生成动态可行且无碰撞轨迹。
Comments 8 pages, 4 figures, accepted to IEEE International Conference on Robotics and Automation (ICRA) 2016
Gambling in contests with random initial law
竞赛中带有随机初始分布的赌博
专题命中 工作流自动化 ：agent(abstract)
AI总结 本文研究了一种竞赛模型变体，其中参赛者初始值为独立非负随机变量，证明了对称纳什均衡的存在性和唯一性，参赛者需瞄准目标分布ν。
Comments Published at http://dx.doi.org/10.1214/14-AAP1088 in the Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute of Mathematical Statistics (http://www.imstat.org)
Journal ref Annals of Applied Probability 2016, Vol. 26, No. 1, 186-215
A global sensitivity analysis approach for morphogenesis models
一种用于形态发生模型的全局敏感性分析方法
专题命中 工作流自动化 ：workflow(abstract)
AI总结 本文提出一种全局敏感性分析方法，用于研究形态发生模型中单参数及参数交互对输出的影响，通过血管形态发生模型验证，识别了主导参数并为模型简化提供依据。
Comments 31 pages, 7 figures
Journal ref Boas, S. E. M., Navarro Jimenez, M. I., Merks, R. M. H., & Blom, J. G. (2015). A global sensitivity analysis approach for morphogenesis models. Bmc Systems Biology, 9(1), 85
An Interoperable Realization of Smart Cities with Plug and Play based Device Management
基于即插即用设备管理的智能城市可互操作实现
专题命中 工作流自动化 ：workflow(abstract)
AI总结 本文提出SNaaS框架，通过多供应商平台实现智能城市设备层面的互操作性，解决物联网解决方案在大规模部署中的兼容性问题。
Comments arXiv admin note: text overlap with arXiv:1502.00797
Increasing Robustness of the Anesthesia Process from Difference Patient's Delay Using a State-Space Model Predictive Controller
通过状态空间模型预测控制器增强麻醉过程对患者延迟的鲁棒性
专题命中 工作流自动化 ：agent(abstract)
AI总结 本文提出基于状态空间模型预测控制器与扩展卡尔曼滤波器的麻醉控制方法，通过BIS指数和丙泊酚实现麻醉深度控制，实验表明该方法能有效提升对患者延迟偏差的鲁棒性。
Comments 5 pages, 4 figures, Journal
Journal ref Procedia Engineering 15 (2011) 928-932
2. 软件智能体 19 篇
Provably Auditable and Safe LLM Agents from Human-Authored Ontologies
基于人类编写本体的可审计且安全的LLM智能体
机构 * Thistleseeds
专题命中 软件智能体 ：agentic(summary_cn,abstract)；agent(abstract)；分类 cs.AI
AI总结 提出Agentic Redux架构，通过类型化λ演算证明其在适当领域上的执行语义正确且决策可审计，并引入本体优先的智能体设计方法。
Designing a Safe Autonomous Artificial Intelligence Agent based on Human Self-Regulation
基于人类自我调节设计安全的自主人工智能代理
专题命中 软件智能体 ：agent(title,abstract)；AI agent(abstract)；分类 cs.AI
AI总结 本文提出通过研究人类自我调节机制，设计安全的人工智能代理，以避免复杂系统中因目标不明确导致的有害后果。
Comments 17 pages
SePO: Self-Evolving Prompt Agent for System Prompt Optimization
SePO: 用于系统提示优化的自我进化提示智能体
机构 * National University of Singapore（新加坡国立大学） ； City University of Hong Kong（香港城市大学）
专题命中 软件智能体 ：agent(title,abstract)；分类 cs.AI、cs.CL
AI总结 提出SePO方法，通过自我指涉设计让提示智能体同时优化任务智能体和自身的系统提示，采用两阶段进化训练，在多个基准上平均准确率提升4.49%。
Comments 26 pages. Code: https://github.com/taowangcheng/SePO
Deep Learning in (and of) Agent-Based Models: A Prospectus
深度学习在基于主体的模型中的应用：前景展望
专题命中 软件智能体 ：agent(title,abstract)
AI总结 本文探讨了将深度学习应用于经济主体模型以解决经验估计问题，介绍了多层人工神经网络和深度学习在该领域的潜力与贡献。
Trustworthy AI Software Engineers
可信赖的AI软件工程师
专题命中 软件智能体 ：agent(abstract)；AI agent(abstract)；agentic(abstract)；分类 cs.SE
AI总结 本文探讨AI代理作为软件工程师的信任问题，提出以证据为中心的检查方法，从技术质量、透明度、认知谦逊和社会伦理等维度定义可信赖性。
Comments The first three authors contributed equally to this work
Description-Code Inconsistency in Real-world MCP Servers: Measurement, Detection, and Security Implications
现实世界 MCP 服务器中的描述-代码不一致性：测量、检测与安全影响
机构 * University of Science and Technology of China（中国科学技术大学）
专题命中 软件智能体 ：agentic(abstract)；分类 cs.AI、cs.SE
AI总结 针对 MCP 服务器中工具描述与代码实现不一致的问题，提出结合结构感知静态分析与 Direct-Reverse-Arbitration 提示方法的自动检测框架 DCIChecker，并在大规模数据集上揭示 9.93% 的不一致率及其安全风险。
Comments Preprint
SkCC: Portable and Secure Skill Compilation for Cross-Framework LLM Agents
SkCC：面向跨框架LLM代理的可移植且安全的技能编译
机构 * Sun Yat-sen University（中山大学）
专题命中 软件智能体 ：agent(abstract,comments)；分类 cs.AI
AI总结 针对LLM代理技能在不同框架间缺乏可移植性和安全性的问题，提出SkCC编译器，通过强类型中间表示SkIR解耦语义与格式，实现跨框架部署，并内置静态优化器强制执行安全约束，显著提升性能并降低适配复杂度。
Comments Accepted by the Agent Skills Workshop at ACM CAIS 2026. 20 pages, 6 figures. Project Homepage: https://skcc.nexa-lang.com/ Code Repo: https://github.com/Nexa-Language/Skill-Compiler/
Reinforcement Learning from Cross-domain Videos with Video Prediction Model
基于视频预测模型的跨领域视频强化学习
机构 * VU Amsterdam（阿姆斯特丹大学） ； ISAE-SUPAERO
专题命中 软件智能体 ：agent(abstract)；分类 cs.AI
AI总结 提出XIPER奖励模型，通过跨领域视频预测将智能体观测映射到专家域，利用预测似然作为奖励信号，解决视觉差异域中无奖励信号和领域差距问题。
Low rank approximation and decomposition of large matrices using error correcting codes
利用纠错码进行大矩阵的低秩近似与分解
机构 * Department of Computer Science and Engineering, University of Minnesota, Twin Cities（计算机科学与工程系，明尼苏达大学，双城分校） ； Department of Electrical and Computer Engineering, University of Minnesota, Twin Cities（电气与计算机工程系，明尼苏达大学，双城分校）
专题命中 软件智能体 ：tool use(abstract)；分类 cs.LG
AI总结 本文探讨利用纠错码矩阵进行大矩阵低秩近似与分解，提出该方法在低秩近似、线性回归等问题中的优势，包括减少随机性、子空间嵌入性质、并行计算优势等。
Journal ref IEEE Transactions on Information Theory ( Volume: 63, Issue: 9, Sept. 2017 ) Page(s): 5544 - 5558
When Firms Learn to Game the Rules
当企业学会钻规则空子
专题命中 软件智能体 ：agent(abstract)
AI总结 本文通过基于智能体的强化学习仿真，研究可计算规则如何影响企业围绕法律边界的策略行为，并评估反博弈设计的效果。
Comments Includes synthetic simulation data, source code, figures, and reproducibility materials
Using learning to control artificial avatars in human motor coordination tasks
利用学习控制人工虚拟形象在人类运动协调任务中的应用
专题命中 软件智能体 ：agent(abstract)
AI总结 本文提出了一种基于马尔可夫链的新方法，赋予虚拟代理以人类运动特性，以实现与目标个体的运动协调，并通过强化学习控制架构合成能够模仿特定人类完成联合运动任务的虚拟代理。
Comments 16 pages, 13 figures
Distributed Stochastic Model Predictive Control for Large-Scale Linear Systems with Private and Common Uncertainty Sources
分布式随机模型预测控制用于具有私有和共同不确定性的大型线性系统
专题命中 软件智能体 ：agent(abstract)
AI总结 本文提出了一种分布式随机模型预测控制方法，用于具有私有和共同不确定性的大型线性系统。通过场景方法，集中式SMPC在每个采样时间都需解决大规模有限时间 horizon 的场景优化问题，这通常计算上很耗时。本文提出两种新方法：首先开发一种将大规模场景程序分解为分布式场景程序的技术，通过交换一定数量的场景来计算局部决策，使用交替方向乘子法（ADMM）；其次开发一种基于参数集技术的软通信方案，以减少子问题间的通信需求。通过两种不同系统的仿真研究，展示了所提框架的优势。
Parameter Optimization in Control Software using Statistical Fault Localization Techniques
使用统计故障定位技术优化控制软件的参数
专题命中 软件智能体 ：workflow(abstract)
AI总结 本文提出基于二元相似性系数和谱方法的统计参数故障定位方法，用于识别控制软件中影响性能的关键参数，通过仿真工作流在汽车控制系统中验证了该方法的有效性。
Designing Real-Time Prices to Reduce Load Variability with HVAC
设计实时价格以减少HVAC的负载波动
专题命中 软件智能体 ：agent(abstract)
AI总结 本文通过主从框架设计PP和RP电价，解决因消费者舒适度差异导致的逆向选择问题，通过混合整数规划求解随机双层程序，比较不同定价方案对峰值负载和负载波动的减缓效果。
Opinion dynamics in social networks with stubborn agents: an issue-based perspective
社会网络中固执代理的意见动态：基于议题的视角
专题命中 软件智能体 ：agent(abstract)
AI总结 本文研究了社会网络中固执代理在议题序列上的意见共识，分析了网络拓扑和系统矩阵对F-J模型收敛性的条件，并探讨了固执代理在议题序列中的意见达成机制。
Simple wealth distribution model causing inequality-induced crisis without external shocks
简单财富分配模型导致不平等引发的危机而无需外部冲击
专题命中 软件智能体 ：agent(abstract)
AI总结 本文提出一个简单模型，通过少数主体积累大量财富引发危机，无需外部冲击，揭示了不平等与经济危机的关系。
Comments 15 pages, 11 figures. Work initiated from discussion on Aristotle's status revisited by Paul Jorion in the many cases where the law of supply and demand fails. Accepted for publication in Physical Review E on April 19, 2017
Journal ref Phys. Rev. E 95, 052307 (2017)
Coordinated Optimization at a Hydro Generating Plant by Software Agents
通过软件代理协调水电站的优化
专题命中 软件智能体 ：agent(abstract)
AI总结 本文提出一种架构，将软件代理集成到水电站控制系统中，通过规则系统实现优化，提升发电功率，并协调多个水电站单元。
Journal ref IEEE Transactions on Control Systems Technology 17.1 (2009): 89-97
Formation Control with Triangulated Laman Graphs
基于三角化Laman图的编队控制
专题命中 软件智能体 ：agent(abstract)
AI总结 本文研究了基于三角化Laman图的编队控制问题，提出了一种控制方法，使得所有稳定平衡点均为目标配置，解决了编队控制中稳定平衡点问题。
Distributed Resource Allocation for Epidemic control
分布式资源分配用于流行病控制
专题命中 软件智能体 ：agent(abstract)
AI总结 本文提出基于D-ADMM算法的分布式资源分配策略，用于控制网络中流行病爆发。通过线性化SIS模型，考虑节点在感染存在下分配疫苗和治疗药物，并将流行病控制条件转化为涉及Perron-Frobenius特征值的谱约束，以几何规划形式解决资源分配问题。
Comments 8 pages, 6 figures; submitted for publication
3. GUI与网页智能体 30 篇
Cooperative Simultaneous Localization and Synchronization in Mobile Agent Networks
协同移动代理网络中的同时定位与同步
专题命中 GUI与网页智能体 ：agent(title,abstract)
AI总结 本文提出基于时间飞行测量的协同定位与同步框架CoSLAS，采用分布式信念传播算法处理时变局部时钟参数，结合粒子实现与参数信息表示提升精度与效率。
Comments 13 pages, 6 figures, 3 tables; manuscript submitted to IEEE Transaction on Signal Processing
Distributed Estimation with Information-Seeking Control in Agent Network
分布式网络中基于信息寻求控制的估计
专题命中 GUI与网页智能体 ：agent(title,abstract)
AI总结 本文提出了一种分布式协作框架，结合信念传播与共识进行联合状态估计，并通过梯度上升最大化后验联合熵以优化信息寻求控制，实现了非线性和非高斯问题中的高效估计与控制。
Comments 17 pages, 10 figures
Optimal strategies for driving a mobile agent in a guidance by repulsion model
在排斥引导模型中驱动移动代理的最优策略
专题命中 GUI与网页智能体 ：agent(title)
AI总结 本文研究了在排斥引导模型中通过控制单一参数来驱动逃避者向目标移动的最优策略，提出反馈控制法以减少规避模式的使用并降低成本。
Fault Tolerant Control for Networked Mobile Robots
网络化移动机器人故障容错控制
专题命中 GUI与网页智能体 ：agent(abstract)；autonomous agent(abstract)
AI总结 本文提出了一种两阶段技术，用于网络化移动机器人中偏置测量代理的识别与补偿，通过单个观测者代理部署的故障识别滤波器估计网络中的单个故障，并在检测到故障后启动最优领导者基于的补偿策略。
Comments 7 pages, 7 figures, conference
Robust Decentralized Abstractions for Multiple Mobile Manipulators
多移动机械臂的鲁棒去中心化抽象
专题命中 GUI与网页智能体 ：agent(abstract)；multi-agent(abstract)
AI总结 本文提出去中心化控制器，使移动机械臂在预定区域导航，同时保证多代理间碰撞避免和连接性维护。通过将耦合多代理系统抽象为多个有限状态转移系统，应用于基于时序逻辑的高层计划。
Comments Accepted for publication in the IEEE Conference on Decision and Control, Melbourne, Australia, 2017
