arXiv cs.RO· Hongchao Zhang, Mohamad H. Kazma, Meiyi Ma, Taylor T. Johnson, Ahmad F. Taha·· 6 小时前
面向微分代数系统的控制屏障函数验证与前向不变性
Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
AI 导读
针对微分代数方程（DAE）系统中代数约束与CBF条件可能冲突、现有CBF方法无法直接适用的问题，该论文提出DAE-aware CBFs，通过投影向量场将微分代数结构纳入框架，给出保证安全集前向不变且不破坏代数约束的条件，并扩展至高阶DAE。
来源：arXiv cs.RO · arxiv.org