arXiv subjects

Ahmad F. Taha

Publications and source records attributed to Ahmad F. Taha.

At least 37 records · Page 2Linked to original sources

arXiv2025

Observability and Generalized Sensor Placement for Nonlinear Quality Models in Drinking Water Networks

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 models. Such models are traditionally used as suitable proxies for WQ. The literature on this topic is 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 (SP) that do not account for nonlinear WQ dynamics. Furthermore, as WQ simulations are parameterized by hydraulic profiles and demand patterns, the placement of sensors are often hydraulics-dependent. This study produces a greedy algorithm that addresses the two aforementioned limitations. The algorithm is grounded in nonlinear dynamic systems and observability theory, and yields SPs that are submodular and robust to hydraulic changes. Case studies on benchmark water networks are provided. The key findings provide practical recommendations for WDN operators.

eess.SY↗

arXiv2025

Quality-Aware Hydraulic Control in Drinking Water Networks via Controllability Proxies

The operation of water distribution networks simply aims at efficiently delivering consumers adequate water while maintaining safe water quality (WQ). However, this process entails a multi-scale interplay between hydraulic and WQ dynamics evolving spatio-temporally within such a complex infrastructure network. While prior research has addressed the hydraulic optimization problem and WQ regulation as decoupled or coupled, they often overlook control-theoretic guided solutions. This paper takes a novel approach by investigating the coupling between hydraulic and WQ dynamics from a control networks perspective. We propose a quality-aware control framework that embeds WQ controllability metrics into the network-level pump scheduling problem, acknowledging the direct influence of system hydraulics on WQ controller behavior. We examine the trade-offs between pump control energy cost and WQ performance across various network sizes and scenarios. Our results showcase how network topology, hydraulic constraints, and WQ metrics jointly impact optimal pump schedules and, accordingly, the achievable level of WQ regulation, offering insights into designing efficient control strategies for water infrastructure networks governed by interdependent dynamics.

eess.SY↗

arXiv2025

Improving Power Systems Controllability via Edge Centrality Measures

Improving the controllability of power networks is crucial as they are highly complex networks operating in synchrony; even minor perturbations can cause desynchronization and instability. To that end, one needs to assess the criticality of key network components (buses and lines) in terms of their impact on system performance. Traditional methods to identify the key nodes/edges in power networks often rely on static centrality measures based on the network's topological structure ignoring the network's dynamic behavior. In this paper, using multi-machine power network models and a new control-theoretic edge centrality matrix (ECM) approach, we: (i) quantify the influence of edges (i.e., the line susceptances) in terms of controllability performance metrics, (ii) identify the most influential lines, and (iii) compute near-optimal edge modifications that improve the power network controllability. Employing various IEEE power network benchmarks, we validate the effectiveness of the ECM-based algorithm and demonstrate improvements in system reachability, control, and damping performance.

eess.SY↗

arXiv2025

Breaking the Flow and the Bank: Stealthy Cyberattacks on Water Network Hydraulics

As water distribution networks (WDNs) become increasingly connected with digital infrastructures, they face greater exposure to cyberattacks that threaten their operational integrity. Stealthy False Data Injection Attacks (SFDIAs) are particularly concerning, as they manipulate sensor data to compromise system operations while avoiding detection. While existing studies have focused on either detection methods or specific attack formulations, the relationship between attack sophistication, system knowledge requirements, and achievable impact remains unexplored. This paper presents a systematic analysis of sensor attacks against WDNs, investigating different combinations of physical constraints, state monitoring requirements, and intrusion detection evasion conditions. We propose several attack formulations that range from tailored strategies satisfying both physical and detection constraints to simpler measurement manipulations. The proposed attacks are simple and local -- requiring knowledge only of targeted sensors and their hydraulic connections -- making them scalable and practical. Through case studies on Net1 and Net3 benchmark networks, we demonstrate how these attacks can persistently increase operational costs and alter water flows while remaining undetected by monitoring systems for extended periods. The analysis provides utilities with insights for vulnerability assessment and motivates the development of protection strategies that combine physical and statistical security mechanisms.

eess.SY↗

arXiv2025

Multilinear Extensions in Submodular Optimization for Optimal Sensor Scheduling in Nonlinear Networks

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 formulated within the context of set optimization. For high-dimensional nonlinear systems, the problem is extremely difficult to solve. It scales poorly too. Current literature poses combinatorial submodular set optimization problems via maximizing observability performance metrics subject to matroid constraints. Such an approach is typically solved using greedy algorithms that require lower computational effort yet often yield sub-optimal solutions. In this paper, we address the SNS problem for nonlinear dynamical networks using a variational form of the system dynamics, that basically perturb the system physics. As a result, we show that the observability performance metrics under such system representation are indeed submodular. The optimal problem is then solved using the multilinear continuous extension. This extension offers a computationally scalable and approximate continuous relaxation with a performance guarantee. The effectiveness of the extended submodular program is studied and compared to greedy algorithms. We demonstrate the proposed set optimization formulation for SNS on nonlinear natural gas combustion networks.

math.OC↗

arXiv2025

Unmasking Stealthy Attacks on Nonlinear DAE Models of Power Grids

Smart grids are inherently susceptible to various types of malicious cyberattacks that have all been documented in the recent literature. Traditional cybersecurity research on power systems often utilizes simplified models that fail to capture the interactions between dynamic and steady-state behaviors, potentially underestimating the impact of cyber threats. This paper presents the first attempt to design and assess stealthy false data injection attacks (FDIAs) against nonlinear differential algebraic equation (NDAE) models of power networks. NDAE models, favored in industry for their ability to accurately capture both dynamic and steady-state behaviors, provide a more accurate representation of power system behavior by coupling dynamic and algebraic states. We propose novel FDIA strategies that simultaneously evade both dynamic and static intrusion detection systems while respecting the algebraic power flow and operational constraints inherent in NDAE models. We demonstrate how the coupling between dynamic and algebraic states in NDAE models significantly restricts the attacker's ability to manipulate state estimates while maintaining stealthiness. This highlights the importance of using more comprehensive power system models in cybersecurity analysis and reveals potential vulnerabilities that may be overlooked in simplified representations. The proposed attack strategies are validated through simulations on the IEEE 39-bus system.

eess.SY↗

arXiv2025

Stability And Uncertainty Propagation In Power Networks: A Lyapunov-based Approach With Applications To Renewable Resources Allocation

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) data-driven 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 developed framework is studied on various standard power networks.

eess.SY↗

arXiv2024

Structure-Preserving Model Order Reduction for Nonlinear DAE Models of Power Networks

This paper deals with the joint reduction of the number of dynamic and algebraic states of a nonlinear differential-algebraic equation (NDAE) model of a power network. The dynamic states depict the internal states of generators, loads, renewables, whereas the algebraic ones define network states such as voltages and phase angles. In the current literature of power system model order reduction (MOR), the algebraic constraints are usually neglected and the power network is commonly modeled via a set of ordinary differential equations (ODEs) instead of NDAEs. Thus, reduction is usually carried out for the dynamic states only and the algebraic variables are kept intact. This leaves a significant part of the system's size and complexity unreduced. This paper addresses this aforementioned limitation by jointly reducing both dynamic and algebraic variables. As compared to the literature the proposed MOR techniques are endowed with the following features: (i) no system linearization is required, (ii) require no transformation to an equivalent or approximate ODE representation, (iii) guarantee that the reduced order model to be NDAE-structured and thus preserves the differential-algebraic structure of original power system model, and (iv) can seamlessly reduce both dynamic and algebraic variables while maintaining high accuracy. Case studies performed on a 2000-bus power system reveal that the proposed MOR techniques are able to reduce system order while maintaining accuracy.

eess.SY↗

arXiv2024

How many autonomous vehicles are required to stabilize traffic flow?

The collective behavior of human-driven vehicles (HVs) produces the well-known stop-and-go waves potentially leading to higher fuel consumption and emissions. This paper investigates the stabilization of traffic flow via a minimum number of autonomous vehicles (AVs) subject to constraints on the control parameters aiming to reduce the number of vehicles on the road while achieving lower fuel consumption and emissions. The unconstrained scenario has been well-studied in recent studies. The main motivation to investigate the constrained scenario is that, in realistic engineering applications, lower and upper bounds exist on the control parameters. For the constrained scenario, we optimally find the minimum number of required AVs (via computing the optimal lower bound on the AV penetration rate) to stabilize traffic flow for a given number of HVs. As an immediate consequence, we conclude that for a given number of AVs, the number of HVs in the stabilized traffic flow may not be arbitrarily large in the constrained scenario unlike the unconstrained scenario studied in the literature. We systematically propose a procedure to compute the optimal lower bound on the AV penetration rate using nonlinear optimization techniques. Finally, we validate the theoretical results via numerical simulations. Numerical simulations suggest that enlarging the constraint intervals makes a smaller optimal lower bound on the AV penetration rate attainable. However, it leads to a slower transient response due to a dominant pole closer to the origin.

eess.SY↗

arXiv2024

Revisiting the Optimal PMU Placement Problem in Multi-Machine Power Networks

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 (OPP). This paper 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 including renewables such as solar and wind, and did not model their uncertainty. Consequently, this paper revisits the observability-based OPP problem by addressing the literature's limitations. A nonlinear differential algebraic representation (NDAE) of the power system is considered. The system is discretized using various discretization approaches while explicitly accounting for uncertainty. A moving horizon estimation 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 the different aspects of this approach and test its robustness to various dynamical conditions.

eess.SY↗

arXiv2024

Disinfectant Control in Drinking Water Networks: Integrating Advection-Dispersion-Reaction Models and Byproduct Constraints

Effective disinfection is essential for maintaining water quality standards in distribution networks. Chlorination, as the most used technique, ensures safe water by maintaining sufficient chlorine residuals but also leads to the formation of disinfection byproducts (DBPs). These DBPs pose health risks, highlighting the need for chlorine injection control (CIC) by booster stations to balance safety and DBPs formation. Prior studies have followed various approaches to address this research problem. However, most of these studies overlook the changing flow conditions and their influence on the evolution of the chlorine and DBPs concentrations by integrating simplified transport-reaction models into CIC. In contrast, this paper proposes a novel CIC method that: (i) integrates multi-species dynamics, (ii) allows for a more accurate representation of the reaction dynamics of chlorine, other substances, and the resulting DBPs formation, and (iii) optimizes for the regulation of chlorine concentrations subject to EPA mandates thereby mitigating network-wide DBPs formation. The novelty of this study lies in its incorporation of time-dependent controllability analysis that captures the control coverage of each booster station. The effectiveness of the proposed CIC method is demonstrated through its application and validation via numerical case studies on different water networks with varying scales, initial conditions, and parameters.

eess.SY↗

arXiv2024

Real-time Regulation of Detention Ponds via Feedback Control: Balancing Flood Mitigation and Water Quality

Detention ponds can mitigate flooding and improve water quality by allowing the settlement of pollutants. Typically, they are operated with fully open orifices and weirs (i.e., passive control). Active controls can improve the performance of these systems: orifices can be retrofitted with controlled valves and spillways can have controllable gates. The real-time optimal operation of its hydraulic devices can be achieved with techniques such as Model Predictive Control (MPC). A distributed quasi-2D hydrologic-hydrodynamic coupled with a reservoir flood routing model is developed and integrated with an MPC algorithm to estimate the operation of valves and movable gates. The control optimization problem is adapted to switch from a flood-related algorithm focusing on mitigating floods to a heuristic objective function that aims to increase the detention time when no inflow hydrographs are predicted. The case studies show the potential of applying the methods developed in a catchment in Sao Paulo, Brazil. The performance of MPC compared to alternatives with either fully or partially open valves and gates are tested. Comparisons with HEC-RAS 2D indicate volume and peak flow errors of approximately 1.4% and 0.91% for the watershed module. Simulating two consecutive 10-year storms shows that the MPC strategy can achieve peak flow reductions of 79%. In contrast, passive control has nearly half of the performance. A 1-year continuous simulation results show that the passive scenario with 25% of the valves opened can treat 12% more runoff compared to the developed MPC approach, with an average detention time of approximately 6 hours. For the MPC approach, the average detention time is nearly 14 hours indicating that both control techniques can treat similar volumes; however, the proxy water quality for the MPC approach is enhanced due to the longer detention times.

eess.SY↗

arXiv2024

Traffic State Estimation for Connected Vehicles using the Second-Order Aw-Rascle-Zhang Traffic Model

This paper addresses the problem of traffic state estimation (TSE) in the presence of heterogeneous sensors which include both fixed and moving sensors. Traditional fixed sensors are expensive and cannot be installed throughout the highway. Moving sensors such as Connected Vehicles (CVs) offer a relatively cheap alternative to measure traffic states across the network. Moving forward it is thus important to develop such models that effectively use the data from CVs. One such model is the nonlinear second-order Aw-Rascle-Zhang (ARZ) model which is a realistic traffic model, reliable for TSE and control. A state-space formulation is presented for the ARZ model considering junctions in the formulation which is important to model real highways with ramps. A Moving Horizon Estimation (MHE) implementation is presented for TSE using a linearized ARZ model. Various state-estimation methods used for TSE in the literature along with the presented approach are compared with regard to accuracy and computational tractability with the help of a numerical study using the VISSIM traffic simulation software. The impact of various strategies for querying CV data on the estimation performance is also considered. Several research questions are posed and addressed with a thorough analysis of the results.

eess.SY↗

arXiv2024

Sorta Solving the OPF by Not Solving the OPF: DAE Control Theory and the Price of Realtime Regulation

This paper presents a new approach to approximate the AC optimal power flow (ACOPF). By eliminating the need to solve the ACOPF every few minutes, the paper showcases how a realtime feedback controller can be utilized in lieu of ACOPF and its variants. By (i) forming the grid dynamics as a system of differential-algebraic equations (DAE) that naturally encode the non-convex OPF power flow constraints, (ii) utilizing DAELyapunov theory, and (iii) designing a feedback controller that captures realtime uncertainty while being uncertainty-unaware, the presented approach demonstrates promises of obtaining solutions that are close to the OPF ones without needing to solve the OPF. The proposed controller responds in realtime to deviations in renewables generation and loads, guaranteeing improvements in system transient stability, while always yielding approximate solutions of the ACOPF with no constraint violations. As the studied approach herein yields slightly more expensive realtime generator controls, the corresponding price of realtime control and regulation is examined. Cost comparisons with the traditional ACOPF are also showcased -- all via case studies on standard power networks.

eess.SY↗

arXiv2024

Modeling and Design Optimization of Looped Water Distribution Networks using MS Excel: Developing the Open-Source X-WHAT Model

Cost-effective water distribution network (WDN) design with acceptable pressure performance is crucial for the management of drinking water in cities. This paper presents a Microsoft Excel tool to model, simulate, and optimize WDNs with looped pipelines under steady-state incompressible flow simulations. Typically, the hardy-cross method is applied using spreadsheet calculations to estimate discharges. This method requires mass-conservative initial estimates and requires successive iterations to converge. In this paper, however, we develop an alternative method that uses the built-in solver capabilities of Excel, does not require initial mass-conservative estimation, and is free of flow corrections. The main objective of this paper is to develop an open-source accessible tool for simulating hydraulic networks also adapted for teaching and learning purposes. The governing equations and the mathematical basis for the hydraulic modeling of the system are mathematically described, considering the topology of the network, mass and energy conservation, cost of tank material, foundation, and cost of pumping energy to fill the tank. The use of this tool is encouraged at the undergraduate and graduate engineering levels, as it offers the opportunity to address complex concepts in a comprehensive way using a spreadsheet that does not require coding expertise. Hence, users can debug all cells and understand all equations used in the hydraulic model, as well as modify them. To demonstrate the model capabilities, three practical examples are presented, with the first one solved step by step, and the results are compared with the EPANET and with the results reported in the literature. Using the optimization method presented in this paper, it was possible to achieve a cost reduction of 151,790 USD (9.8% of the total cost) in a network that supplies a 44,416 population.

eess.SY↗

arXiv2024

On the Constrained CAV Platoon Control Problem

The main objective of the connected and automated vehicle (CAV) platoon control problem is to regulate CAVs' position while ensuring stability and accounting for vehicle dynamics. Although this problem has been studied in the literature, existing research has some limitations. This paper presents two new theoretical results that address these limitations: (i) the synthesis of unrealistic high-gain control parameters due to the lack of a systematic way to incorporate the lower and upper bounds on the control parameters, and (ii) the performance sensitivity to the communication delay due to inaccurate Taylor series approximation. To be more precise, taking advantage of the wellknown Pade approximation, this paper proposes a constrained CAV platoon controller synthesis that (i) systematically incorporates the lower and upper bounds on the control parameters, and (ii) significantly improves the performance sensitivity to the communication delay. The effectiveness of the presented results is verified through conducting extensive numerical simulations. The proposed controller effectively attenuates the stop-and-go disturbance -- a single cycle of deceleration followed by acceleration -- amplification throughout the mixed platoon (consisting of CAVs and human-driven vehicles). Modern transportation systems will benefit from the proposed CAV controls in terms of effective disturbance attenuation as it will potentially reduce collisions.

eess.SY↗

arXiv2024

ODE Transformations of Nonlinear DAE Power Systems

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 \textit{not}. DAE system theory is less understood in the context of power system dynamics. To that end, this letter presents two new mathematical transformations for nonlinear DAE models that yield nonlinear ODE models whilst 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.

eess.SY↗

arXiv2023

Learning for System Identification of NDAE-modeled Power Systems

System identification through learning approaches is emerging as a promising strategy for understanding and simulating dynamical systems, which nevertheless faces considerable difficulty when confronted with power systems modeled by differential-algebraic equations (DAEs). This paper introduces a neural network (NN) framework for effectively learning and simulating solution trajectories of DAEs. The proposed framework leverages the synergy between Implicit Runge-Kutta (IRK) time-stepping schemes tailored for DAEs and NNs (including a differential NN (DNN)). The framework enforces an NN to cooperate with the algebraic equation of DAEs as hard constraints and is suitable for the identification of the ordinary differential equation (ODE)-modeled dynamic equation of DAEs using an existing penalty-based algorithm. Finally, the paper demonstrates the efficacy and precision of the proposed NN through the identification and simulation of solution trajectories for the considered DAE-modeled power system.

eess.SY↗