Mohamad H. Kazma Mohamad H. Kazma

Publications

Publications Under Review

Exploring Uncertainty Propagation in Coupled Hydrologic and Hydrodynamic Systems via Distribution-Agnostic State Space Analysis [U5]
Kazma, Mohamad H., Taha, Ahmad F.
Under review at Advances in Water Resources
arXiv:2603.05740 • 2026 Preprint
Revisiting the PBH Test: Broken Eigenvalues and Fast Algorithms [U4]
Taha, Ahmad F., Kazma, Mohamad H., Albustami, Abdallah A.
Under review at IEEE Control Systems Letters (L-CSS)
2026 Preprint
Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems [U3]
Zhang, Hongchao, Kazma, Mohamad H., Ma, Meiyi, Johnson, Taylor T., Taha, Ahmad F.
Under review at IEEE Transactions on Automatic Control
arXiv:2603.13509 • 2026 Preprint
Control Barrier Certificates for Differential-Algebraic Systems [U2]
Zhang, Hongchao, Kazma, Mohamad H., Wooding, Ben, Ma, Meiyi, Johnson, Taylor T., Taha, Ahmad F.
Under review at IEEE Control Systems Letters (L-CSS)
2026 Preprint
Quality-Aware Hydraulic Control in Drinking Water Networks via Controllability Proxies [U1]
Elsherif, Salma M., Kazma, Mohamad H., Taha, Ahmad F.
arXiv:2401.12214 • 2024 Preprint
Abstract

The operation of water distribution networks is a complex procedure aimed at efficiently delivering consumers with adequate water quantity while ensuring its safe quality. An added challenge is the dependency of the water quality dynamics on the system's hydraulics, which influences the performance of the water quality controller. Prior research has addressed either solving the optimum operational hydraulic setting problem or regulating the water quality dynamics as separate problems. Additionally, there have been efforts to couple these two problems and solve one compact problem resulting in trade-offs between the contradictory objectives. In contrast, this paper takes a novel approach by examining the water quality dependency on the hydraulics from a control-theoretic standpoint. More specifically, we explore the influence of accountability for water quality controllability improvement when addressing the pump scheduling problem. We examine its effects on the cumulative cost of the interconnected systems as well as the subsequent performance of the water quality controller. To achieve this, we develop a framework that incorporates different controllability metrics within the operational hydraulic optimization problem; its aim is attaining an adequate level of water quality control across the system. We assess the aforementioned aspects' performance on various scaled networks with a wide range of numerical scenarios.

Journal Articles

Partitioning and Observability in Linear Systems via Submodular Optimization [J5]
Kazma, Mohamad H., Taha, Ahmad F.
IEEE Transactions on Automatic Control • 2026 — Early Access Journal
Abstract

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 partitioning, observability, and sensor placement (SP) in dynamic networks. The problem, being computationally intractable at scale, is largely unexplored in the literature. To that end, the paper's objective is designing scalable partitioning of linear systems while maximizing observability metrics of the subsystems. We show that the partitioning problem can be posed as a submodular maximization problem -- and the SP problem can subsequently be solved over the partitioned network. Consequently, theoretical bounds are derived to compare observability metrics of the original network with those of the resulting partitions, highlighting the impact of partitioning on system observability. Case studies on networks of varying sizes corroborate the derived theoretical bounds.

Observability for Nonlinear Systems: Connecting Variational Dynamics, Lyapunov Exponents, and Empirical Gramians [J4]
Kazma, Mohamad H., Taha, Ahmad F.
IEEE Transactions on Control of Network Systems • 2026 — Conditionally accepted Journal
Abstract

Observability is a key problem in dynamic network sciences. While it has been thoroughly studied for linear systems, observability for nonlinear networks is less intuitive and more cumbersome. One common approach to quantify observability for nonlinear systems is via the Empirical Gramian (Empr-Gram) -- a generalized form of the Gramian of linear systems. In this technical note, we produce three new results. First, we establish that a variational form of nonlinear systems (computed via perturbing initial conditions) yields a so-called Variational Gramian (Var-Gram) that is equivalent to the classic Empr-Gram; the former being easier to compute than the latter. Via Lyapunov exponents derived from Lyapunov's direct method, the technical note's second result derives connections between vintage observability measures and Var-Gram. The third result demonstrates the applicability of these new notions for sensor selection/placement in nonlinear systems. Numerical case studies demonstrate these three developments and their merits.

Revisiting the Optimal PMU Placement Problem in Multimachine Power Networks [J3]
Kazma, Mohamad H., Taha, Ahmad F.
IEEE Transactions on Control Systems Technology • 2025 Journal
Abstract

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 control - and are essential in transitioning to smarter grids. Various considerations are taken into account when determining the geographic, optimal PMU placements (OPPs). This article focuses on the control-theoretic, observability aspect of OPP. A myriad of studies have investigated observability-based formulations to determine the OPP within a transmission network. However, they have mostly adopted a simplified representation of system dynamics, ignored basic algebraic equations that model power flows, disregarded renewables such as solar and wind, and did not model their uncertainty. Consequently, this article revisits the observability-based OPP problem by addressing the literature's limitations. A nonlinear differential algebraic (NDAE) representation of the power system is considered. The system is discretized using various discretization approaches while explicitly accounting for uncertainty. A moving horizon estimation (MHE) approach is explored to reconstruct the joint differential and algebraic initial states of the system, as a gateway to the OPP problem, which is then formulated as a computationally tractable integer program (IP). Comprehensive numerical simulations on standard power networks are conducted to validate different aspects of this approach and test its robustness to various dynamical conditions.

Observability and generalized sensor placement for nonlinear quality models in drinking water networks [J2]
Kazma, Mohamad H., Elsherif, Salma M., Taha, Ahmad F.
Journal of Water Process Engineering • 2025 Journal
Abstract

This paper studies the problem of optimal geographic placement of water quality (WQ) sensors in drinking water distribution networks (WDNs), with a specific focus on chlorine transport, decay, and reaction models. Such models are traditionally used as suitable proxies for WQ. The literature on this topic is indeed inveterate, but has a key limitation: it utilizes simplified single-species decay and reaction models that do not capture WQ transients for nonlinear, multi-species interactions. This results in sensor placements that do not account for nonlinear WQ dynamics. Furthermore, and as WQ simulations are parameterized by hydraulic profiles and demand patterns, the placement of sensors are often hydraulics-dependent. This study produces a simple algorithm that addresses the two aforementioned limitations. The presented algorithm is grounded in nonlinear dynamic system sciences and observability theory, and yields sensor placements that are robust to hydraulic changes. Thorough case studies on benchmark water networks are provided. The key findings provide practical recommendations for WDN operators.

Stability and Uncertainty Propagation in Power Networks: A Lyapunov-based Approach with Applications to Renewable Resources Allocation [J1]
Kazma, Mohamad H., Taha, Ahmad F.
IEEE Transactions on Power Systems • 2025 Journal
Abstract

The rapid increase in the integration of intermittent and stochastic renewable energy resources (RER) introduces challenging issues related to power system stability. Interestingly, identifying grid nodes that can best support stochastic loads from RER, has gained recent interest. Methods based on Lyapunov stability are commonly exploited to assess the stability of power networks. These strategies approach quantifying system stability while considering: (i) simplified reduced order power system models that do not model power flow constraints, or (ii) datadriven methods that are prone to measurement noise and hence can inaccurately depict stochastic loads as system instability. In this paper, while considering a nonlinear differential algebraic equation (NL-DAE) model, we introduce a new method for assessing the impact of uncertain renewable power injections on the stability of power system nodes/buses. The identification of stable nodes informs the operator/utility on how renewables injections affect the stability of the grid. The proposed method is based on optimizing metrics equivalent to the Lyapunov spectrum of exponents; its underlying properties result in a computationally efficient and scalable stable node identification algorithm for renewable energy resources allocation. The proposed method is validated on the IEEE 9-bus and 200-bus networks

Conference Papers

Multilinear Extensions in Submodular Optimization for Optimal Sensor Scheduling in Nonlinear Networks [C10]
Kazma, Mohamad H, Taha, Ahmad F
2025 American Control Conference (ACC) • 2025 Conference
Generalizable Stability Metrics for Power Grids [C9]
Kazma, Mohamad H, Taha, Ahmad F
2025 American Control Conference (ACC) • 2025 Conference
Controllability Gramians Make Water Safer: Water Quality and Hydraulic Regulation in Drinking Networks [C8]
Elsherif, Salma M, Kazma, Mohamad H, Taha, Ahmad F
2025 American Control Conference (ACC) • 2025 Conference
ODE Transformations of Nonlinear DAE Power Systems [C7]
Kazma, Mohamad H., Taha, Ahmad F.
IEEE Power and Energy Society General Meeting • 2024 Conference
Abstract

Dynamic power system models are instrumental in real-time stability, monitoring, and control. Such models are traditionally posed as systems of nonlinear differential algebraic equations (DAEs): the dynamical part models generator transients and the algebraic one captures network power flow. While the literature on control and monitoring for ordinary differential equation (ODE) models of power systems is indeed rich, that on DAE systems is not. DAE system theory is less understood in the context of power system dynamics. To that end, this paper presents two new mathematical transformations for nonlinear DAE models that yield nonlinear ODE models while retaining the complete nonlinear DAE structure and algebraic variables. Such transformations make (more accurate) power system DAE models more amenable to a host of control and state estimation algorithms designed for ODE dynamical systems. We showcase that the proposed models are effective, simple, and computationally scalable.

Water Quality Controllability Metrics, Limitations, and Hydraulic Dependencies [C6]
Salma M. Elsherif, Mohamad H. Kazma, Ahmad F. Taha, Ahmed A. Abokifa
World Environmental and Water Resources Congress 2024 • 2024 Conference
Abstract

Efficient water quality (WQ) control in distribution networks is pivotal for ensuring the delivery of safe and clean drinking water to consumers. Attaining this goal is complex due to the inherent intricacies of WQ systems, which often pose substantial challenges to achieving full controllability over their dynamics. Controllability, in this context, refers to the ability to effectively steer, regulate, and maintain disinfectant levels within the network to consistently meet the established water health standards. In addition, hydraulic conditions play a crucial role in influencing the level of WQ controllability. Hydraulic settings, including flow rates and directions, pressures, and network components, have a direct impact on how water quality dynamics propagate thereby influencing its controllability. In this study, we explore various metrics that provide both qualitative and quantitative assessments of water quality systems controllability. We examine the applicability of these metrics to the water quality systems taking into consideration network topology, booster stations' locations, and changes in hydraulic settings. By applying a comprehensive framework to various case studies, we assess the performance, practicality, and limitations of these metrics across different network configurations and scenarios. The outcomes of this assessment not only enable water system operators to evaluate the state of system controllability but also provide a pathway for leveraging these metrics to enhance the efficiency and effectiveness of control and regulation strategies.

State-Robust Observability Measures for Sensor Selection in Nonlinear Dynamic Systems [C5]
Kazma, Mohamad H., Nugroho, Sebastian A., Haber, Aleksandar, Taha, Ahmad F.
Proceedings of the IEEE Conference on Decision and Control • 2023 Conference
Abstract

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 of observability and open-loop lifted observers. The approach is performed by discretizing the system's dynamics using the implicit Runge- Kutta method and by introducing a state-averaged observability measure. The observability measure is computed for a number of perturbed initial states in the vicinity of the system's true initial state. The sensor node selection problem is revealed to retain the submodular and modular properties of the original problem. This allows the problem to be solved efficiently using a greedy algorithm with a guaranteed performance bound while showing an augmented robustness to unknown or uncertain initial conditions. The validity of this approach is numerically demonstrated on a H2/O2 combustion reaction network.

Optimal Placement of PMUs in Power Networks: Modularity Meets A Priori Optimization [C4]
Kazma, Mohamad H., Taha, Ahmad F.
Proceedings of the American Control Conference • 2023 Conference
Abstract

This paper revisits the optimal phasor measurement unit (PMU) placement problem (P3) in transmission networks. We examine P3 from a control-theoretic and dynamic systems perspectives. Relevant prior literature studied this problem through formulations that are based on empirical observability maximization for nonlinear dynamic power system models. While such studies addressed a plethora of challenges, they mostly adopt a simple representation of system dynamics, ignore basic algebraic equations modeling power flows, forgo including renewables and their uncertainty. This paper offers a fresh perspective on this problem by leveraging the observability matrix's modularity property under a moving horizon estimation theoretic. A nonlinear differential algebraic representation of the system is implicitly discretized while explicitly accounting for uncertainty. To that end, the posed challenges are addressed for the optimal P3 via a computationally tractable integer program formulation. The validity of the approach is illustrated on an IEEE 39-bus power system.

Mechanical characterization of a concrete masonry block enhanced with micro-encapsulated phase changing materials [C3]
Salem, Talal, Kazma, Mohamad, Bitar, Judy, Moussa, Joseph, Falah, Dalia
Journal of Physics: Conference Series • 2021 Conference
Abstract

Global energy demand has been increasing exponentially in the last three decades, which has been exacerbated by climate change. To alleviate the energy load, researchers have been exploring innovative passive techniques to enhance the thermal performance of building envelopes. This research evaluates a novel building envelope solution, which includes the development of a Concrete Masonry Unit that is integrated with bio-based micro-encapsulated Phase Changing Materials. The mechanical behaviour of the enhanced CMU is investigated to study the applicability of PCMs into the no-slump concrete mix. Compatibility with the applicable standards opens a broader prospect for thermal characterization and building performance simulations of PCM enhanced CMU building envelopes.

Numerical investigation of the impact of integrating solar collectors under stagnation [C2]
Salem, Talal, Metni, Najib, Kazma, Mohamad, Hanna, Hala
2020 5th International Conference on Renewable Energies for Developing Countries, REDEC 2020 • 2020 Conference
Abstract

Energy consumption is a prominent issue for achieving sustainability within the built environment. A significant portion of the energy consumed is the building's need of hot domestic water, space heating and cooling. Whereby a promising solution for the reduction of fossil fuel energy consumption and its consequent greenhouse gas emissions is the use of solar energy systems. Being an important renewable energy source, façade integration technology such as, building integrated solar thermal (BIST) system enables the use of renewable solar energy within the building envelope. Thus, allowing a high coverage and enhanced energy efficiency under a Mediterranean climate. The façade is the main architectural feature; hence, the collectors cannot be added as a technical element only, aesthetic integration should be satisfactory. BIST systems also affect heat exchange through the building's envelope in particular, when the operational condition is stagnation of water in the pipes. The aim of this paper is to study the impact of utilizing a BIST system on the façade of a building that is under stagnant conditions using a numerical simulation software TRNSYS-18. The model evaluates the performance of a flat plate solar collector (FPSC) by performing a parametric analysis of effective variables such as insulation thickness, angle of inclination, emissivity, and absorptivity. The main goal is to assess indoor air temperatures and wall temperatures of a modular room that represents a Lebanese office building. The prospect of this study is to validate the developed model with experimental data gathered under outdoor conditions for two experimental rooms built, one being the control room and the other room that is equipped with a FPSC.

Impact on Thermal Comfort from the Integration of Solar Panels Under Stagnation in Buildings: A Numerical Investigation [C1]
Salem, Talal, Kazma, Mohamad, Metni, Najib
International Conference on Efficient Building Design: Material and HVAC Equipment Technologies • 2020 Conference
Abstract

Lebanon has been encountering an energy crisis for more than two decades and has a large energy supply deficit. Most of energy demand is for space cooling, heating, and domestic hot water heating. A mitigation measure for such use of conventional fossil fuel energy sources is the use of solar energy. Solar thermal collectors allow to harness solar energy for water heating use; however, the usual techniques lead to overcrowding building roofs. Façade integration technology such as, building integrated solar thermal (BIST) system allow the exploitation of the building's large façade for solar heating. Aesthetic incorporation is important, being the façade an architecture feature. Heat exchange through the building's envelope is also affected, particularly in the case when water is stagnant the pipes of the collector. Thus, the aim of this paper is to assess the impact on thermal comfort that arises from using a BIST system on the façade of a building and is under stagnant conditions using a simulation software TRNSYS-18. The model will evaluate the thermal performance of a room with a flat plate thermal collector (FPTC) directly integrated into the south wall and compare it to a control room. The main goal is to assess indoor air / surface temperatures and the thermal comfort parameters according to the Predicted Mean Vote (PMV) model of the room representing a Lebanese office building.

Conference Presentations

Water Quality Controllability Metrics, Limitations, and Hydraulic Dependencies [A4]
Elsherif, Salma M., Kazma, Mohamad H., Taha, Ahmad F., Abokifa, Ahmed A.
EWRI Congress 2024 • 2024 Presentation
Abstract

Efficient water quality (WQ) control in distribution networks is pivotal for ensuring the delivery of safe and clean drinking water to consumers. Attaining this goal is complex due to the inherent intricacies of WQ systems, which often pose substantial challenges to achieving full controllability over their dynamics. Controllability, in this context, refers to the ability to effectively steer, regulate, and maintain disinfectant levels within the network to consistently meet the established water health standards. In addition, hydraulic conditions play a crucial role in influencing the level of WQ controllability. Hydraulic settings, including flow rates and directions, pressures, and network components, have a direct impact on how water quality dynamics propagate thereby influencing its controllability. In this study, we explore various metrics that provide both qualitative and quantitative assessments of water quality systems controllability. We examine the applicability of these metrics to the water quality systems taking into consideration network topology, booster stations' locations, and changes in hydraulic settings. By applying a comprehensive framework to various case studies, we assess the performance, practicality, and limitations of these metrics across different network configurations and scenarios. The outcomes of this assessment not only enable water system operators to evaluate the state of system controllability but also provide a pathway for leveraging these metrics to enhance the efficiency and effectiveness of control and regulation strategies.

On Placement of Water Quality Sensors for Nonlinear Multi-Species Models in Drinking Networks [A3]
Kazma, Mohamad H., Elsherif, Salma M., Taha, Ahmad F.
EWRI Congress 2024 • 2024 Presentation
Abstract

The real-time monitoring of water distribution networks enables water quality (WQ) controllers to trace the evolution of disinfectants and contaminants within the network. Water quality sensors are typically employed within the network to achieve an observable system. However, the expensiveness of sensors along with their installation requires sensors to be optimally placed at certain location of the network. Prior research has approached solving the optimal geographic placement of WQ sensors from an objective-based approach that either assign different public health metrics related to contamination events, and network-wide observability-based metrics to obtain the optimal sensor selection. However, such methods have typically adopted the use of simplified single-species decay and reaction models; the resulting sensor placements are not robust to changes in the network's hydraulic profile or advanced WQ models that capture far more than chlorine decay. To that end, in this work we introduce a state-robust observability-based sensor selection framework. The underlying water network model is based on a multi-species reaction dynamics representation; it enables contaminant reactivity modeling. The proposed sensor placement framework offers the following: (i) a robust solution towards fluctuations in water demand patterns; (ii) a scalable algorithm that enables its applicability to large-scale networks. A comprehensive case study is provided on benchmark water networks with varying hydraulic conditions. The sensor placement framework is solved considering several system observability metrics. This offers different observations that water system operators can consider.

Smarter Pump Scheduling Can Improve Water Quality Dynamics in Distribution Networks [A2]
Elsherif, Salma M., Kazma, Mohamad H., Taha, Ahmad F.
EWRI Congress 2024 • 2024 Presentation
Abstract

In drinking water networks, hydraulics and water quality stand out as two paramount phenomena, each with its distinct focus and time-scale. Hydraulics is concerned with delivering adequate pressure throughout the network, ensuring that water flows efficiently to meet consumers' needs. On the other hand, water quality focuses on the maintenance of high standards for water safety within the network. These two critical aspects operate on distinct time-scales. Hydraulics undergo changes on a longer time-scale, reflecting the gradual shifts in flow rates and pressure levels across the network. In contrast, water quality dynamics require faster measures, often necessitating the computation of hydraulic profiles in advance. That is, a layer of complexity arises from the interdependency of the water quality dynamics on the system's hydraulics. This interdependence significantly impacts the performance of the water quality control and regulation algorithm in response to hydraulic adjustments. Prior studies have tended to focus on the two problems separately; Some studies have focused on optimizing the operational hydraulic settings, while others have concentrated on regulating water quality dynamics. Moreover, other studies have coupled these two problems leading to trade-offs between conflicting objectives. In this study, we adopt a control-theoretic perspective to investigate the intricate relationship between optimized hydraulic operation and water quality control. Our proposed framework explores the enhancement of water quality controllability while solving the pump schedule optimization problem. We examine the resultant trade-offs of the operational scheduling problem in comparison to the decoupled approach—and evaluate the impact on the water quality control performance. We assess and validate the proposed approach on various case studies with different scales and hydraulic scenarios. This study offers novel approaches to the integration of hydraulic and water quality control, paving the way for more effective and resource-efficient management of water distribution networks.

Revisiting the Optimal Sensor Placement Problem In Power Networks [A1]
Kazma, Mohamad H., Taha, Ahmad F.
INFORMS Annual Meeting Indianapolis 2022 • 2022 Presentation
Abstract

Future power networks that are dominated by renewables face challenges related to maintaining network-wide stability. To address these challenges, wide-area monitoring systems and phasor measurement units (PMUs) provide real-time sensor data of physics-based states. Various studies have investigated mixed-integer programming formulations to optimally determine the geographic PMU placements. While such studies addressed a plethora of challenges, they mostly adopt a simple representation of system dynamics, ignore basic algebraic equations modeling power flows, forgo including renewables such as solar and wind, and do not model their uncertainty. To that end, the objective of this work is to revisit the PMU placement problem and address these challenges via a novel optimization formulation. The proposed approach is validated on IEEE power networks.