1 citations · 1 across the 14 of their papers we have counts for
11 papers · 1 filter
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…