Safe Control of Semi-Explicit Differential-Algebraic Systems: Control Barrier Functions with SOS Verification

arXiv:2610.09634 · eess.SY, cs.SY, math.OC · Submitted 2026-10-07 · Read on arXiv

eess.SY, cs.SY, math.OC

Submitted: 2026-10-07

Updated: 2026-10-07

Terminology

• Verification — 30× in this paper · explained in 2 episodes
• Benchmark — 3× in this paper · explained in 2 episodes
• European Control Conference — 3× in this paper
• American Control Conference — 2× in this paper
• Consistency — 2× in this paper · explained in 3 episodes
• Hybrid System — 2× in this paper · explained in 2 episodes
• Conservation Laws — 1× in this paper · explained in 3 episodes
• Control Barrier Function (CBF) — 1× in this paper · explained in 5 episodes
• Control Barrier Functions (CBFs) — 1× in this paper · explained in 4 episodes
• Defense Advanced Research Projects Agency — 1× in this paper
• Formal Methods — 1× in this paper · explained in 3 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes
• Lyapunov function — 1× in this paper · explained in 2 episodes
• National Science Foundation — 1× in this paper
• Ordinary Differential Equations (ODEs) — 1× in this paper · explained in 2 episodes

Sources

• Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems

Related papers

• One Request, Multiple Experts: LLM Orchestrates Domain Specific Models via Adaptive Task Routing
• A Geometric Decision Procedure for STL Feasibility and Repair
• Submodular Multi-Agent Policy Learning for Online Distributed Task Allocation in Open Multi-Agent Systems
• Policy-Level Recursive Self-Improvement for Embodied AI with a Criticality World Model
• Minimal Experiments for Robust Stabilization: Information, Spectral Geometry, and Duration
• Decentralized Power-Optimal Coordination for Spacecraft Swarms Using Time-Varying Magnetorquer Actuation