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

14 papers

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

Nonsmooth Hydraulics, Smooth Control: System Theory Framework for Analyzing Water Networks

Ahmad F. Taha, Mohamad H. Kazma

This paper presents a comprehensive control-theoretic analysis of water distribution network (WDN) hydraulics. Starting from a general nonlinear differential algebraic equation (DA…

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…