Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhang, Hongchao, Kazma, Mohamad H., Ma, Meiyi, Johnson, Taylor T., Taha, Ahmad F.
Formato:	Preprint
Publicado:	2026
Materias:	Systems and Control Robotics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Nonsmooth Hydraulics, Smooth Control: System Theory Framework for Analyzing Water Networks
por: Taha, Ahmad F., et al.
Publicado: (2026)

Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
por: Dai, Hongkai, et al.
Publicado: (2024)

Connections Between Determinantal Point Processes and Gramians in Control
por: Kazma, Mohamad H., et al.
Publicado: (2026)

ODE Transformations of Nonlinear DAE Power Systems
por: Kazma, Mohamad H., et al.
Publicado: (2023)

Partitioning and Observability in Linear Systems via Submodular Optimization
por: Kazma, Mohamad H., et al.
Publicado: (2025)

Observability for Nonlinear Systems: Connecting Variational Dynamics, Lyapunov Exponents, and Empirical Gramians
por: Kazma, Mohamad H., et al.
Publicado: (2024)

Exploring Uncertainty Propagation in Coupled Hydrologic and Hydrodynamic Systems via Distribution-Agnostic State Space Analysis
por: Kazma, Mohamad H., et al.
Publicado: (2026)

Multilinear Extensions in Submodular Optimization for Optimal Sensor Scheduling in Nonlinear Networks
por: Kazma, Mohamad H., et al.
Publicado: (2024)

Revisiting the Optimal PMU Placement Problem in Multi-Machine Power Networks
por: Kazma, Mohamad H., et al.
Publicado: (2023)

Stability And Uncertainty Propagation In Power Networks: A Lyapunov-based Approach With Applications To Renewable Resources Allocation
por: Kazma, Mohamad, et al.
Publicado: (2024)

SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
por: Zhang, Hongchao, et al.
Publicado: (2024)

Quality-Aware Hydraulic Control in Drinking Water Networks via Controllability Proxies
por: Elsherif, Salma M., et al.
Publicado: (2024)

Stochastic Neural Control Barrier Functions
por: Zhang, Hongchao, et al.
Publicado: (2025)

Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks
por: Zhang, Hongchao, et al.
Publicado: (2024)

Observability and Generalized Sensor Placement for Nonlinear Quality Models in Drinking Water Networks
por: Kazma, Mohamad H., et al.
Publicado: (2024)

Airspeed Forward-Invariance for Unpowered Fixed-Wing Aircraft
por: Tekaslan, Huseyin Emre, et al.
Publicado: (2026)

Compatibility of Multiple Control Barrier Functions for Constrained Nonlinear Systems
por: Cohen, Max H., et al.
Publicado: (2025)

A Safe Hybrid Control Framework for Car-like Robot with Guaranteed Global Path-Invariance using a Control Barrier Function
por: Wang, Nan, et al.
Publicado: (2025)

A Linear MPC with Control Barrier Functions for Differential Drive Robots
por: Ali, Ali Mohamed, et al.
Publicado: (2024)

Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions
por: Xiao, Wei, et al.
Publicado: (2023)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
por: Hu, Hanjiang, et al.
Publicado: (2024)

Fast, Smooth, and Safe: Implicit Control Barrier Functions through Reach-Avoid Differential Dynamic Programming
por: Kumar, Athindran Ramesh, et al.
Publicado: (2023)

Safety-Critical Control for Autonomous Systems: Control Barrier Functions via Reduced-Order Models
por: Cohen, Max H., et al.
Publicado: (2024)

Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems
por: Cohen, Max H., et al.
Publicado: (2024)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
por: Vertovec, Nikolaus, et al.
Publicado: (2025)

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
por: Vaisi, Goli, et al.
Publicado: (2025)

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
por: Yang, Shuo, et al.
Publicado: (2023)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
por: Liu, Shuo, et al.
Publicado: (2023)

Rollover Prevention for Mobile Robots with Control Barrier Functions: Differentiator-Based Adaptation and Projection-to-State Safety
por: Das, Ersin, et al.
Publicado: (2024)

Resilient Estimator-based Control Barrier Functions for Dynamical Systems with Disturbances and Noise
por: Tao, Chuyuan, et al.
Publicado: (2024)

Predictive Control Barrier Functions for Discrete-Time Linear Systems with Unmodeled Delays
por: Salazar, Juan Augusto Paredes, et al.
Publicado: (2025)

Adaptive Model Predictive Control for Differential-Algebraic Systems towards a Higher Path Accuracy for Physically Coupled Robots
por: Ye, Xin, et al.
Publicado: (2024)

Unifying Complementarity Constraints and Control Barrier Functions for Safe Whole-Body Robot Control
por: Muchacho, Rafael I. Cabral, et al.
Publicado: (2025)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
por: Sawarkar, Shubham, et al.
Publicado: (2025)

Safe Force/Position Tracking Control via Control Barrier Functions for Floating Base Mobile Manipulator Systems
por: Sharifi, Maryam, et al.
Publicado: (2024)

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis
por: Wiltz, Adrian, et al.
Publicado: (2025)

Learning Local Control Barrier Functions for Hybrid Systems
por: Yang, Shuo, et al.
Publicado: (2024)

A Predictive Cooperative Collision Avoidance for Multi-Robot Systems Using Control Barrier Function
por: Li, Xiaoxiao, et al.
Publicado: (2025)

Safety Guardrails in the Sky: Realizing Control Barrier Functions on the VISTA F-16 Jet
por: Singletary, Andrew W., et al.
Publicado: (2026)

Predicted-Flow Control Barrier Functions for Real-Time Safe Optimal Control
por: Safari, Amirsaeid, et al.
Publicado: (2026)