Showing 1–50 of 115 results for author: Taha, A

Analysis of the BraTS 2023 Intracranial Meningioma Segmentation Challenge

Authors: Dominic LaBella, Ujjwal Baid, Omaditya Khanna, Shan McBurney-Lin, Ryan McLean, Pierre Nedelec, Arif Rashid, Nourel Hoda Tahon, Talissa Altes, Radhika Bhalerao, Yaseen Dhemesh, Devon Godfrey, Fathi Hilal, Scott Floyd, Anastasia Janas, Anahita Fathi Kazerooni, John Kirkpatrick, Collin Kent, Florian Kofler, Kevin Leu, Nazanin Maleki, Bjoern Menze, Maxence Pajot, Zachary J. Reitman, Jeffrey D. Rudie , et al. (96 additional authors not shown)

Abstract: We describe the design and results from the BraTS 2023 Intracranial Meningioma Segmentation Challenge. The BraTS Meningioma Challenge differed from prior BraTS Glioma challenges in that it focused on meningiomas, which are typically benign extra-axial tumors with diverse radiologic and anatomical presentation and a propensity for multiplicity. Nine participating teams each developed deep-learning… ▽ More We describe the design and results from the BraTS 2023 Intracranial Meningioma Segmentation Challenge. The BraTS Meningioma Challenge differed from prior BraTS Glioma challenges in that it focused on meningiomas, which are typically benign extra-axial tumors with diverse radiologic and anatomical presentation and a propensity for multiplicity. Nine participating teams each developed deep-learning automated segmentation models using image data from the largest multi-institutional systematically expert annotated multilabel multi-sequence meningioma MRI dataset to date, which included 1000 training set cases, 141 validation set cases, and 283 hidden test set cases. Each case included T2, T2/FLAIR, T1, and T1Gd brain MRI sequences with associated tumor compartment labels delineating enhancing tumor, non-enhancing tumor, and surrounding non-enhancing T2/FLAIR hyperintensity. Participant automated segmentation models were evaluated and ranked based on a scoring system evaluating lesion-wise metrics including dice similarity coefficient (DSC) and 95% Hausdorff Distance. The top ranked team had a lesion-wise median dice similarity coefficient (DSC) of 0.976, 0.976, and 0.964 for enhancing tumor, tumor core, and whole tumor, respectively and a corresponding average DSC of 0.899, 0.904, and 0.871, respectively. These results serve as state-of-the-art benchmarks for future pre-operative meningioma automated segmentation algorithms. Additionally, we found that 1286 of 1424 cases (90.3%) had at least 1 compartment voxel abutting the edge of the skull-stripped image edge, which requires further investigation into optimal pre-processing face anonymization steps. △ Less

Submitted 15 May, 2024; originally announced May 2024.

Comments: 16 pages, 11 tables, 10 figures, MICCAI

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

Authors: Marcus Nóbrega Gomes Jr., Igor Matheus Benites, Salma M. Elsherif, Ahmad F. Taha, Marcio H. Giacomoni

Abstract: 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 discha… ▽ More 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 pum** 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. △ Less

Submitted 14 May, 2024; originally announced May 2024.

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

Authors: Muhammad Nadeem, Ahmad F. Taha

Abstract: This paper deals with the joint reduction of dynamic states (internal states of generator, solar, and loads, etc) and algebraic variables (states of the network e.g., voltage and phase angles) of a nonlinear differential-algebraic equation (NDAE) model of power networks. Traditionally, in the current literature of power systemmodel order reduction (MOR), the algebraic constraints are usually negle… ▽ More This paper deals with the joint reduction of dynamic states (internal states of generator, solar, and loads, etc) and algebraic variables (states of the network e.g., voltage and phase angles) of a nonlinear differential-algebraic equation (NDAE) model of power networks. Traditionally, in the current literature of power systemmodel 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 proposedMOR techniques herein are endowed with the following features: (i) no system linearization is required, (ii) requires no transformation to an equivalent or approximate ODE representation, (iii) guarantee that the reduced order model to be NDAE 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 proposedMOR techniques are able to reduce system order while maintaining accuracy △ Less

Submitted 13 May, 2024; originally announced May 2024.

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

Authors: Mohamad Kazma, Ahmad F. Taha

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… ▽ More 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 △ Less

Submitted 8 May, 2024; originally announced May 2024.

When are Lossy Energy Storage Optimization Models Convex?

Authors: Feras Al Taha, Eilyan Bitar

Abstract: We consider a class of optimization problems involving the optimal operation of a single lossy energy storage system that incurs energy loss when charging or discharging. Such inefficiencies in the energy storage dynamics are known to result in a nonconvex set of feasible charging and discharging power profiles. In this letter, we provide an equivalent reformulation for this class of optimization… ▽ More We consider a class of optimization problems involving the optimal operation of a single lossy energy storage system that incurs energy loss when charging or discharging. Such inefficiencies in the energy storage dynamics are known to result in a nonconvex set of feasible charging and discharging power profiles. In this letter, we provide an equivalent reformulation for this class of optimization problems, along with sufficient conditions for the convexity of the proposed reformulation. The conditions provided generalize existing conditions for convexity in the literature. △ Less

Submitted 20 March, 2024; originally announced March 2024.

Comments: 5 pages, 1 figure

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

Authors: Marcus Nóbrega Gomes Jr, Ahmad F. Taha, Luis Miguel C. Rápallo, Eduardo M. Mendiondo, Marcio H. Giacomoni

Abstract: Floods in urban areas are becoming more intense due to unplanned urbanization and more frequent due to climate change. One of the most effective strategies to alleviate the effects of flooding is the use of flood control reservoirs such as detention ponds, which attenuate flood waves by storing water and slowing the release after the storm. Detention ponds can also improve water quality by allowin… ▽ More Floods in urban areas are becoming more intense due to unplanned urbanization and more frequent due to climate change. One of the most effective strategies to alleviate the effects of flooding is the use of flood control reservoirs such as detention ponds, which attenuate flood waves by storing water and slowing the release after the storm. Detention ponds can also improve water quality by allowing the settlement of pollutants inside the reservoir. The operation of most detention ponds occurs passively, where the outflows are governed by fixed hydraulic structures such as fully open orifices and weirs. The operation of detention ponds can be enhanced with active controls: orifices can be retrofitted with controlled valves, and spillways can have controllable gates such that their control schedule can be defined in real-time with a model predictive control (MPC) approach. In this paper, we develop a distributed quasi-2D hydrologic-hydrodynamic coupled with a reservoir flood routing model and an optimization approach (MPC) to identify the opening or closing of valves and movable gates working as spillways. We adapt the optimization problem to switch from a flood-related cost function to a heuristic function that aims to increase the detention time when no inflow hydrographs are predicted within a prediction horizon. The numerical case studies show the potential results of applying the methods herein developed in a real-world watershed in Sao Paulo, Brazil. We test the performance of MPC compared to static (i.e., fixed hydraulic device opening) alternatives with valves either fully or partially opened. The results indicate that the control algorithm presented in this paper can achieve greater flood and proxy water quality performance compared to passive scenarios. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Observability for Nonlinear Systems: Connecting Variational Dynamics, Lyapunov Exponents, and Empirical Gramians

Authors: Mohamad H. Kazma, Ahmad F. Taha

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 n… ▽ More 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. △ Less

Submitted 24 February, 2024; v1 submitted 22 February, 2024; originally announced February 2024.

Exploring the competition between $α$-decay and proton radioactivity: A comparative study of proximity potential formalisms

Authors: A. Adel, Karim H. Mahmoud, Haitham A. Taha

Abstract: We have conducted a comprehensive and systematic study of the proton radioactivity and $α$-decay half-lives of neutron-deficient nuclei. This investigation involved the utilization of various Proximity potentials and also considered the incorporation of thermal effects. For the half-life calculations, we employed both temperature-independent and temperature-dependent interaction potentials. We obs… ▽ More We have conducted a comprehensive and systematic study of the proton radioactivity and $α$-decay half-lives of neutron-deficient nuclei. This investigation involved the utilization of various Proximity potentials and also considered the incorporation of thermal effects. For the half-life calculations, we employed both temperature-independent and temperature-dependent interaction potentials. We observed that proton radioactivity serves as the dominant mode of decay for nuclides situated very close to the proton drip-line. We explored a universal curve that examines the correlation between the decimal logarithm of experimental half-lives and the negative decimal logarithm of the penetrability for both proton radioactivity and $α$-decay. △ Less

Submitted 8 February, 2024; originally announced February 2024.

Comments: 11 pages,7 figures

Empirical and Experimental Perspectives on Big Data in Recommendation Systems: A Comprehensive Survey

Authors: Kamal Taha, Paul D. Yoo, Aya Taha

Abstract: This survey paper provides a comprehensive analysis of big data algorithms in recommendation systems, addressing the lack of depth and precision in existing literature. It proposes a two-pronged approach: a thorough analysis of current algorithms and a novel, hierarchical taxonomy for precise categorization. The taxonomy is based on a tri-level hierarchy, starting with the methodology category and… ▽ More This survey paper provides a comprehensive analysis of big data algorithms in recommendation systems, addressing the lack of depth and precision in existing literature. It proposes a two-pronged approach: a thorough analysis of current algorithms and a novel, hierarchical taxonomy for precise categorization. The taxonomy is based on a tri-level hierarchy, starting with the methodology category and narrowing down to specific techniques. Such a framework allows for a structured and comprehensive classification of algorithms, assisting researchers in understanding the interrelationships among diverse algorithms and techniques. Covering a wide range of algorithms, this taxonomy first categorizes algorithms into four main analysis types: User and Item Similarity-Based Methods, Hybrid and Combined Approaches, Deep Learning and Algorithmic Methods, and Mathematical Modeling Methods, with further subdivisions into sub-categories and techniques. The paper incorporates both empirical and experimental evaluations to differentiate between the techniques. The empirical evaluation ranks the techniques based on four criteria. The experimental assessments rank the algorithms that belong to the same category, sub-category, technique, and sub-technique. Also, the paper illuminates the future prospects of big data techniques in recommendation systems, underscoring potential advancements and opportunities for further research in this field △ Less

Submitted 1 February, 2024; originally announced February 2024.

Unlocking Criminal Hierarchies: A Survey, Experimental, and Comparative Exploration of Techniques for Identifying Leaders within Criminal Networks

Authors: Kamal Taha, Abdulhadi Shoufan, Aya Taha

Abstract: This survey paper offers a thorough analysis of techniques and algorithms used in the identification of crime leaders within criminal networks. For each technique, the paper examines its effectiveness, limitations, potential for improvement, and future prospects. The main challenge faced by existing survey papers focusing on algorithms for identifying crime leaders and predicting crimes is effecti… ▽ More This survey paper offers a thorough analysis of techniques and algorithms used in the identification of crime leaders within criminal networks. For each technique, the paper examines its effectiveness, limitations, potential for improvement, and future prospects. The main challenge faced by existing survey papers focusing on algorithms for identifying crime leaders and predicting crimes is effectively categorizing these algorithms. To address this limitation, this paper proposes a new methodological taxonomy that hierarchically classifies algorithms into more detailed categories and specific techniques. The paper includes empirical and experimental evaluations to rank the different techniques. The combination of the methodological taxonomy, empirical evaluations, and experimental comparisons allows for a nuanced and comprehensive understanding of the techniques and algorithms for identifying crime leaders, assisting researchers in making informed decisions. Moreover, the paper offers valuable insights into the future prospects of techniques for identifying crime leaders, emphasizing potential advancements and opportunities for further research. Here's an overview of our empirical analysis findings and experimental insights, along with the solution we've devised: (1) PageRank and Eigenvector centrality are reliable for map** network connections, (2) Katz Centrality can effectively identify influential criminals through indirect links, stressing their significance in criminal networks, (3) current models fail to account for the specific impacts of criminal influence levels, the importance of socio-economic context, and the dynamic nature of criminal networks and hierarchies, and (4) we propose enhancements, such as incorporating temporal dynamics and sentiment analysis to reflect the fluidity of criminal activities and relationships △ Less

Submitted 30 March, 2024; v1 submitted 26 January, 2024; originally announced February 2024.

On the Constrained CAV Platoon Control Problem

Authors: MirSaleh Bahavarnia, Junyi Ji, Ahmad F. Taha, Daniel B. Work

Abstract: 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… ▽ More 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. △ Less

Submitted 21 February, 2024; v1 submitted 24 January, 2024; originally announced January 2024.

Text Classification: A Review, Empirical, and Experimental Evaluation

Authors: Kamal Taha, Paul D. Yoo, Chan Yeun, Aya Taha

Abstract: The explosive and widespread growth of data necessitates the use of text classification to extract crucial information from vast amounts of data. Consequently, there has been a surge of research in both classical and deep learning text classification methods. Despite the numerous methods proposed in the literature, there is still a pressing need for a comprehensive and up-to-date survey. Existing… ▽ More The explosive and widespread growth of data necessitates the use of text classification to extract crucial information from vast amounts of data. Consequently, there has been a surge of research in both classical and deep learning text classification methods. Despite the numerous methods proposed in the literature, there is still a pressing need for a comprehensive and up-to-date survey. Existing survey papers categorize algorithms for text classification into broad classes, which can lead to the misclassification of unrelated algorithms and incorrect assessments of their qualities and behaviors using the same metrics. To address these limitations, our paper introduces a novel methodological taxonomy that classifies algorithms hierarchically into fine-grained classes and specific techniques. The taxonomy includes methodology categories, methodology techniques, and methodology sub-techniques. Our study is the first survey to utilize this methodological taxonomy for classifying algorithms for text classification. Furthermore, our study also conducts empirical evaluation and experimental comparisons and rankings of different algorithms that employ the same specific sub-technique, different sub-techniques within the same technique, different techniques within the same category, and categories △ Less

Submitted 11 January, 2024; originally announced January 2024.

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

Authors: Salma M. Elsherif, Mohamad H. Kazma, Ahmad F. Taha

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… ▽ More 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. △ Less

Submitted 14 April, 2024; v1 submitted 22 January, 2024; originally announced January 2024.

Learning for System Identification of NDAE-modeled Power Systems

Authors: Wenjie Mei, Muhammad Nadeem, MirSaleh Bahavarnia, Ahmad F. Taha

Abstract: 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. T… ▽ More 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-step** 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. △ Less

Submitted 12 December, 2023; originally announced December 2023.

On Scaling Robust Feedback Control and State Estimation Problems in Power Networks

Authors: MirSaleh Bahavarnia, Muhammad Nadeem, Ahmad F. Taha

Abstract: Many mainstream robust control/estimation algorithms for power networks are designed using the Lyapunov theory as it provides performance guarantees for linear/nonlinear models of uncertain power networks but comes at the expense of scalability and sensitivity. In particular, Lyapunov-based approaches rely on forming semi-definite programs (SDPs) that are (i) not scalable and (ii) extremely sensit… ▽ More Many mainstream robust control/estimation algorithms for power networks are designed using the Lyapunov theory as it provides performance guarantees for linear/nonlinear models of uncertain power networks but comes at the expense of scalability and sensitivity. In particular, Lyapunov-based approaches rely on forming semi-definite programs (SDPs) that are (i) not scalable and (ii) extremely sensitive to the choice of the bounding scalar that ensures the strict feasibility of the linear matrix inequalities (LMIs). This paper addresses these two issues by employing a celebrated non-Lyapunov approach (NLA) from the control theory literature. In lieu of linearized models of power grids, we focus on (the more representative) nonlinear differential algebraic equation (DAE) models and showcase the simplicity, scalability, and parameter-resiliency of NLA. For some power systems, the approach is nearly fifty times faster than solving SDPs via standard solvers with almost no impact on the performance. The case studies also demonstrate that NLA can be applied to more realistic scenarios in which (i) only partial state data is available and (ii) sparsity structures are imposed on the feedback gain. The paper also showcases that virtually no degradation in state estimation quality is experienced when applying NLA. △ Less

Submitted 30 November, 2023; v1 submitted 29 November, 2023; originally announced November 2023.

Comments: In Press

Journal ref: Sustainable Energy, Grids and Networks, November 2023

Internet of Mirrors for Connected Healthcare and Beauty: A Prospective Vision

Authors: Haneen Fatima, Muhammad Ali Imran, Ahmad Taha, Lina Mohjazi

Abstract: With the shift towards smart objects and automated services in many industries, the health and beauty industries are also becoming increasingly involved in AI-driven smart systems. There is a rising market demand for personalised services and a need for unified platforms in many sectors, specifically the cosmetics and healthcare industries. Alongside this rising demand, there are two major gaps wh… ▽ More With the shift towards smart objects and automated services in many industries, the health and beauty industries are also becoming increasingly involved in AI-driven smart systems. There is a rising market demand for personalised services and a need for unified platforms in many sectors, specifically the cosmetics and healthcare industries. Alongside this rising demand, there are two major gaps when considering the integration of autonomous systems within these sectors. Firstly, the existing smart systems in the cosmetics industry are limited to single-purpose products and the employed technologies are not widespread enough to support the growing consumer demand for personalisation. Secondly, despite the rise of smart devices in healthcare, the current state-of-the-art services do not fulfil the accessibility demands and holistic nature of healthcare. To bridge these gaps, we propose integrating autonomous systems with health and beauty services through a unified visual platform coined as the Internet-of-Mirrors (IoM), an interconnected system of smart mirrors with sensing and communication capabilities where the smart mirror functions as an immersive visual dashboard to provide personalised services for health and beauty consultations and routines. We aim to present an overview of current state-of-the-art technologies that will enable the development of the IoM as well as provide a practical vision of this system with innovative scenarios to give a forward-looking vision for assistive technologies. We also discuss the missing capabilities and challenges the development of the IoM would face and outline future research directions that will support the realisation of our proposed framework. △ Less

Submitted 21 November, 2023; originally announced November 2023.

Comments: 21 pages, 6 figures

Robust Feedback Control of Power Systems with Solar Plants and Composite Loads

Authors: Muhammad Nadeem, MirSaleh Bahavarnia, Ahmad F. Taha

Abstract: Due to the rapid developments in synchronized measurement technologies, there exist enormous opportunities to attenuate disturbances in future power grids with high penetration of renewables and complex load demands. To that end, this paper investigates the effectiveness of new robust feedback controllers for interconnected power systems with advanced power electronics-based models of photovoltaic… ▽ More Due to the rapid developments in synchronized measurement technologies, there exist enormous opportunities to attenuate disturbances in future power grids with high penetration of renewables and complex load demands. To that end, this paper investigates the effectiveness of new robust feedback controllers for interconnected power systems with advanced power electronics-based models of photovoltaic (PV) power plants, composite load dynamics, and detailed higher-order synchronous generator models. Specifically, we design new, advanced control-theoretic wide-area controllers to improve the transient stability of nonlinear differential-algebraic models. Thorough simulation studies are carried out to assess the performance of the proposed controllers. Several fundamental questions on the proposed controllers' computational complexity and disturbance attenuation performance are raised and addressed. Simulation results demonstrate that with the proposed controllers as a secondary control layer, the overall transient stability and system robustness against load and renewables disturbances/uncertainties can be significantly improved compared to the state-of-the-art. △ Less

Submitted 1 October, 2023; originally announced October 2023.

Gradient Dynamics in Linear Quadratic Network Games with Time-Varying Connectivity and Population Fluctuation

Authors: Feras Al Taha, Kiran Rokade, Francesca Parise

Abstract: In this paper, we consider a learning problem among non-cooperative agents interacting in a time-varying system. Specifically, we focus on repeated linear quadratic network games, in which the network of interactions changes with time and agents may not be present at each iteration. To get tractability, we assume that at each iteration, the network of interactions is sampled from an underlying ran… ▽ More In this paper, we consider a learning problem among non-cooperative agents interacting in a time-varying system. Specifically, we focus on repeated linear quadratic network games, in which the network of interactions changes with time and agents may not be present at each iteration. To get tractability, we assume that at each iteration, the network of interactions is sampled from an underlying random network model and agents participate at random with a given probability. Under these assumptions, we consider a gradient-based learning algorithm and establish almost sure convergence of the agents' strategies to the Nash equilibrium of the game played over the expected network. Additionally, we prove, in the large population regime, that the learned strategy is an $ε$-Nash equilibrium for each stage game with high probability. We validate our results over an online market application. △ Less

Submitted 20 October, 2023; v1 submitted 14 September, 2023; originally announced September 2023.

Comments: 8 pages, 2 figures, Extended version of the original paper to appear in the proceedings of the 2023 IEEE Conference on Decision and Control (CDC). Updated numerical example

On input-to-state stability verification of identified models obtained by Koopman operator

Authors: Wenjie Mei, Yu Zhou, Ahmad Taha, Chengyan Zhao

Abstract: This paper proposes a class of basis functions for realizing the input-to-state stability verification of identified models obtained from the true system (assumed to be input-to-state stable) using the Koopman operator. The formulated input-to-state stability conditions are in the form of linear matrix inequalities. We also present extensions to relax the imposed restrictions on the basis function… ▽ More This paper proposes a class of basis functions for realizing the input-to-state stability verification of identified models obtained from the true system (assumed to be input-to-state stable) using the Koopman operator. The formulated input-to-state stability conditions are in the form of linear matrix inequalities. We also present extensions to relax the imposed restrictions on the basis functions. A numerical example is provided to demonstrate the efficacy of the proposed results. △ Less

Submitted 3 September, 2023; originally announced September 2023.

M&M: Tackling False Positives in Mammography with a Multi-view and Multi-instance Learning Sparse Detector

Authors: Yen Nhi Truong Vu, Dan Guo, Ahmed Taha, Jason Su, Thomas Paul Matthews

Abstract: Deep-learning-based object detection methods show promise for improving screening mammography, but high rates of false positives can hinder their effectiveness in clinical practice. To reduce false positives, we identify three challenges: (1) unlike natural images, a malignant mammogram typically contains only one malignant finding; (2) mammography exams contain two views of each breast, and both… ▽ More Deep-learning-based object detection methods show promise for improving screening mammography, but high rates of false positives can hinder their effectiveness in clinical practice. To reduce false positives, we identify three challenges: (1) unlike natural images, a malignant mammogram typically contains only one malignant finding; (2) mammography exams contain two views of each breast, and both views ought to be considered to make a correct assessment; (3) most mammograms are negative and do not contain any findings. In this work, we tackle the three aforementioned challenges by: (1) leveraging Sparse R-CNN and showing that sparse detectors are more appropriate than dense detectors for mammography; (2) including a multi-view cross-attention module to synthesize information from different views; (3) incorporating multi-instance learning (MIL) to train with unannotated images and perform breast-level classification. The resulting model, M&M, is a Multi-view and Multi-instance learning system that can both localize malignant findings and provide breast-level predictions. We validate M&M's detection and classification performance using five mammography datasets. In addition, we demonstrate the effectiveness of each proposed component through comprehensive ablation studies. △ Less

Submitted 11 August, 2023; originally announced August 2023.

Comments: MICCAI 2023 with supplementary materials

On Updating Static Output Feedback Controllers Under State-Space Perturbation

Authors: MirSaleh Bahavarnia, Ahmad F. Taha

Abstract: In this paper, we propose a novel update of a nominal stabilizing static output feedback (SOF) controller for a perturbed linear system. In almost every classical feedback controller design problem, a stabilizing feedback controller is designed given a stabilizable unstable system. In realistic scenarios, the system model is usually imperfect and subject to perturbations. A typical approach to att… ▽ More In this paper, we propose a novel update of a nominal stabilizing static output feedback (SOF) controller for a perturbed linear system. In almost every classical feedback controller design problem, a stabilizing feedback controller is designed given a stabilizable unstable system. In realistic scenarios, the system model is usually imperfect and subject to perturbations. A typical approach to attenuate the impacts of such perturbations on the system stability is repeating the whole controller design procedure to find an updated stabilizing SOF controller. Such an approach can be inefficient and occasionally infeasible. Using the notion of minimum destabilizing real perturbation (MDRP), we construct a simple norm minimization problem (a least-squares problem) to propose an efficient update of a nominal stabilizing SOF controller that can be applied to various control engineering applications in the case of perturbed scenarios like abrupt changes or inaccurate system models. In particular, considering norm-bounded known or unknown perturbations, this paper presents updated stabilizing SOF controllers and derives sufficient stability conditions. Geometric metrics to quantitatively measure the approach's robustness are defined. Moreover, we characterize the corresponding guaranteed stability regions, and specifically, for the case of norm-bounded unknown perturbations, we propose non-fragility-based robust updated stabilizing SOF controllers. Through extensive numerical simulations, we assess the effectiveness of the theoretical results. △ Less

Submitted 15 May, 2024; v1 submitted 30 July, 2023; originally announced July 2023.

State-Robust Observability Measures for Sensor Selection in Nonlinear Dynamic Systems

Authors: Mohamad H. Kazma, Sebastian A. Nugroho, Aleksandar Haber, Ahmad F. Taha

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 observ… ▽ More 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 $H_{2}/O_{2}$ combustion reaction network. △ Less

Submitted 13 July, 2023; originally announced July 2023.

Comments: To Appear in the 62$^{\text{nd}}$ IEEE Conference on Decision and Control (CDC'2023), Singapore, Decemeber 2023

ODE Transformations of Nonlinear DAE Power Systems

Authors: Mohamad H. Kazma, Ahmad F. Taha

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 sys… ▽ More 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. △ Less

Submitted 31 January, 2024; v1 submitted 30 June, 2023; originally announced June 2023.

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

Authors: Mohamad H. Kazma, Ahmad F. Taha

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 is 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, observab… ▽ More 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 is 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 and implicitly discretized -- using various different 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 various aspects of this approach and test its robustness to various dynamical conditions. △ Less

Submitted 23 June, 2023; originally announced June 2023.

CAV Traffic Control to Mitigate the Impact of Congestion from Bottlenecks: A Linear Quadratic Regulator Approach and Microsimulation Study

Authors: Suyash C. Vishnoi, Junyi Ji, MirSaleh Bahavarnia, Yuhang Zhang, Ahmad F. Taha, Christian G. Claudel, Daniel B. Work

Abstract: This work investigates traffic control via controlled connected and automated vehicles (CAVs) using novel controllers derived from the linear-quadratic regulator (LQR) theory. CAV-platoons are modeled as moving bottlenecks impacting the surrounding traffic with their speeds as control inputs. An iterative controller algorithm based on the LQR theory is proposed along with a variant that allows for… ▽ More This work investigates traffic control via controlled connected and automated vehicles (CAVs) using novel controllers derived from the linear-quadratic regulator (LQR) theory. CAV-platoons are modeled as moving bottlenecks impacting the surrounding traffic with their speeds as control inputs. An iterative controller algorithm based on the LQR theory is proposed along with a variant that allows for penalizing abrupt changes in platoons speeds. The controllers use the Lighthill-Whitham-Richards (LWR) model implemented using an extended cell transmission model (CTM) which considers the capacity drop phenomenon for a realistic representation of traffic in congestion. The impact of various parameters of the proposed controller on the control performance is analyzed. The effectiveness of the proposed traffic control algorithms is tested using a traffic control example and compared with existing proportional-integral (PI)- and model predictive control (MPC)- based controllers from the literature. A case study using the TransModeler traffic microsimulation software is conducted to test the usability of the proposed controller as well as existing controllers in a realistic setting and derive qualitative insights. It is observed that the proposed controller works well in both settings to mitigate the impact of the jam caused by a fixed bottleneck. The computation time required by the controller is also small making it suitable for real-time control. △ Less

Submitted 3 July, 2023; v1 submitted 17 June, 2023; originally announced June 2023.

A Distributionally Robust Approach to Regret Optimal Control using the Wasserstein Distance

Authors: Feras Al Taha, Shuhao Yan, Eilyan Bitar

Abstract: This paper proposes a distributionally robust approach to regret optimal control of discrete-time linear dynamical systems with quadratic costs subject to a stochastic additive disturbance on the state process. The underlying probability distribution of the disturbance process is unknown, but assumed to lie in a given ball of distributions defined in terms of the type-2 Wasserstein distance. In th… ▽ More This paper proposes a distributionally robust approach to regret optimal control of discrete-time linear dynamical systems with quadratic costs subject to a stochastic additive disturbance on the state process. The underlying probability distribution of the disturbance process is unknown, but assumed to lie in a given ball of distributions defined in terms of the type-2 Wasserstein distance. In this framework, strictly causal linear disturbance feedback controllers are designed to minimize the worst-case expected regret. The regret incurred by a controller is defined as the difference between the cost it incurs in response to a realization of the disturbance process and the cost incurred by the optimal noncausal controller which has perfect knowledge of the disturbance process realization at the outset. Building on a well-established duality theory for optimal transport problems, we derive a reformulation of the minimax regret optimal control problem as a tractable semidefinite program. Using the equivalent dual reformulation, we characterize a worst-case distribution achieving the worst-case expected regret in relation to the distribution at the center of the Wasserstein ball. We compare the minimax regret optimal control design method with the distributionally robust optimal control approach using an illustrative example and numerical experiments. △ Less

Submitted 16 August, 2023; v1 submitted 13 April, 2023; originally announced April 2023.

Comments: 8 pages, 3 figures, to appear in the proceedings of the 2023 IEEE Conference on Decision and Control (CDC)

A Multi-Battery Model for the Aggregate Flexibility of Heterogeneous Electric Vehicles

Authors: Feras Al Taha, Tyrone Vincent, Eilyan Bitar

Abstract: The increasing prevalence of electric vehicles (EVs) in the transportation sector will introduce a large number of highly flexible electric loads that EV aggregators can pool and control to provide energy and ancillary services to the wholesale electricity market. To integrate large populations of EVs into electricity market operations, aggregators must express the aggregate flexibility of the EVs… ▽ More The increasing prevalence of electric vehicles (EVs) in the transportation sector will introduce a large number of highly flexible electric loads that EV aggregators can pool and control to provide energy and ancillary services to the wholesale electricity market. To integrate large populations of EVs into electricity market operations, aggregators must express the aggregate flexibility of the EVs under their control in the form of a small number of energy storage (battery) resources that accurately capture the supply/demand capabilities of the individual EVs as a collective. To this end, we propose a novel multi-battery flexibility model defined as a linear combination of a small number of base sets (termed batteries) that reflect the differing geometric shapes of the individual EV flexibility sets, and suggest a clustering approach to identify these base sets. We study the problem of computing a multi-battery flexibility set that has minimum Hausdorff distance to the aggregate flexibility set, subject to the constraint that the multi-battery flexibility set be a subset of the aggregate flexibility set. We show how to conservatively approximate this problem with a tractable convex program, and illustrate the performance achievable by our method with several numerical experiments. △ Less

Submitted 13 April, 2023; originally announced April 2023.

Comments: 8 pages, 2 figures, to appear in the Proceedings of the 2023 American Control Conference (ACC). arXiv admin note: text overlap with arXiv:2207.07067

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

Authors: Muhammad Nadeem, Ahmad F. Taha

Abstract: 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 constrai… ▽ More 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. △ Less

Submitted 10 June, 2024; v1 submitted 7 April, 2023; originally announced April 2023.

Problems and shortcuts in deep learning for screening mammography

Authors: Trevor Tsue, Brent Mombourquette, Ahmed Taha, Thomas Paul Matthews, Yen Nhi Truong Vu, Jason Su

Abstract: This work reveals undiscovered challenges in the performance and generalizability of deep learning models. We (1) identify spurious shortcuts and evaluation issues that can inflate performance and (2) propose training and analysis methods to address them. We trained an AI model to classify cancer on a retrospective dataset of 120,112 US exams (3,467 cancers) acquired from 2008 to 2017 and 16,693… ▽ More This work reveals undiscovered challenges in the performance and generalizability of deep learning models. We (1) identify spurious shortcuts and evaluation issues that can inflate performance and (2) propose training and analysis methods to address them. We trained an AI model to classify cancer on a retrospective dataset of 120,112 US exams (3,467 cancers) acquired from 2008 to 2017 and 16,693 UK exams (5,655 cancers) acquired from 2011 to 2015. We evaluated on a screening mammography test set of 11,593 US exams (102 cancers; 7,594 women; age 57.1 \pm 11.0) and 1,880 UK exams (590 cancers; 1,745 women; age 63.3 \pm 7.2). A model trained on images of only view markers (no breast) achieved a 0.691 AUC. The original model trained on both datasets achieved a 0.945 AUC on the combined US+UK dataset but paradoxically only 0.838 and 0.892 on the US and UK datasets, respectively. Sampling cancers equally from both datasets during training mitigated this shortcut. A similar AUC paradox (0.903) occurred when evaluating diagnostic exams vs screening exams (0.862 vs 0.861, respectively). Removing diagnostic exams during training alleviated this bias. Finally, the model did not exhibit the AUC paradox over scanner models but still exhibited a bias toward Selenia Dimension (SD) over Hologic Selenia (HS) exams. Analysis showed that this AUC paradox occurred when a dataset attribute had values with a higher cancer prevalence (dataset bias) and the model consequently assigned a higher probability to these attribute values (model bias). Stratification and balancing cancer prevalence can mitigate shortcuts during evaluation. Dataset and model bias can introduce shortcuts and the AUC paradox, potentially pervasive issues within the healthcare AI space. Our methods can verify and mitigate shortcuts while providing a clear understanding of performance. △ Less

Submitted 28 March, 2023; originally announced March 2023.

Estimation of Unknown Payoff Parameters in Large Network Games

Authors: Feras Al Taha, Francesca Parise

Abstract: We consider network games where a large number of agents interact according to a network sampled from a random network model, represented by a graphon. By exploiting previous results on convergence of such large network games to graphon games, we examine a procedure for estimating unknown payoff parameters, from observations of equilibrium actions, without the need for exact network information. W… ▽ More We consider network games where a large number of agents interact according to a network sampled from a random network model, represented by a graphon. By exploiting previous results on convergence of such large network games to graphon games, we examine a procedure for estimating unknown payoff parameters, from observations of equilibrium actions, without the need for exact network information. We prove smoothness and local convexity of the optimization problem involved in computing the proposed estimator. Additionally, under a notion of graphon parameter identifiability, we show that the optimal estimator is globally unique. We present several examples of identifiable homogeneous and heterogeneous parameters in different classes of linear quadratic network games with numerical simulations to validate the proposed estimator. △ Less

Submitted 17 March, 2023; originally announced March 2023.

Comments: The extended arXiv version of the original paper accepted for publication in the 2023 American Control Conference, 9 pages, 1 figure

Reconfigurable Intelligent Surface-Assisted Cross-Layer Authentication for Secure and Efficient Vehicular Communications

Authors: Mahmoud A. Shawky, Syed Tariq Shah, Michael S. Mollel, Jalil R. Kazim, Muhammad Ali Imran, Qammer H. Abbasi, Shuja Ansari, Ahmad Taha

Abstract: Intelligent transportation systems increasingly depend on wireless communication, facilitating real-time vehicular communication. In this context, message authentication is crucial for establishing secure and reliable communication. However, security solutions must consider the dynamic nature of vehicular communication links, which fluctuate between line-of-sight (LoS) and non-line-of-sight (NLoS)… ▽ More Intelligent transportation systems increasingly depend on wireless communication, facilitating real-time vehicular communication. In this context, message authentication is crucial for establishing secure and reliable communication. However, security solutions must consider the dynamic nature of vehicular communication links, which fluctuate between line-of-sight (LoS) and non-line-of-sight (NLoS). In this paper, we propose a lightweight cross-layer authentication scheme that employs public-key infrastructure-based authentication for initial legitimacy detection while using keyed-based physical-layer re-authentication for message verification. However, the latter's detection probability (P_d) decreases with the reduction of the signal-to-noise ratio (SNR). Therefore, we examine using Reconfigurable Intelligent Surface (RIS) to enhance the SNR value directed toward the designated vehicle and consequently improve the P_d, especially for NLoS scenarios. We conducted theoretical analysis and practical implementation of the proposed scheme using a 1-bit RIS, consisting of 64 x 64 reflective units. Experimental results show a significant improvement in the P_d, increasing from 0.82 to 0.96 at SNR = - 6 dB for an orthogonal frequency division multiplexing system with 128 subcarriers. We also conducted informal and formal security analyses, using Burrows-Abadi-Needham (BAN)-logic, to prove the scheme's ability to resist passive and active attacks. Finally, the computation and communication comparisons demonstrate the superior performance of the proposed scheme compared to traditional crypto-based methods. △ Less

Submitted 15 March, 2023; originally announced March 2023.

Comments: 12 pages, 12 figures and 5 tables

Quickest Change Detection in Statistically Periodic Processes with Unknown Post-Change Distribution

Authors: Yousef Oleyaeimotlagh, Taposh Banerjee, Ahmad Taha, Eugene John

Abstract: Algorithms are developed for the quickest detection of a change in statistically periodic processes. These are processes in which the statistical properties are nonstationary but repeat after a fixed time interval. It is assumed that the pre-change law is known to the decision maker but the post-change law is unknown. In this framework, three families of problems are studied: robust quickest chang… ▽ More Algorithms are developed for the quickest detection of a change in statistically periodic processes. These are processes in which the statistical properties are nonstationary but repeat after a fixed time interval. It is assumed that the pre-change law is known to the decision maker but the post-change law is unknown. In this framework, three families of problems are studied: robust quickest change detection, joint quickest change detection and classification, and multislot quickest change detection. In the multislot problem, the exact slot within a period where a change may occur is unknown. Algorithms are proposed for each problem, and either exact optimality or asymptotic optimal in the low false alarm regime is proved for each of them. The developed algorithms are then used for anomaly detection in traffic data and arrhythmia detection and identification in electrocardiogram (ECG) data. The effectiveness of the algorithms is also demonstrated on simulated data. △ Less

Submitted 5 March, 2023; originally announced March 2023.

Comprehensive Framework for Controlling Nonlinear Multi-Species Water Quality Dynamics

Authors: Salma M. Elsherif, Ahmad F. Taha, Ahmed A. Abokifa, Lina Sela

Abstract: Tracing disinfectant (e.g., chlorine) and contaminants evolution in water networks requires the solution of 1- D advection-reaction (AR) partial differential equations (PDEs). With the absence of analytical solutions in many scenarios, numerical solutions require high-resolution time- and spacediscretizations resulting in large model dimensions. This adds complexity to the water quality control pr… ▽ More Tracing disinfectant (e.g., chlorine) and contaminants evolution in water networks requires the solution of 1- D advection-reaction (AR) partial differential equations (PDEs). With the absence of analytical solutions in many scenarios, numerical solutions require high-resolution time- and spacediscretizations resulting in large model dimensions. This adds complexity to the water quality control problem. In addition, considering multi-species water quality dynamics rather than the single-species dynamics produces a more accurate description of the reaction dynamics under abnormal hazardous conditions (e.g., contamination events). Yet, these dynamics introduces nonlinear reaction formulation to the model. To that end, solving nonlinear 1-D AR PDEs in real time is critical in achieving monitoring and control goals for various scaled networks with a high computational burden. In this work, we propose a novel comprehensive framework to overcome the large-dimensionality issue by introducing different approaches for applying model order reduction (MOR) algorithms to the nonlinear system followed by applying real-time water quality regulation algorithm that is based on an advanced model to maintain desirable disinfectant levels in water networks under multi-species dynamics. The performance of this framework is validated using rigorous numerical case studies under a wide range of scenarios demonstrating the challenges associated with regulating water quality under such conditions. △ Less

Submitted 13 July, 2023; v1 submitted 20 February, 2023; originally announced February 2023.

Understanding metric-related pitfalls in image analysis validation

Authors: Annika Reinke, Minu D. Tizabi, Michael Baumgartner, Matthias Eisenmann, Doreen Heckmann-Nötzel, A. Emre Kavur, Tim Rädsch, Carole H. Sudre, Laura Acion, Michela Antonelli, Tal Arbel, Spyridon Bakas, Arriel Benis, Matthew Blaschko, Florian Buettner, M. Jorge Cardoso, Veronika Cheplygina, Jianxu Chen, Evangelia Christodoulou, Beth A. Cimini, Gary S. Collins, Keyvan Farahani, Luciana Ferrer, Adrian Galdran, Bram van Ginneken , et al. (53 additional authors not shown)

Abstract: Validation metrics are key for the reliable tracking of scientific progress and for bridging the current chasm between artificial intelligence (AI) research and its translation into practice. However, increasing evidence shows that particularly in image analysis, metrics are often chosen inadequately in relation to the underlying research problem. This could be attributed to a lack of accessibilit… ▽ More Validation metrics are key for the reliable tracking of scientific progress and for bridging the current chasm between artificial intelligence (AI) research and its translation into practice. However, increasing evidence shows that particularly in image analysis, metrics are often chosen inadequately in relation to the underlying research problem. This could be attributed to a lack of accessibility of metric-related knowledge: While taking into account the individual strengths, weaknesses, and limitations of validation metrics is a critical prerequisite to making educated choices, the relevant knowledge is currently scattered and poorly accessible to individual researchers. Based on a multi-stage Delphi process conducted by a multidisciplinary expert consortium as well as extensive community feedback, the present work provides the first reliable and comprehensive common point of access to information on pitfalls related to validation metrics in image analysis. Focusing on biomedical image analysis but with the potential of transfer to other fields, the addressed pitfalls generalize across application domains and are categorized according to a newly created, domain-agnostic taxonomy. To facilitate comprehension, illustrations and specific examples accompany each pitfall. As a structured body of information accessible to researchers of all levels of expertise, this work enhances global comprehension of a key topic in image analysis validation. △ Less

Submitted 23 February, 2024; v1 submitted 3 February, 2023; originally announced February 2023.

Comments: Shared first authors: Annika Reinke and Minu D. Tizabi; shared senior authors: Lena Maier-Hein and Paul F. Jäger. Published in Nature Methods. arXiv admin note: text overlap with arXiv:2206.01653

Journal ref: Nature methods, 1-13 (2024)

Reconfigurable Intelligent Surface Aided Wireless Sensing for Scene Depth Estimation

Authors: Abdelrahman Taha, Hao Luo, Ahmed Alkhateeb

Abstract: Current scene depth estimation approaches mainly rely on optical sensing, which carries privacy concerns and suffers from estimation ambiguity for distant, shiny, and transparent surfaces/objects. Reconfigurable intelligent surfaces (RISs) provide a path for employing a massive number of antennas using low-cost and energy-efficient architectures. This has the potential for realizing RIS-aided wire… ▽ More Current scene depth estimation approaches mainly rely on optical sensing, which carries privacy concerns and suffers from estimation ambiguity for distant, shiny, and transparent surfaces/objects. Reconfigurable intelligent surfaces (RISs) provide a path for employing a massive number of antennas using low-cost and energy-efficient architectures. This has the potential for realizing RIS-aided wireless sensing with high spatial resolution. In this paper, we propose to employ RIS-aided wireless sensing systems for scene depth estimation. We develop a comprehensive framework for building accurate depth maps using RIS-aided mmWave sensing systems. In this framework, we propose a new RIS interaction codebook capable of creating a sensing grid of reflected beams that meets the desirable characteristics of efficient scene depth map construction. Using the designed codebook, the received signals are processed to build high-resolution depth maps. Simulation results compare the proposed solution against RGB-based approaches and highlight the promise of adopting RIS-aided mmWave sensing in scene depth perception. △ Less

Submitted 15 November, 2022; originally announced November 2022.

Comments: Submitted to IEEE

Confidence estimation of classification based on the distribution of the neural network output layer

Authors: Abdel Aziz Taha, Leonhard Hennig, Petr Knoth

Abstract: One of the most common problems preventing the application of prediction models in the real world is lack of generalization: The accuracy of models, measured in the benchmark does repeat itself on future data, e.g. in the settings of real business. There is relatively little methods exist that estimate the confidence of prediction models. In this paper, we propose novel methods that, given a neura… ▽ More One of the most common problems preventing the application of prediction models in the real world is lack of generalization: The accuracy of models, measured in the benchmark does repeat itself on future data, e.g. in the settings of real business. There is relatively little methods exist that estimate the confidence of prediction models. In this paper, we propose novel methods that, given a neural network classification model, estimate uncertainty of particular predictions generated by this model. Furthermore, we propose a method that, given a model and a confidence level, calculates a threshold that separates prediction generated by this model into two subsets, one of them meets the given confidence level. In contrast to other methods, the proposed methods do not require any changes on existing neural networks, because they simply build on the output logit layer of a common neural network. In particular, the methods infer the confidence of a particular prediction based on the distribution of the logit values corresponding to this prediction. The proposed methods constitute a tool that is recommended for filtering predictions in the process of knowledge extraction, e.g. based on web scrap**, where predictions subsets are identified that maximize the precision on cost of the recall, which is less important due to the availability of data. The method has been tested on different tasks including relation extraction, named entity recognition and image classification to show the significant increase of accuracy achieved. △ Less

Submitted 18 October, 2022; v1 submitted 14 October, 2022; originally announced October 2022.

Comments: Draft

Robust Dynamic State Estimation of Multi-Machine Power Networks with Solar Farms and Dynamics Loads

Authors: Muhammad Nadeem, Ahmad F. Taha

Abstract: Conventional state estimation routines of electrical grids are mainly reliant on dynamic models of fossil fuel-based resources. These models commonly contain differential equations describing synchronous generator models and algebraic equations modeling power flow/balance equations. Fuel-free power systems that are driven by inertia-less renewable energy resources will hence require new models and… ▽ More Conventional state estimation routines of electrical grids are mainly reliant on dynamic models of fossil fuel-based resources. These models commonly contain differential equations describing synchronous generator models and algebraic equations modeling power flow/balance equations. Fuel-free power systems that are driven by inertia-less renewable energy resources will hence require new models and upgraded estimation routines. To that end, in this paper we propose a robust estimator for an interconnected model of power networks comprised of a comprehensive ninth order synchronous generator model, advanced power electronics-based models for photovoltaic (PV) power plants, constant power loads, constant impedance loads, and motor loads. The presented state estimator design is based on Lyapunov stability criteria for nonlinear differential algebraic equation (DAE) models and is posed as a convex semi-definite optimization problem. Thorough simulations studies have been carried out on IEEE-39 bus test system to showcase the robustness of the proposed estimator against unknown uncertainty from load demand and solar irradiance. △ Less

Submitted 20 September, 2022; originally announced September 2022.

Comments: To Appear in the 61st IEEE Conference on Decision and Control (CDC), Cancún, Mexico, December 2022

On Differential Privacy and Traffic State Estimation Problem for Connected Vehicles

Authors: Suyash C. Vishnoi, Ahmad F. Taha, Sebastian A. Nugroho, Christian G. Claudel

Abstract: This letter focuses on the problem of traffic state estimation for highway networks with junctions in the form of on- and off-ramps while maintaining differential privacy of traffic data. Two types of sensors are considered, fixed sensors such as inductive loop detectors and connected vehicles which provide traffic density and speed data. The celebrated nonlinear second-order Aw-Rascle- Zhang (ARZ… ▽ More This letter focuses on the problem of traffic state estimation for highway networks with junctions in the form of on- and off-ramps while maintaining differential privacy of traffic data. Two types of sensors are considered, fixed sensors such as inductive loop detectors and connected vehicles which provide traffic density and speed data. The celebrated nonlinear second-order Aw-Rascle- Zhang (ARZ) model is utilized to model the traffic dynamics. The model is formulated as a nonlinear state-space difference equation. Sensitivity relations are derived for the given data which are then used to formulate a differentially private mechanism which adds a Gaussian noise to the data to make it differentially private. A Moving Horizon Estimation (MHE) approach is implemented for traffic state estimation using a linearized ARZ model. MHE is compared with Kalman Filter variants namely Extended Kalman Filter, Ensemble Kalman Filter and Unscented Kalman Filter. Several research and engineering questions are formulated and analysis is performed to find corresponding answers. △ Less

Submitted 6 September, 2022; originally announced September 2022.

Comments: TO APPEAR IN THE 61ST IEEE CONFERENCE ON DECISION AND CONTROL (CDC), CANCUN, MEXICO, DECEMBER 2022. arXiv admin note: text overlap with arXiv:2209.02848

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

Authors: Suyash C. Vishnoi, Sebastian A. Nugroho, Ahmad F. Taha, Christian G. Claudel

Abstract: 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 im… ▽ More 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. △ Less

Submitted 3 July, 2024; v1 submitted 6 September, 2022; originally announced September 2022.

Deep is a Luxury We Don't Have

Authors: Ahmed Taha, Yen Nhi Truong Vu, Brent Mombourquette, Thomas Paul Matthews, Jason Su, Sadanand Singh

Abstract: Medical images come in high resolutions. A high resolution is vital for finding malignant tissues at an early stage. Yet, this resolution presents a challenge in terms of modeling long range dependencies. Shallow transformers eliminate this problem, but they suffer from quadratic complexity. In this paper, we tackle this complexity by leveraging a linear self-attention approximation. Through this… ▽ More Medical images come in high resolutions. A high resolution is vital for finding malignant tissues at an early stage. Yet, this resolution presents a challenge in terms of modeling long range dependencies. Shallow transformers eliminate this problem, but they suffer from quadratic complexity. In this paper, we tackle this complexity by leveraging a linear self-attention approximation. Through this approximation, we propose an efficient vision model called HCT that stands for High resolution Convolutional Transformer. HCT brings transformers' merits to high resolution images at a significantly lower cost. We evaluate HCT using a high resolution mammography dataset. HCT is significantly superior to its CNN counterpart. Furthermore, we demonstrate HCT's fitness for medical images by evaluating its effective receptive field.Code available at https://bit.ly/3ykBhhf △ Less

Submitted 11 August, 2022; originally announced August 2022.

Comments: MICCAI 2022 + Extra Experiments

An Efficient Method for Quantifying the Aggregate Flexibility of Plug-in Electric Vehicle Populations

Authors: Feras Al Taha, Tyrone Vincent, Eilyan Bitar

Abstract: Plug-in electric vehicles (EVs) are widely recognized as being highly flexible electric loads that can be pooled and controlled via aggregators to provide low-cost energy and ancillary services to wholesale electricity markets. To participate in these markets, an aggregator must encode the aggregate flexibility of the population of EVs under their command as a single polytope that is compliant wit… ▽ More Plug-in electric vehicles (EVs) are widely recognized as being highly flexible electric loads that can be pooled and controlled via aggregators to provide low-cost energy and ancillary services to wholesale electricity markets. To participate in these markets, an aggregator must encode the aggregate flexibility of the population of EVs under their command as a single polytope that is compliant with existing market rules. To this end, we investigate the problem of characterizing the aggregate flexibility set of a heterogeneous population of EVs whose individual flexibility sets are given as convex polytopes in half-space representation. As the exact computation of the aggregate flexibility set -- the Minkowski sum of the individual flexibility sets -- is known to be intractable, we study the problem of computing maximum-volume inner approximations to the aggregate flexibility set by optimizing over affine transformations of a given convex polytope in half-space representation. We show how to conservatively approximate these set containment problems as linear programs that scale polynomially with the number and dimension of the individual flexibility sets. The inner approximation methods provided in this paper generalize and improve upon existing methods from the literature. We illustrate the improvement in approximation accuracy and performance achievable by our methods with numerical experiments. △ Less

Submitted 18 January, 2024; v1 submitted 14 July, 2022; originally announced July 2022.

Comments: 13 pages, 7 figures

Data-Driven Identification of Dynamic Quality Models in Drinking Water Networks

Authors: Shen Wang, Ankush Chakrabarty, Ahmad F. Taha

Abstract: Traditional control and monitoring of water quality in drinking water distribution networks (WDN) rely on mostly model- or toolbox-driven approaches, where the network topology and parameters are assumed to be known. In contrast, system identification (SysID) algorithms for generic dynamic system models seek to approximate such models using only input-output data without relying on network paramet… ▽ More Traditional control and monitoring of water quality in drinking water distribution networks (WDN) rely on mostly model- or toolbox-driven approaches, where the network topology and parameters are assumed to be known. In contrast, system identification (SysID) algorithms for generic dynamic system models seek to approximate such models using only input-output data without relying on network parameters. The objective of this paper is to investigate SysID algorithms for water quality model approximation. This research problem is challenging due to (i) complex water quality and reaction dynamics and (ii) the mismatch between the requirements of SysID algorithms and the properties of water quality dynamics. In this paper, we present the first attempt to identify water quality models in WDNs using only input-output experimental data and classical SysID methods without knowing any WDN parameters. Properties of water quality models are introduced, the ensuing challenges caused by these properties when identifying water quality models are discussed, and remedial solutions are given. Through case studies, we demonstrate the applicability of SysID algorithms, show the corresponding performance in terms of accuracy and computational time, and explore the possible factors impacting water quality model identification. △ Less

Submitted 23 January, 2023; v1 submitted 13 July, 2022; originally announced July 2022.

Dynamic State Estimation of Nonlinear Differential Algebraic Equation Models of Power Networks

Authors: Muhammad Nadeem, Sebastian A. Nugroho, Ahmad F. Taha

Abstract: This paper investigates the joint problems of dynamic state estimation of algebraic variables (voltage and phase angle) and generator states (rotor angle and frequency) of nonlinear differential algebraic equation (NDAE) power network models, under uncertainty. Traditionally, these two problems have been decoupled due to complexity of handling NDAE models. In particular, this paper offers the firs… ▽ More This paper investigates the joint problems of dynamic state estimation of algebraic variables (voltage and phase angle) and generator states (rotor angle and frequency) of nonlinear differential algebraic equation (NDAE) power network models, under uncertainty. Traditionally, these two problems have been decoupled due to complexity of handling NDAE models. In particular, this paper offers the first attempt to solve the aforementioned problem in a coupled approach where the algebraic and generator states estimates are simultaneously computed. The proposed estimation algorithm herein is endowed with the following properties: (i) it is fairly simple to implement and based on well-understood Lyapunov theory; (ii) considers various sources of uncertainty from generator control inputs, loads, renewables, process and measurement noise; (iii) models phasor measurement unit installations at arbitrary buses; and (iv) is computationally less intensive than the decoupled approach in the literature. △ Less

Submitted 15 June, 2022; originally announced June 2022.

Comments: IEEE Transactions on Power Systems, In Press, June 2022

Metrics reloaded: Recommendations for image analysis validation

Authors: Lena Maier-Hein, Annika Reinke, Patrick Godau, Minu D. Tizabi, Florian Buettner, Evangelia Christodoulou, Ben Glocker, Fabian Isensee, Jens Kleesiek, Michal Kozubek, Mauricio Reyes, Michael A. Riegler, Manuel Wiesenfarth, A. Emre Kavur, Carole H. Sudre, Michael Baumgartner, Matthias Eisenmann, Doreen Heckmann-Nötzel, Tim Rädsch, Laura Acion, Michela Antonelli, Tal Arbel, Spyridon Bakas, Arriel Benis, Matthew Blaschko , et al. (49 additional authors not shown)

Abstract: Increasing evidence shows that flaws in machine learning (ML) algorithm validation are an underestimated global problem. Particularly in automatic biomedical image analysis, chosen performance metrics often do not reflect the domain interest, thus failing to adequately measure scientific progress and hindering translation of ML techniques into practice. To overcome this, our large international ex… ▽ More Increasing evidence shows that flaws in machine learning (ML) algorithm validation are an underestimated global problem. Particularly in automatic biomedical image analysis, chosen performance metrics often do not reflect the domain interest, thus failing to adequately measure scientific progress and hindering translation of ML techniques into practice. To overcome this, our large international expert consortium created Metrics Reloaded, a comprehensive framework guiding researchers in the problem-aware selection of metrics. Following the convergence of ML methodology across application domains, Metrics Reloaded fosters the convergence of validation methodology. The framework was developed in a multi-stage Delphi process and is based on the novel concept of a problem fingerprint - a structured representation of the given problem that captures all aspects that are relevant for metric selection, from the domain interest to the properties of the target structure(s), data set and algorithm output. Based on the problem fingerprint, users are guided through the process of choosing and applying appropriate validation metrics while being made aware of potential pitfalls. Metrics Reloaded targets image analysis problems that can be interpreted as a classification task at image, object or pixel level, namely image-level classification, object detection, semantic segmentation, and instance segmentation tasks. To improve the user experience, we implemented the framework in the Metrics Reloaded online tool, which also provides a point of access to explore weaknesses, strengths and specific recommendations for the most common validation metrics. The broad applicability of our framework across domains is demonstrated by an instantiation for various biological and medical image analysis use cases. △ Less

Submitted 23 February, 2024; v1 submitted 3 June, 2022; originally announced June 2022.

Comments: Shared first authors: Lena Maier-Hein, Annika Reinke. arXiv admin note: substantial text overlap with arXiv:2104.05642 Published in Nature Methods

Journal ref: Nature methods, 1-18 (2024)

Flood Risk Mitigation and Valve Control in Stormwater Systems: State-Space Modeling, Control Algorithms, and Case Studies

Authors: Marcus N. Gomes Junior, Marcio H. Giacomoni, Ahmad F. Taha, Eduardo M. Mendiondo

Abstract: The increasing access to non-expensive sensors, computing power, and more accurate forecasting of storm events provides unique opportunities to shift flood management practices from static approaches to an optimization-based real-time control (RTC) of urban drainage systems. Recent studies have addressed a plethora of strategies for flood control in stormwater reservoirs; however, advanced control… ▽ More The increasing access to non-expensive sensors, computing power, and more accurate forecasting of storm events provides unique opportunities to shift flood management practices from static approaches to an optimization-based real-time control (RTC) of urban drainage systems. Recent studies have addressed a plethora of strategies for flood control in stormwater reservoirs; however, advanced control theoretic techniques are not yet fully investigated and applied to these systems. In addition, there is an absence of a coupled integrated control model for systems composed of watersheds, reservoirs, and channels for flood mitigation. To this end, we develop a novel state-space model of hydrologic and hydrodynamic processes in reservoirs and one-dimensional channels. The model is tested under different types of reservoir control strategies based on real-time measurements (reactive control), and based on predictions of the future behavior of the system (predictive control) using rainfall forecastings. We apply the modeling approach in a system composed by a single watershed, reservoir, and a channel connected in series, respectively, for the San Antonio observed rainfall data. Results indicate that for flood mitigation, the predictive control strategy outperforms the reactive controls not only when applied for synthetic design storm events, but also for a continuous simulation. Moreover, the predictive control strategy requires smaller valve operations, while still guaranteeing efficient hydrological performance. From the results, we recommend the use of the model predictive control strategy to control stormwater systems due to the ability to handle different objective functions, which can be altered according to rainfall forecasting and shift the reservoir operation from flood-based control to strategies focused on increasing detention times, depending on the forecasting. △ Less

Submitted 8 May, 2022; v1 submitted 2 May, 2022; originally announced May 2022.

Control-Theoretic Modeling of Multi-Species Water Quality Dynamics in Drinking Water Networks: Survey, Methods, and Test Cases

Authors: Salma M. Elsherif, Shen Wang, Ahmad F. Taha, Lina Sela, Marcio H. Giacomoni, Ahmed Abokifa

Abstract: Chlorine is a widely used disinfectant and proxy for water quality (WQ) monitoring in water distribution networks (WDN). Chlorine-based WQ regulation and control aims to maintain pathogen-free water. Chlorine residual evolution within WDN is commonly modeled using the typical single-species decay and reaction dynamics that account for network-wide, spatiotemporal chlorine concentrations only. Prio… ▽ More Chlorine is a widely used disinfectant and proxy for water quality (WQ) monitoring in water distribution networks (WDN). Chlorine-based WQ regulation and control aims to maintain pathogen-free water. Chlorine residual evolution within WDN is commonly modeled using the typical single-species decay and reaction dynamics that account for network-wide, spatiotemporal chlorine concentrations only. Prior studies have proposed more advanced and accurate descriptions via multi-species dynamics. This paper presents a host of novel state-space, control-theoretic representations of multi-species water quality dynamics. These representations describe decay, reaction, and transport of chlorine and a fictitious reactive substance to reflect realistic complex scenarios in WDN. Such dynamics are simulated over space- and time-discretized grids of the transport partial differential equation and the nonlinear reaction ordinary differential equation. To that end, this paper (i) provides a full description on how to formulate a high fidelity model-driven state-space representation of the multi-species water quality dynamics and (ii) investigates the applicability and performance of different Eulerian-based schemes (Lax-Wendroff, backward Euler, and Crank- Nicolson) and Lagrangian-based schemes (method of characteristics) in contrast with EPANET and its EPANET-MSX extension. Numerical case studies reveal that the Lax-Wendroff scheme and method of characteristics outperform other schemes with reliable results under reasonable assumptions and limitations. △ Less

Submitted 31 May, 2022; v1 submitted 29 April, 2022; originally announced April 2022.

Observers for Differential Algebraic Equation Models of Power Networks: Jointly Estimating Dynamic and Algebraic States

Authors: Sebastian Nugroho, Ahmad Taha, Nikolaos Gatsis, Junbo Zhao

Abstract: Phasor measurement units ({PMUs}) have become instrumental in modern power systems for enabling real-time, wide-area monitoring and control. Accordingly, many studies have investigated efficient and robust dynamic state estimation (DSE) methods in order to accurately compute the dynamic states of generation units. Nonetheless, most of them forego the dynamic-algebraic nature of power networks and… ▽ More Phasor measurement units ({PMUs}) have become instrumental in modern power systems for enabling real-time, wide-area monitoring and control. Accordingly, many studies have investigated efficient and robust dynamic state estimation (DSE) methods in order to accurately compute the dynamic states of generation units. Nonetheless, most of them forego the dynamic-algebraic nature of power networks and only consider their nonlinear dynamic representations. Motivated by the lack of DSE methods based on power network's differential-algebraic equations (DAEs), this paper develops a novel observer-based DSE framework in order to perform simultaneous estimation of the dynamic and algebraic states of multi-machine power networks. Specifically, we leverage the DAE dynamics of a power network around an operating point and combine them with a PMU-based measurement model capable of capturing bus voltages and line currents. The proposed $\mathcal{H}_{\infty}$ observer, which only requires detectability and impulse observability conditions which are satisfied for various power networks, is designed to handle various noise, unknown inputs, and input sensor failures. The results obtained from performing extensive numerical simulations on the IEEE $9$-bus and $39$-bus systems showcase the effectiveness of the proposed approach for DSE purposes. △ Less

Submitted 4 May, 2022; v1 submitted 26 February, 2022; originally announced February 2022.

Hydrothermal synthesis, structure, and antibacterial studies of a nanosized iron zeolite

Authors: Karam S. El-Nassera, T. A. Taha, Ibraheem O. Alia, Hossam Donya

Abstract: The present research explores the effects of Percentage Fe incorporation on the structure and antibacterial activity of Fe ZSM 5. Silica extracted from local rice husk straw (white particles) by applying NaOH and HCl solutions for consecutive chemical treatment was used for hydrothermal synthesis of FeZSM 5 with constant Si(Fe plus Al) ratios. The chemical and physical changes of ZSM 5 and Fe ZSM… ▽ More The present research explores the effects of Percentage Fe incorporation on the structure and antibacterial activity of Fe ZSM 5. Silica extracted from local rice husk straw (white particles) by applying NaOH and HCl solutions for consecutive chemical treatment was used for hydrothermal synthesis of FeZSM 5 with constant Si(Fe plus Al) ratios. The chemical and physical changes of ZSM 5 and Fe ZSM 5 surfaces were investigated by X ray diffraction analysis (XRD), scanning electron microscopy (SEM), Fourier transform infrared spectroscopy (FTIR), UV Vis spectroscopy, differential scanning calorimetry (DSC), and pore structure analysis by N2 adsorption at 196 . XRD analysis revealed the typical ZSM 5 structure with new diffraction lines attributed to the iron silicate phase. FTIR spectral analysis of ZSM 5 samples containing iron display a new band at 656 cm that is ascribed to the SiOFe group. The antibacterial activity of such coatings towards different kinds of bacteria, such as S. pneumonia, B. subtilis, E. coli and P. aeruginosa, and fungi, such as A. fumigatus and C. albicans, for investigated ZSM 5 and Fe (20 and 100 percentages) samples showed selective antibacterial actions. △ Less

Submitted 14 February, 2022; originally announced February 2022.

Comments: NA

ACM Class: F.2.2

Dynamics of a symmetrically decoupled three-dimensional point transformation

Authors: Hacene Gharout, Nourredine Akroune, Abdel-kaddous Taha

Abstract: In this work, we give some results obtained on the dynamics of a symmetrically decoupled three-dimensional point transformation. We are interested, in particular, in the study of its parametric plane and in its phase space by highlighting the existence of chaotic attractors. In this work, we give some results obtained on the dynamics of a symmetrically decoupled three-dimensional point transformation. We are interested, in particular, in the study of its parametric plane and in its phase space by highlighting the existence of chaotic attractors. △ Less

Submitted 22 December, 2021; originally announced December 2021.

Where Should Traffic Sensors Be Placed on Highways?

Authors: Sebastian A. Nugroho, Suyash C. Vishnoi, Ahmad F. Taha, Christian G. Claudel, Taposh Banerjee

Abstract: This paper investigates the practical engineering problem of traffic sensors placement on stretched highways with ramps. Since it is virtually impossible to install bulky traffic sensors on each highway segment, it is crucial to find placements that result in optimized network-wide, traffic observability. Consequently, this results in accurate traffic density estimates on segments where sensors ar… ▽ More This paper investigates the practical engineering problem of traffic sensors placement on stretched highways with ramps. Since it is virtually impossible to install bulky traffic sensors on each highway segment, it is crucial to find placements that result in optimized network-wide, traffic observability. Consequently, this results in accurate traffic density estimates on segments where sensors are not installed. The substantial contribution of this paper is the utilization of control-theoretic observability analysis -- jointly with integer programming -- to determine traffic sensor locations based on the nonlinear dynamics and parameters of traffic networks. In particular, the celebrated asymmetric cell transmission model is used to guide the placement strategy jointly with observability analysis of nonlinear dynamic systems through Gramians. Thorough numerical case studies are presented to corroborate the proposed theoretical methods and various computational research questions are posed and addressed. The presented approach can also be extended to other models of traffic dynamics. △ Less

Submitted 4 May, 2022; v1 submitted 2 October, 2021; originally announced October 2021.