2 citations · 6 across the 13 of their papers we have counts for
15 papers
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.…
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…
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…
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…
Exploring Uncertainty Propagation in Coupled Hydrologic and Hydrodynamic Systems via Distribution-Agnostic State Space Analysis
Mohamad H. Kazma, Ahmad F. Taha
Accurate overland runoff and infiltration predictions are critical for effective water resources management, in particular for urban flood management. However, the inherent uncerta…
Partitioning and Observability in Linear Systems via Submodular Optimization
Mohamad H. Kazma, Ahmad F. Taha
Network partitioning has gained recent attention as a pathway to enable decentralized operation and control in large-scale systems. This paper addresses the interplay between parti…
Observability and Generalized Sensor Placement for Nonlinear Quality Models in Drinking Water Networks
Mohamad H. Kazma, Salma M. Elsherif, Ahmad F. Taha
This paper studies the problem of optimal placement of water quality (WQ) sensors in water distribution networks (WDNs), with a focus on chlorine transport, decay, and reaction mod…
Multilinear Extensions in Submodular Optimization for Optimal Sensor Scheduling in Nonlinear Networks
Mohamad H. Kazma, Ahmad F. Taha
Optimal sensing nodes selection (SNS) in dynamic systems is a combinatorial optimization problem that has been thoroughly studied in the recent literature. This problem can be form…
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…
Observability for Nonlinear Systems: Connecting Variational Dynamics, Lyapunov Exponents, and Empirical Gramians
Mohamad H. Kazma, Ahmad F. Taha
Observability quantification is a key problem in dynamic network sciences. While it has been thoroughly studied for linear systems, observability quantification for nonlinear netwo…
Quality-Aware Hydraulic Control in Drinking Water Networks via Controllability Proxies
Salma M. Elsherif, Mohamad H. Kazma, Ahmad F. Taha
The operation of water distribution networks simply aims at efficiently delivering consumers adequate water while maintaining safe water quality (WQ). However, this process entails…
State-Robust Observability Measures for Sensor Selection in Nonlinear Dynamic Systems
Mohamad H. Kazma, Sebastian A. Nugroho, Aleksandar Haber +1
This paper explores the problem of selecting sensor nodes for a general class of nonlinear dynamical networks. In particular, we study the problem by utilizing altered definitions…
ODE Transformations of Nonlinear DAE Power Systems
Mohamad H. Kazma, Ahmad F. Taha
Dynamic power system models are instrumental in real-time stability, monitoring, and control. Such models are traditionally posed as systems of nonlinear differential algebraic equ…
Revisiting the Optimal PMU Placement Problem in Multi-Machine Power Networks
Mohamad H. Kazma, Ahmad F. Taha
To provide real-time visibility of physics-based states, phasor measurement units (PMUs) are deployed throughout power networks. PMU data enable real-time grid monitoring and contr…