Performance Comparison of Gate-Based and Adiabatic Quantum Computing for AC Power Flow Problem
该论文首次直接对比了门基量子计算（采用 QAOA 算法）与绝热量子计算（基于 Ising 模型）在求解交流潮流问题上的性能，并通过 4 节点系统的数值实验及与 D-Wave 和 Fujitsu 数字退火器的基准测试，量化评估了两种范式在精度、可扩展性及实际应用潜力方面的权衡。
💻 Category
cs.SY
322 篇论文
Admittance Matrix Concentration Inequalities for Understanding Uncertain Power Networks
该论文利用随机矩阵的集中不等式，为不确定参数下的电力网络导纳矩阵谱及经典线性潮流模型建立了保守概率界限，揭示了误差界与节点关键性的关联，并通过 IEEE 测试系统验证了其在捕捉谱扰动缩放行为方面的有效性。
Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency
该论文提出了一种基于连续时间混合单调性技术的区间可达性分析方法，通过利用同胚性质和几何结构，在神经 ODE 验证中实现了计算效率与紧致性之间的有效权衡，特别适用于高维实时安全关键应用。
Multi-UAV Flood Monitoring via CVT with Gaussian Mixture of Density Functions for Coverage Control
本文提出了一种基于高斯混合密度函数与重心 Voronoi tessellation 的多无人机协同控制策略，用于在未知洪涝区域进行更精准的覆盖监测与淹没范围估计，并通过仿真实验验证了该方法相比传统模型在覆盖率和空间分布上的显著优势。
Real-Time Learning of Predictive Dynamic Obstacle Models for Robotic Motion Planning
本文提出了一种基于改进滑动窗口汉克尔动态模态分解（Hankel-DMD）的实时在线框架，通过奇异值硬阈值去噪和结构低秩一致性投影，从部分含噪数据中构建动态障碍物的非线性预测模型，实现了稳定的方差感知去噪与短期轨迹预测，适用于机器人实时运动规划。
Dependent Reachable Sets for the Constant Bearing Pursuit Strategy
本文针对采用反馈策略的追逃场景，以常值方位（Constant Bearing）追击策略为例，提出了“依赖可达集”这一新概念，通过理论推导给出了其几何边界，并借助仿真验证了其形状特征。
XR-DT: Extended Reality-Enhanced Digital Twin for Safe Motion Planning via Human-Aware Model Predictive Path Integral Control
本文提出了 XR-DT 框架，该框架结合扩展现实（XR）数字孪生技术与基于注意力机制的轨迹预测模型，通过新型的人类感知模型预测路径积分（HA-MPPI）控制器，实现了人机共享空间中安全、高效且可解释的机器人运动规划。
SORS: A Modular, High-Fidelity Simulator for Soft Robots
本文提出了 SORS（软体对刚性模拟器），这是一种基于有限元方法和约束非线性优化的模块化高保真仿真框架，能够准确模拟软体机器人的大变形、接触相互作用及驱动动力学，并通过多项真实实验验证了其在缩小仿真与现实差距方面的有效性。
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
本文介绍了 StochasticBarrier.jl，这是一个基于 Julia 的开源工具箱，利用半定规划、线性规划和梯度下降等优化方法为含高斯噪声的离散随机系统生成随机屏障函数，并在计算速度、安全概率界及可扩展性方面显著优于现有工具。
Regret Guarantees for Model-Free Cooperative Filtering under Asynchronous Observations
该论文针对异步观测下的动态系统预测问题，提出了一种基于在线最小二乘的模型无关协同滤波算法，并证明了其在边际稳定系统下具有的遗憾界，且在特定辛矩阵条件下能优于仅依赖局部观测的最优模型预测器。
Introducing the transitional autonomous vehicle lane-changing dataset: Empirical Experiments
本文介绍了 NC-tALC 数据集，该数据集包含 152 次高分辨率受控实验，旨在填补过渡期自动驾驶车辆（tAVs）在强制变道场景下与人类驾驶车辆及自适应巡航控制车辆交互行为数据的空白，为评估其决策与动态特性提供实证基础。
Electrical Power Network Modeling Framework for Wildfire Risk and Resilience Analysis
该论文提出了一种 wildfire-aware 建模框架，旨在通过整合野火时空传播、灾害与基础设施相互作用以及停电对社区的影响等关键维度，弥补现有简化模型在评估电网野火风险与韧性策略方面的不足。
Exploring Uncertainty Propagation in Coupled Hydrologic and Hydrodynamic Systems via Distribution-Agnostic State Space Analysis
该论文提出了一种基于微分代数方程的状态空间框架，通过仅依赖协方差而非特定分布假设的分布无关方法，在部分观测条件下实现了对耦合水文与水动力系统中降雨、土壤及初始条件不确定性的实时量化与传播，从而为流域状态提供了概率估计。
Combinatorial Safety-Critical Coordination of Multi-Agent Systems via Mixed-Integer Responsibility Allocation and Control Barrier Functions
该论文提出了一种混合安全关键协调架构，通过混合整数规划将碰撞避免责任分配给多智能体系统中的各个代理，从而消除冗余约束并降低计算复杂度，使每个代理仅需求解简化的局部二次规划即可实现密集环境下的安全协同。
On Koopman Resolvents and Frequency Response of Nonlinear Systems
本文提出了一种基于 Koopman 算子框架的非线性系统频率响应新公式，通过输出拉普拉斯变换将经典 LTI 方法推广至非线性领域，并导出了用于绘制伯德图的复值响应函数及存在性充分条件。
Improved hopping control on slopes for small robots using spring mass modeling
本文提出了一种基于弹簧质量模型的简单控制策略，通过调整触地角度和施加预补偿力矩，有效解决了小型跳跃机器人在斜坡上因倾斜地面导致的不稳定旋转问题，使其能在无需复杂传感与计算的情况下实现稳定跳跃。
A Dual-AoI-based Approach for Optimal Transmission Scheduling in Wireless Monitoring Systems with Random Data Arrivals
本文针对无线监测系统中数据随机到达和信道不可靠导致的本地与中心年龄信息（AoI）异步演化问题，提出了一种基于双 AoI 模型的马尔可夫决策过程调度方案，推导出了具有信道状态依赖阈值结构的低复杂度最优策略并证明了其稳定性，仿真结果表明该策略优于现有方法。
Conversational Demand Response: Bidirectional Aggregator-Prosumer Coordination through Agentic AI
该论文提出了“对话式需求响应”（CDR）机制，利用代理人工智能构建双向多智能体架构，使聚合商与产消者通过自然语言进行透明、可解释的灵活互动，从而在保持自动化扩展性的同时增强用户自主权并确保持续参与。
Star-based Navigation in the Outer Solar System
该论文提出了一种利用邻近恒星视差位移和遥远恒星姿态匹配来实现外太阳系（最远 250 AU）自主导航的方法，并通过蒙特卡洛模拟验证了其在无需地球依赖的情况下可实现亚天文单位级定位精度，从而有效支持深空探测任务。
AI End-to-End Radiation Treatment Planning Under One Second
该论文介绍了一种名为 AIRT 的端到端深度学习框架，它能在单块 Nvidia A100 GPU 上不到一秒的时间内，直接从 CT 图像和结构轮廓生成前列腺 VMAT 放疗计划，并在靶区覆盖度和器官保护等关键指标上展现出与 RapidPlan Eclipse 相当的非劣效性。