1 citations · 1 across the 14 of their papers we have counts for
17 papers
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…
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…
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.…
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…
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…
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…
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…
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…
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…
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…
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…
The Iberian Blackout: A Black Swan or a Gray Rhino? A Protection-Aware Dynamic Voltage Security Assessment
Abdallah Alalem Albustami, Ahmad F. Taha
On 28 April 2025, the Iberian power system collapsed after a rapid voltage rise that led to widespread generation disconnections and loss of synchronism. The final report of the EN…
Breaking the Flow and the Bank: Stealthy Cyberattacks on Water Network Hydraulics
Abdallah Alalem Albustami, Ahmad F. Taha
As water distribution networks (WDNs) become increasingly connected with digital infrastructures, they face greater exposure to cyberattacks that threaten their operational integri…
Enhancing Vehicle Platooning Safety via Control Node Placement and Sizing under State and Input Bounds
Yifei She, Shen Wang, Ahmad Taha +1
Vehicle platooning with Cooperative Adaptive Cruise Control improves traffic efficiency, reduces energy consumption, and enhances safety but remains vulnerable to cyber-attacks tha…
Enhancing Network Security Management in Water Systems using FM-based Attack Attribution
Aleksandar Avdalovic, Joseph Khoury, Ahmad Taha +1
Water systems are vital components of modern infrastructure, yet they are increasingly susceptible to sophisticated cyber attacks with potentially dire consequences on public healt…
Unmasking Stealthy Attacks on Nonlinear DAE Models of Power Grids
Abdallah Alalem Albustami, Ahmad F. Taha, Elias Bou-Harb
Smart grids are inherently susceptible to various types of malicious cyberattacks that have all been documented in the recent literature. Traditional cybersecurity research on powe…
Stability And Uncertainty Propagation In Power Networks: A Lyapunov-based Approach With Applications To Renewable Resources Allocation
Mohamad Kazma, Ahmad F. Taha
The rapid increase in the integration of intermittent and stochastic renewable energy resources (RER) introduces challenging issues related to power system stability. Interestingly…