activity
20242026
most citedVerification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems

1 citations · 1 across the 14 of their papers we have counts for

collaborators
Showing 2026Show all

11 papers · 1 filter

eess.SP2026

MirrorComm: A Communication-Efficient Cooperative Perception Framework via Mirrored World Models

Shenghan Luo, Yin Xu, Cixiao Zhang +4

Cooperative perception (CP) requires substantial communication bandwidth to exchange sensing information among connected agents. A variety of compression techniques have been propo…

cs.AI2026

Inner-Learning: From Hand-Coded Beliefs to Declarative Knowledge in Trick-Taking Games

Stefan Edelkamp

We present a declarative approach to belief-state modeling in trick-taking card games. Starting from a state-of-the-art Skat player, we automatically extract its hand-coded inferen…

eess.SY2026

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

Mohamad H. Kazma, Hongchao Zhang, Abdallah A. Albustami +4

Differential-algebraic equation (DAE) systems arise in power networks, multibody mechanics, and chemical processes, where algebraic constraints couple dynamic and algebraic states.…

cs.CR2026

When Time Meets Space: Entropy Integration and Dynamic Threshold for Adaptive DDoS Detection in SDN

Zhaoyang Zhang, Shen Wang, Ahmad Taha +2

Entropy-based Distributed Denial of Service (DDoS) detection in Software-Defined Networking (SDN) commonly relies on spatial traffic distributions and static or loosely adaptive th…

math.OC2026

Revisiting The PBH Test: Fast Uncontrollability Certificates via Krylov Methods

Ahmad F. Taha, Mohamad H. Kazma, Abdallah A. Albustami

This letter revisits the classical PBH test through the lens of finite-horizon reachability. By casting state transfer as a minimum energy, primal optimization problem, we show tha…

eess.SY2026

Power System CBFs

Abdallah Alalem B. Albustami, Ahmad F. Taha, Taylor T. Johnson

Control barrier functions (CBFs) have become a standard tool in safety critical-control systems. CBFs convert state constraints into real time control conditions that certify forwa…

cs.LG2026

Modeling Spectral Energy Shifts in Spatio-Temporal Graph Anomaly Detection

Yilin Liu, Hongchao Zhang, Taylor T. Johnson +2

Graph anomaly detection methods aim to distinguish anomalous nodes. While prior methods characterize anomalies through increased variation in the spectral energy distributions, the…

eess.SY2026

Stability and Controllability Margins of Water Network Hydraulics

Ahmad F. Taha, Mohamad H. Kazma

Pump and valve actuation in water distribution networks (WDNs) affects how pressures, flows, and tank levels respond to demand changes and other disturbances. This paper presents a…

eess.SY2026

DAE-Aware Bayesian Inference for Joint Generator-Network Parameter Estimation

Abdallah Alalem Albustami, Ahmad F. Taha, Sankaran Mahadevan

This paper addresses the classic problem of parameter estimation (PE) in multimachine power system models. Such models are typically described by a set of nonlinear differential-al…

math.OC2026

Connections Between Determinantal Point Processes and Gramians in Control

Mohamad H. Kazma, Ahmad F. Taha

Determinantal point processes (DPPs) are probability models over subsets of a ground set that favor diverse selections while suppressing redundancy. That is, they tend to assign hi…

eess.SY2026★ 1 cited

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

Hongchao Zhang, Mohamad H. Kazma, Meiyi Ma +2

Differential-algebraic equations (DAEs) arise in power networks, chemical processes, and multibody systems, where algebraic constraints encode physical conservation laws. The safet…