Safe Control of Semi-Explicit Differential-Algebraic Systems: Control Barrier Functions with SOS Verification FH42QK814C
| URI | m2://res/FH42QK814C |
|---|---|
| Kind | preprint |
| Creators | Mohamad H. Kazma, Hongchao Zhang, Abdallah A. Albustami, Ben Wooding, Meiyi Ma, Taylor T. Johnson, Ahmad F. Taha |
| Date | 2026-10-07 |
| Subjects | arxiv eess.SY, arxiv cs.SY, arxiv math.OC |
| Scope | out |
Expressions
e1: version, preprint
| Date | 2026-10-07 |
|---|---|
| Ids | arXiv 2610.09634 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| DAE-aware CBF verification | statement | theorem 4 | arxiv |
| Relative degree | definition | definition 3 | arxiv |
| Correctness via Psatz | statement | lemma 2 | arxiv |
| Safety of semi-explicit DAEs | statement | theorem 2 | arxiv |
| Index and relative degree | statement | lemma 1 | arxiv |
| Differentiation index | definition | definition 1 | arxiv |
| Polynomial DAE-aware certificates | statement | proposition 1 | arxiv |
| BDCVFJVM8Z | problem | problem 2 | arxiv |
| DAE-aware HOCBF for semi-explicit systems | statement | corollary 2 | arxiv |
| Valid DAE-aware CBF | definition | definition 4 | arxiv |
| KHB0KH7YWN | statement | theorem 3 | arxiv |
| \hspace{-0.01cm | statement | theorem 1 | arxiv |
| Farkas' Lemma | statement | lemma 3 | arxiv |
| Autonomous DAEs | statement | corollary 1 | arxiv |
| Safety | definition | definition 2 | arxiv |
| ZA7Q2G7XZM | problem | problem 1 | arxiv |
Catalogue records
- arxiv: 2610.09634 (work)