arXiv cs.RO 机器人学· Hongchao Zhang, Mohamad H. Kazma, Meiyi Ma, Taylor T. Johnson, Ahmad F. Taha·· 2 小时前精选AI 评分53
arXiv 论文：面向微分代数系统的控制障碍函数验证与前向不变性
Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
AI 导读
论文提出面向微分代数方程（DAE）的控制障碍函数（CBF）方法，通过投影向量场引入微分代数结构，推导在保持代数约束的同时保证安全集前向不变的条件，并扩展到高指标 DAE。
推荐理由
论文针对代数约束与安全条件冲突的问题给出 DAE 感知的 CBF 构造与验证条件，做控制安全验证的读者可参考其方法框架。
来源：arXiv cs.RO 机器人学 · arxiv.org