-
Spatial Fuzzy Clustering on Synthetic Aperture Radar Images to Detect Changes
Authors:
Necmettin Bayar,
W. T Al-Shaibani,
Ibraheem Shayea,
Abdulkader Taha,
Azizul Azizan
Abstract:
Data and data sources have become increasingly essential in recent decades. Scientists and researchers require more data to deploy AI approaches as the field continues to improve. In recent years, the rapid technological advancements have had a significant impact on human existence. One major field for collecting data is satellite technology. With the fast development of various satellite sensor e…
▽ More
Data and data sources have become increasingly essential in recent decades. Scientists and researchers require more data to deploy AI approaches as the field continues to improve. In recent years, the rapid technological advancements have had a significant impact on human existence. One major field for collecting data is satellite technology. With the fast development of various satellite sensor equipment, synthetic aperture radar (SAR) images have become an important source of data for a variety of research subjects, including environmental studies, urban studies, coastal extraction, water sources, etc. Change detection and coastline detection are both achieved using SAR pictures. However, speckle noise is a major problem in SAR imaging. Several solutions have been offered to address this issue. One solution is to expose SAR images to spatial fuzzy clustering. Another solution is to separate speech. This study utilises the spatial function to overcome speckle noise and cluster the SAR images with the highest achieved accuracy. The spatial function is proposed in this work since the likelihood of data falling into one cluster is what this function is all about. When the spatial function is employed to cluster data in fuzzy logic, the clustering outcomes improve. The proposed clustering technique is us
△ Less
Submitted 25 August, 2021;
originally announced August 2021.
-
Feedback Stabilization and Output Tracking for Discrete-Time Lipschitz Nonlinear Systems via Iterative Convex Approximations
Authors:
Sebastian A. Nugroho,
Suyash C. Vishnoi,
Ahmad F. Taha,
Christian G. Claudel
Abstract:
The stabilization of unstable nonlinear systems and tracking control are challenging engineering problems due to the encompassed nonlinearities in dynamic systems and their scale. In the past decades, numerous observer-based control designs for dynamic systems in which the nonlinearity belongs to Lipschitz functions have been proposed. However, most of them only focus on output feedback and conseq…
▽ More
The stabilization of unstable nonlinear systems and tracking control are challenging engineering problems due to the encompassed nonlinearities in dynamic systems and their scale. In the past decades, numerous observer-based control designs for dynamic systems in which the nonlinearity belongs to Lipschitz functions have been proposed. However, most of them only focus on output feedback and consequently, state feedback design remains less developed. To that end, this paper is dedicated to the problem of full-state feedback controller design for discrete-time Lipschitz nonlinear systems. In addition, we present a simple iterative method for improving the convergence of the closed-loop performance. It is later demonstrated that our approach can be conveniently extended and utilized for output tracking.
△ Less
Submitted 20 April, 2021;
originally announced April 2021.
-
Load and Renewable-Following Control of Linearization-Free Differential Algebraic Equation Power System Models
Authors:
Sebastian A. Nugroho,
Ahmad F. Taha
Abstract:
Electromechanical transients in power networks are mostly caused by a mismatch between power consumption and production, causing generators to deviate from the nominal frequency. To that end, feedback control algorithms have been designed to perform frequency and load/renewables-following control. In particular, the literature addressed a plethora of grid- and frequency-control challenges with a f…
▽ More
Electromechanical transients in power networks are mostly caused by a mismatch between power consumption and production, causing generators to deviate from the nominal frequency. To that end, feedback control algorithms have been designed to perform frequency and load/renewables-following control. In particular, the literature addressed a plethora of grid- and frequency-control challenges with a focus on linearized, differential equation models whereby algebraic constraints (i.e., power flows) are eliminated. This is in contrast with the more realistic nonlinear differential algebraic equation (NDAE) models. Yet, as grids are increasingly pushed to their limits via intermittent renewables and varying loads, their physical states risk esca** operating regions due to either a poor prediction or sudden changes in renewables or demands -- deeming a feedback controller based on a linearization point virtually unusable. In lieu of linearized differential equation models, the objective of this paper is to design a simple, purely decentralized, linearization-free, feedback control law for NDAE models of power networks. The aim of such a controller is to primarily stabilize frequency oscillations after a significant, unknown disturbance in renewables or loads. Although the controller design involves advanced NDAE system theory, the controller itself is as simple as a decentralized proportional or linear quadratic regulator in its implementation. Case studies demonstrate that the proposed controller is able to stabilize dynamic and algebraic states under significant disturbances.
△ Less
Submitted 8 February, 2023; v1 submitted 13 April, 2021;
originally announced April 2021.
-
Common Limitations of Image Processing Metrics: A Picture Story
Authors:
Annika Reinke,
Minu D. Tizabi,
Carole H. Sudre,
Matthias Eisenmann,
Tim Rädsch,
Michael Baumgartner,
Laura Acion,
Michela Antonelli,
Tal Arbel,
Spyridon Bakas,
Peter Bankhead,
Arriel Benis,
Matthew Blaschko,
Florian Buettner,
M. Jorge Cardoso,
Jianxu Chen,
Veronika Cheplygina,
Evangelia Christodoulou,
Beth Cimini,
Gary S. Collins,
Sandy Engelhardt,
Keyvan Farahani,
Luciana Ferrer,
Adrian Galdran,
Bram van Ginneken
, et al. (68 additional authors not shown)
Abstract:
While the importance of automatic image analysis is continuously increasing, recent meta-research revealed major flaws with respect to algorithm validation. Performance metrics are particularly key for meaningful, objective, and transparent performance assessment and validation of the used automatic algorithms, but relatively little attention has been given to the practical pitfalls when using spe…
▽ More
While the importance of automatic image analysis is continuously increasing, recent meta-research revealed major flaws with respect to algorithm validation. Performance metrics are particularly key for meaningful, objective, and transparent performance assessment and validation of the used automatic algorithms, but relatively little attention has been given to the practical pitfalls when using specific metrics for a given image analysis task. These are typically related to (1) the disregard of inherent metric properties, such as the behaviour in the presence of class imbalance or small target structures, (2) the disregard of inherent data set properties, such as the non-independence of the test cases, and (3) the disregard of the actual biomedical domain interest that the metrics should reflect. This living dynamically document has the purpose to illustrate important limitations of performance metrics commonly applied in the field of image analysis. In this context, it focuses on biomedical image analysis problems that can be phrased as image-level classification, semantic segmentation, instance segmentation, or object detection task. The current version is based on a Delphi process on metrics conducted by an international consortium of image analysis experts from more than 60 institutions worldwide.
△ Less
Submitted 6 December, 2023; v1 submitted 12 April, 2021;
originally announced April 2021.
-
Knowledge Evolution in Neural Networks
Authors:
Ahmed Taha,
Abhinav Shrivastava,
Larry Davis
Abstract:
Deep learning relies on the availability of a large corpus of data (labeled or unlabeled). Thus, one challenging unsettled question is: how to train a deep network on a relatively small dataset? To tackle this question, we propose an evolution-inspired training approach to boost performance on relatively small datasets. The knowledge evolution (KE) approach splits a deep network into two hypothese…
▽ More
Deep learning relies on the availability of a large corpus of data (labeled or unlabeled). Thus, one challenging unsettled question is: how to train a deep network on a relatively small dataset? To tackle this question, we propose an evolution-inspired training approach to boost performance on relatively small datasets. The knowledge evolution (KE) approach splits a deep network into two hypotheses: the fit-hypothesis and the reset-hypothesis. We iteratively evolve the knowledge inside the fit-hypothesis by perturbing the reset-hypothesis for multiple generations. This approach not only boosts performance, but also learns a slim network with a smaller inference cost. KE integrates seamlessly with both vanilla and residual convolutional networks. KE reduces both overfitting and the burden for data collection.
We evaluate KE on various network architectures and loss functions. We evaluate KE using relatively small datasets (e.g., CUB-200) and randomly initialized deep networks. KE achieves an absolute 21% improvement margin on a state-of-the-art baseline. This performance improvement is accompanied by a relative 73% reduction in inference cost. KE achieves state-of-the-art results on classification and metric learning benchmarks. Code available at http://bit.ly/3uLgwYb
△ Less
Submitted 8 March, 2021;
originally announced March 2021.
-
SVMax: A Feature Embedding Regularizer
Authors:
Ahmed Taha,
Alex Hanson,
Abhinav Shrivastava,
Larry Davis
Abstract:
A neural network regularizer (e.g., weight decay) boosts performance by explicitly penalizing the complexity of a network. In this paper, we penalize inferior network activations -- feature embeddings -- which in turn regularize the network's weights implicitly. We propose singular value maximization (SVMax) to learn a more uniform feature embedding. The SVMax regularizer supports both supervised…
▽ More
A neural network regularizer (e.g., weight decay) boosts performance by explicitly penalizing the complexity of a network. In this paper, we penalize inferior network activations -- feature embeddings -- which in turn regularize the network's weights implicitly. We propose singular value maximization (SVMax) to learn a more uniform feature embedding. The SVMax regularizer supports both supervised and unsupervised learning. Our formulation mitigates model collapse and enables larger learning rates. We evaluate the SVMax regularizer using both retrieval and generative adversarial networks. We leverage a synthetic mixture of Gaussians dataset to evaluate SVMax in an unsupervised setting. For retrieval networks, SVMax achieves significant improvement margins across various ranking losses. Code available at https://bit.ly/3jNkgDt
△ Less
Submitted 3 March, 2021;
originally announced March 2021.
-
Model Order Reduction for Water Quality Dynamics
Authors:
Shen Wang,
Ahmad F. Taha,
Ankush Chakrabarty,
Lina Sela,
Ahmed Abokifa
Abstract:
A state-space representation of water quality dynamics describing disinfectant (e.g., chlorine) transport dynamics in drinking water distribution networks has been recently proposed. Such representation is a byproduct of space- and time-discretization of the PDE modeling transport dynamics. This results in a large state-space dimension even for small networks with tens of nodes. Although such a st…
▽ More
A state-space representation of water quality dynamics describing disinfectant (e.g., chlorine) transport dynamics in drinking water distribution networks has been recently proposed. Such representation is a byproduct of space- and time-discretization of the PDE modeling transport dynamics. This results in a large state-space dimension even for small networks with tens of nodes. Although such a state-space model provides a model-driven approach to predict water quality dynamics, incorporating it into model-based control algorithms or state estimators for large networks is challenging and at times intractable. To that end, this paper investigates model order reduction (MOR) methods for water quality dynamics with the objective of performing post-reduction feedback control. The presented investigation focuses on reducing state-dimension by orders of magnitude, the stability of the MOR methods, and the application of these methods to model predictive control.
△ Less
Submitted 18 February, 2022; v1 submitted 21 February, 2021;
originally announced February 2021.
-
Millimeter Wave MIMO based Depth Maps for Wireless Virtual and Augmented Reality
Authors:
Abdelrahman Taha,
Qi Qu,
Sam Alex,
** Wang,
William L. Abbott,
Ahmed Alkhateeb
Abstract:
Augmented and virtual reality systems (AR/VR) are rapidly becoming key components of the wireless landscape. For immersive AR/VR experience, these devices should be able to construct accurate depth perception of the surrounding environment. Current AR/VR devices rely heavily on using RGB-D depth cameras to achieve this goal. The performance of these depth cameras, however, has clear limitations in…
▽ More
Augmented and virtual reality systems (AR/VR) are rapidly becoming key components of the wireless landscape. For immersive AR/VR experience, these devices should be able to construct accurate depth perception of the surrounding environment. Current AR/VR devices rely heavily on using RGB-D depth cameras to achieve this goal. The performance of these depth cameras, however, has clear limitations in several scenarios, such as the cases with shiny objects, dark surfaces, and abrupt color transition among other limitations. In this paper, we propose a novel solution for AR/VR depth map construction using mmWave MIMO communication transceivers. This is motivated by the deployment of advanced mmWave communication systems in future AR/VR devices for meeting the high data rate demands and by the interesting propagation characteristics of mmWave signals. Accounting for the constraints on these systems, we develop a comprehensive framework for constructing accurate and high-resolution depth maps using mmWave systems. In this framework, we developed new sensing beamforming codebook approaches that are specific for the depth map construction objective. Using these codebooks, and leveraging tools from successive interference cancellation, we develop a joint beam processing approach that can construct high-resolution depth maps using practical mmWave antenna arrays. Extensive simulation results highlight the potential of the proposed solution in building accurate depth maps. Further, these simulations show the promising gains of mmWave based depth perception compared to RGB-based approaches in several important use cases.
△ Less
Submitted 13 February, 2021; v1 submitted 11 February, 2021;
originally announced February 2021.
-
Dynamic State Estimation for Power System Control and Protection
Authors:
Yu Liu,
Abhinav Kumar Singh,
Junbo Zhao,
A. P. Meliopoulos,
Bikash Pal,
M. A. M. Ariff,
Thierry Van Cutsem,
Mevludin Glavic,
Zhenyu Huang,
Innocent Kamwa,
Lamine Mili,
Saleem Mir,
Ahmad Taha,
Vladimir Terzija,
Shenglong Yu
Abstract:
Dynamic state estimation (DSE) accurately tracks the dynamics of a power system and provides the evolution of the system state in real-time. This paper focuses on the control and protection applications of DSE, comprehensively presenting different facets of control and protection challenges arising in modern power systems. It is demonstrated how these challenges are effectively addressed with DSE-…
▽ More
Dynamic state estimation (DSE) accurately tracks the dynamics of a power system and provides the evolution of the system state in real-time. This paper focuses on the control and protection applications of DSE, comprehensively presenting different facets of control and protection challenges arising in modern power systems. It is demonstrated how these challenges are effectively addressed with DSE-enabled solutions. As precursors to these solutions, reformulation of DSE considering both synchrophasor and sampled value measurements and comprehensive comparisons of DSE and observers have been presented. The usefulness and necessity of DSE based solutions in ensuring system stability, reliable protection and security, and resilience by revam** of control and protection methods are shown through examples, practical applications, and suggestions for further development.
△ Less
Submitted 29 December, 2020;
originally announced December 2020.
-
Towards Understanding Sensor and Control Nodes Selection in Nonlinear Dynamic Systems: Lyapunov Theory Meets Branch-and-Bound
Authors:
Sebastian A. Nugroho,
Ahmad F. Taha
Abstract:
Sensor and actuator selection problems (SASP) are some of the core problems in dynamic systems design and control. These problems correspond to determining the optimal selection of sensors (measurements) or actuators (control nodes) such that certain estimation/control objectives can be achieved. While the literature on SASP is indeed inveterate, the vast majority of the work focuses on linear(ize…
▽ More
Sensor and actuator selection problems (SASP) are some of the core problems in dynamic systems design and control. These problems correspond to determining the optimal selection of sensors (measurements) or actuators (control nodes) such that certain estimation/control objectives can be achieved. While the literature on SASP is indeed inveterate, the vast majority of the work focuses on linear(ized) representation of the network dynamics, resulting in the placements of sensors or actuators (SA) that are valid for confined operating regions. As an alternative, herein we propose a new general framework for addressing SASP in nonlinear dynamic systems (NDS), assuming that the inputs and outputs are linearly coupled with the nonlinear dynamics. This is investigated through (i) classifying and parameterizing the NDS into various nonlinear function sets, (ii) utilizing rich Lyapunov theoretic formulations, and (iii) designing a new customized branch-and-bound (BnB) algorithm that exploits problem structure of the SASP. The newly designed BnB routines are computationally more attractive than the standard one and also directly applicable to solve SASP for linear systems. In contrast with contemporary approaches from the literature, our approach is suitable for finding the optimal SA combination for stable/unstable NDS that ensures stabilization of estimation error and closed-loop dynamics through a simple linear feedback control policy.
△ Less
Submitted 4 May, 2022; v1 submitted 27 December, 2020;
originally announced December 2020.
-
Revisiting the Water Quality Sensor Placement Problem: Optimizing Network Observability and State Estimation Metrics
Authors:
Ahmad F. Taha,
Shen Wang,
Yi Guo,
Tyler H. Summers,
Nikolaos Gatsis,
Marcio H. Giacomoni,
Ahmed A. Abokifa
Abstract:
Real-time water quality (WQ) sensors in water distribution networks (WDN) have the potential to enable network-wide observability of water quality indicators, contamination event detection, and closed-loop feedback control of WQ dynamics. To that end, prior research has investigated a wide range of methods that guide the geographic placement of WQ sensors. These methods assign a metric for fixed s…
▽ More
Real-time water quality (WQ) sensors in water distribution networks (WDN) have the potential to enable network-wide observability of water quality indicators, contamination event detection, and closed-loop feedback control of WQ dynamics. To that end, prior research has investigated a wide range of methods that guide the geographic placement of WQ sensors. These methods assign a metric for fixed sensor placement (SP) followed by \textit{metric-optimization} to obtain optimal SP. These metrics include minimizing intrusion detection time, minimizing the expected population and amount of contaminated water affected by an intrusion event. In contrast to the literature, the objective of this paper is to provide a computational method that considers the overlooked metric of state estimation and network-wide observability of the WQ dynamics. This metric finds the optimal WQ sensor placement that minimizes the state estimation error via the Kalman filter for noisy WQ dynamics -- a metric that quantifies WDN observability. To that end, the state-space dynamics of WQ states for an entire WDN are given and the observability-driven sensor placement algorithm is presented. The algorithm takes into account the time-varying nature of WQ dynamics due to changes in the hydraulic profile -- a collection of hydraulic states including heads (pressures) at nodes and flow rates in links which are caused by a demand profile over a certain period of time. Thorough case studies are given, highlighting key findings, observations, and recommendations for WDN operators. Github codes are included for reproducibility.
△ Less
Submitted 9 December, 2020;
originally announced December 2020.
-
How Effective is Model Predictive Control in Real-Time Water Quality Regulation? State-Space Modeling and Scalable Control
Authors:
Shen Wang,
Ahmad F. Taha,
Ahmed A. Abokifa
Abstract:
Real-time water quality control (WQC) in water distribution networks (WDN), the problem of regulating disinfectant levels, is challenging due to lack of (i) a proper control-oriented modeling considering complicated components (junctions, reservoirs, tanks, pipes, pumps, and valves) for water quality modeling in WDN and (ii) a corresponding scalable control algorithm that performs real-time water…
▽ More
Real-time water quality control (WQC) in water distribution networks (WDN), the problem of regulating disinfectant levels, is challenging due to lack of (i) a proper control-oriented modeling considering complicated components (junctions, reservoirs, tanks, pipes, pumps, and valves) for water quality modeling in WDN and (ii) a corresponding scalable control algorithm that performs real-time water quality regulation. In this paper, we solve the WQC problem by (a) proposing a novel state-space representation of the WQC problem that provides an explicit relationship between inputs (chlorine dosage at booster stations) and states/outputs (chlorine concentrations in the entire network) and (b) designing a highly scalable model predictive control (MPC) algorithm that showcases fast response time and resilience against some sources of uncertainty.
△ Less
Submitted 16 December, 2020; v1 submitted 2 September, 2020;
originally announced September 2020.
-
On The Usage Of Average Hausdorff Distance For Segmentation Performance Assessment: Hidden Bias When Used For Ranking
Authors:
Orhun Utku Aydin,
Abdel Aziz Taha,
Adam Hilbert,
Ahmed A. Khalil,
Ivana Galinovic,
Jochen B. Fiebach,
Dietmar Frey,
Vince Istvan Madai
Abstract:
Average Hausdorff Distance (AVD) is a widely used performance measure to calculate the distance between two point sets. In medical image segmentation, AVD is used to compare ground truth images with segmentation results allowing their ranking. We identified, however, a ranking bias of AVD making it less suitable for segmentation ranking. To mitigate this bias, we present a modified calculation of…
▽ More
Average Hausdorff Distance (AVD) is a widely used performance measure to calculate the distance between two point sets. In medical image segmentation, AVD is used to compare ground truth images with segmentation results allowing their ranking. We identified, however, a ranking bias of AVD making it less suitable for segmentation ranking. To mitigate this bias, we present a modified calculation of AVD that we have coined balanced AVD (bAVD). To simulate segmentations for ranking, we manually created non-overlap** segmentation errors common in cerebral vessel segmentation as our use-case. Adding the created errors consecutively and randomly to the ground truth, we created sets of simulated segmentations with increasing number of errors. Each set of simulated segmentations was ranked using AVD and bAVD. We calculated the Kendall-rank-correlation-coefficient between the segmentation ranking and the number of errors in each simulated segmentation. The rankings produced by bAVD had a significantly higher average correlation (0.969) than those of AVD (0.847). In 200 total rankings, bAVD misranked 52 and AVD misranked 179 segmentations. Our proposed evaluation measure, bAVD, alleviates AVDs ranking bias making it more suitable for rankings and quality assessment of segmentations.
△ Less
Submitted 13 September, 2020; v1 submitted 31 August, 2020;
originally announced September 2020.
-
Control Node Selection Algorithm for Nonlinear Dynamic Networks
Authors:
Aleksandar Haber,
Sebastian A. Nugroho,
Patricio Torres,
Ahmad F. Taha
Abstract:
The coupled problems of selecting control nodes and designing control actions for nonlinear network dynamics are fundamental scientific problems with applications in many diverse fields. These problems are thoroughly studied for linear dynamics; however, in spite of a number of open research questions, methods for nonlinear network dynamics are less developed. As observed by various studies, the p…
▽ More
The coupled problems of selecting control nodes and designing control actions for nonlinear network dynamics are fundamental scientific problems with applications in many diverse fields. These problems are thoroughly studied for linear dynamics; however, in spite of a number of open research questions, methods for nonlinear network dynamics are less developed. As observed by various studies, the prevailing graph-based controllability approaches for selecting control nodes might result in significantly suboptimal control performance for nonlinear dynamics. Herein we present a new, intuitive, and simple method for simultaneous control node selection and control sequence design for complex networks with nonlinear dynamics. The method is developed by incorporating the control node selection problem into an open-loop predictive control cost function and by solving the resulting mixed-integer optimization problem using a mesh adaptive direct search method. The developed framework is numerically robust and can deal with stiff networks, networks with non-smooth dynamics, as well as with control and actuator constraints. Good numerical performance of the method is demonstrated by testing it on prototypical Duffing oscillator and associative memory networks. The developed codes that can easily be adapted to models of other complex systems are available online.
△ Less
Submitted 23 August, 2020; v1 submitted 17 August, 2020;
originally announced August 2020.
-
A Generic Visualization Approach for Convolutional Neural Networks
Authors:
Ahmed Taha,
Xitong Yang,
Abhinav Shrivastava,
Larry Davis
Abstract:
Retrieval networks are essential for searching and indexing. Compared to classification networks, attention visualization for retrieval networks is hardly studied. We formulate attention visualization as a constrained optimization problem. We leverage the unit L2-Norm constraint as an attention filter (L2-CAF) to localize attention in both classification and retrieval networks. Unlike recent liter…
▽ More
Retrieval networks are essential for searching and indexing. Compared to classification networks, attention visualization for retrieval networks is hardly studied. We formulate attention visualization as a constrained optimization problem. We leverage the unit L2-Norm constraint as an attention filter (L2-CAF) to localize attention in both classification and retrieval networks. Unlike recent literature, our approach requires neither architectural changes nor fine-tuning. Thus, a pre-trained network's performance is never undermined
L2-CAF is quantitatively evaluated using weakly supervised object localization. State-of-the-art results are achieved on classification networks. For retrieval networks, significant improvement margins are achieved over a Grad-CAM baseline. Qualitative evaluation demonstrates how the L2-CAF visualizes attention per frame for a recurrent retrieval network. Further ablation studies highlight the computational cost of our approach and compare L2-CAF with other feasible alternatives. Code available at https://bit.ly/3iDBLFv
△ Less
Submitted 19 July, 2020;
originally announced July 2020.
-
Optimal Pump Control for Water Distribution Networks via Data-based Distributional Robustness
Authors:
Yi Guo,
Shen Wang,
Ahmad Taha,
Tyler Summers
Abstract:
In this paper, we propose a data-based methodology to solve a multi-period stochastic optimal water flow (OWF) problem for water distribution networks (WDNs). The framework explicitly considers the pump schedule and water network head level with limited information of demand forecast errors for an extended period simulation. The objective is to determine the optimal feedback decisions of network-c…
▽ More
In this paper, we propose a data-based methodology to solve a multi-period stochastic optimal water flow (OWF) problem for water distribution networks (WDNs). The framework explicitly considers the pump schedule and water network head level with limited information of demand forecast errors for an extended period simulation. The objective is to determine the optimal feedback decisions of network-connected components, such as nominal pump schedules and tank head levels and reserve policies, which specify device reactions to forecast errors for accommodation of fluctuating water demand. Instead of assuming the uncertainties across the water network are generated by a prescribed certain distribution, we consider ambiguity sets of distributions centered at an empirical distribution, which is based directly on a finite training data set. We use a distance-based ambiguity set with the Wasserstein metric to quantify the distance between the real unknown data-generating distribution and the empirical distribution. This allows our multi-period OWF framework to trade off system performance and inherent sampling errors in the training dataset. Case studies on a three-tank water distribution network systematically illustrate the tradeoff between pump operational cost, risks of constraint violation, and out-of-sample performance.
△ Less
Submitted 24 April, 2022; v1 submitted 17 May, 2020;
originally announced May 2020.
-
Nonlinear Dynamic Systems Parameterization Using Interval-Based Global Optimization: Computing Lipschitz Constants and Beyond
Authors:
Sebastian A. Nugroho,
Ahmad F. Taha,
and Vu Hoang
Abstract:
Numerous state-feedback and observer designs for nonlinear dynamic systems (NDS) have been developed in the past three decades. These designs assume that NDS nonlinearities satisfy one of the following function set classifications: bounded Jacobian, Lipschitz continuity, one-sided Lipschitz, quadratic inner-boundedness, and quadratic boundedness. These function sets are characterized by constant s…
▽ More
Numerous state-feedback and observer designs for nonlinear dynamic systems (NDS) have been developed in the past three decades. These designs assume that NDS nonlinearities satisfy one of the following function set classifications: bounded Jacobian, Lipschitz continuity, one-sided Lipschitz, quadratic inner-boundedness, and quadratic boundedness. These function sets are characterized by constant scalars or matrices bounding the NDS' nonlinearities. These constants (i) depend on the NDS' operating region, topology, and parameters, and (ii) are utilized to synthesize observer/controller gains. Unfortunately, there is a near-complete absence of algorithms to compute such bounding constants. In this paper, we develop analytical then computational methods to compute such constants. First, for every function set classification, we derive analytical expressions for these bounding constants through global maximization formulations. Second, we utilize a derivative-free, interval-based global maximization algorithm based on branch-and-bound framework to numerically obtain the bounding constants. Third, we showcase the effectiveness of our approaches to compute the corresponding parameters on some NDS such as highway traffic networks and synchronous generator models.
△ Less
Submitted 4 May, 2022; v1 submitted 25 April, 2020;
originally announced April 2020.
-
Computing Lipschitz Constants for Hydraulic Models of Water Distribution Networks
Authors:
Ramsey Shadfan,
Shen Wang,
Sebastian A. Nugroho,
Fengxin Chen,
Ahmad F. Taha
Abstract:
Drinking water distribution networks (WDN) are large-scale, dynamic systems spanning large geographic areas. Water networks include various components such as junctions, reservoirs, tanks, pipes, pumps, and valves. Hydraulic models for these components depicting mass and energy balance form nonlinear algebraic differential equations (NDAE). While control theoretic studies have been thoroughly expl…
▽ More
Drinking water distribution networks (WDN) are large-scale, dynamic systems spanning large geographic areas. Water networks include various components such as junctions, reservoirs, tanks, pipes, pumps, and valves. Hydraulic models for these components depicting mass and energy balance form nonlinear algebraic differential equations (NDAE). While control theoretic studies have been thoroughly explored for other complex infrastructure such as power and transportation systems, little is understood or even investigated for feedback control and state estimation problems for the NDAE models of WDN. The objective of this letter is to showcase a complete NDAE model of WDN followed by computing Lipschitz constants of the vector-valued nonlinearity in that model. The computation of Lipschitz constants of hydraulic models is crucial as it paves the way to apply a plethora of control-theoretic studies for water system applications. In particular, the computation of Lipschitz constant is explored through closed-form, analytical expressions as well as via numerical methods. Case studies reveal how such computations fare against each other for various water networks.
△ Less
Submitted 4 March, 2020; v1 submitted 3 March, 2020;
originally announced March 2020.
-
Deep Reinforcement Learning for Intelligent Reflecting Surfaces: Towards Standalone Operation
Authors:
Abdelrahman Taha,
Yu Zhang,
Faris B. Mismar,
Ahmed Alkhateeb
Abstract:
The promising coverage and spectral efficiency gains of intelligent reflecting surfaces (IRSs) are attracting increasing interest. In order to realize these surfaces in practice, however, several challenges need to be addressed. One of these main challenges is how to configure the reflecting coefficients on these passive surfaces without requiring massive channel estimation or beam training overhe…
▽ More
The promising coverage and spectral efficiency gains of intelligent reflecting surfaces (IRSs) are attracting increasing interest. In order to realize these surfaces in practice, however, several challenges need to be addressed. One of these main challenges is how to configure the reflecting coefficients on these passive surfaces without requiring massive channel estimation or beam training overhead. Earlier work suggested leveraging supervised learning tools to design the IRS reflection matrices. While this approach has the potential of reducing the beam training overhead, it requires collecting large datasets for training the neural network models. In this paper, we propose a novel deep reinforcement learning framework for predicting the IRS reflection matrices with minimal training overhead. Simulation results show that the proposed online learning framework can converge to the optimal rate that assumes perfect channel knowledge. This represents an important step towards realizing a standalone IRS operation, where the surface configures itself without any control from the infrastructure.
△ Less
Submitted 25 February, 2020;
originally announced February 2020.
-
Asymmetric Cell Transmission Model-Based, Ramp-Connected Robust Traffic Density Estimation under Bounded Disturbances
Authors:
Suyash C. Vishnoi,
Sebastian A. Nugroho,
Ahmad F. Taha,
Christian Claudel,
Taposh Banerjee
Abstract:
In modern transportation systems, traffic congestion is inevitable. To minimize the loss caused by congestion, various control strategies have been developed most of which rely on observing real-time traffic conditions. As vintage traffic sensors are limited, traffic density estimation is very helpful for gaining network-wide observability. This paper deals with this problem by first, presenting a…
▽ More
In modern transportation systems, traffic congestion is inevitable. To minimize the loss caused by congestion, various control strategies have been developed most of which rely on observing real-time traffic conditions. As vintage traffic sensors are limited, traffic density estimation is very helpful for gaining network-wide observability. This paper deals with this problem by first, presenting a traffic model for stretched highway having multiple ramps built based on asymmetric cell transmission model (ACTM). Second, based on the assumption that the encompassed nonlinearity of the ACTM is Lipschitz, a robust dynamic observer framework for performing traffic density estimation is proposed. Numerical test results show that the observer yields a sufficient performance in estimating traffic densities having noisy measurements, while being computationally faster the Unscented Kalman Filter in performing real-time estimation.
△ Less
Submitted 9 February, 2020;
originally announced February 2020.
-
New Insights on One-Sided Lipschitz and Quadratically Inner-Bounded Nonlinear Dynamic Systems
Authors:
Sebastian A. Nugroho,
Vu Hoang,
Maria Radosz,
Shen Wang,
Ahmad F. Taha
Abstract:
Nonlinear dynamic systems can be classified into various classes depending on the modeled nonlinearity. These classes include Lipschitz, bounded Jacobian, one-sided Lipschitz (OSL), and quadratically inner-bounded (QIB). Such classes essentially yield bounding constants characterizing the nonlinearity. This is then used to design observers and controllers through Riccati equations or matrix inequa…
▽ More
Nonlinear dynamic systems can be classified into various classes depending on the modeled nonlinearity. These classes include Lipschitz, bounded Jacobian, one-sided Lipschitz (OSL), and quadratically inner-bounded (QIB). Such classes essentially yield bounding constants characterizing the nonlinearity. This is then used to design observers and controllers through Riccati equations or matrix inequalities. While analytical expressions for bounding constants of Lipschitz and bounded Jacobian nonlinearity are studied in the literature, OSL and QIB classes are not thoroughly analyzed---computationally or analytically. In short, this paper develops analytical expressions of OSL and QIB bounding constants. These expressions are posed as constrained maximization problems, which can be solved via various optimization algorithms. This paper also presents a novel insight particularly on QIB function set: any function that is QIB turns out to be also Lipschitz continuous.
△ Less
Submitted 6 February, 2020;
originally announced February 2020.
-
Probabilistic State Estimation in Water Networks
Authors:
Shen Wang,
Ahmad F. Taha,
Nikolaos Gatsis,
Lina Sela,
Marcio Giacomoni
Abstract:
State estimation in water distribution networks (WDN), the problem of estimating all unknown network heads and flows given select measurements, is challenging due to the nonconvexity of hydraulic models and significant uncertainty from water demands, network parameters, and measurements. To this end, a probabilistic modeling for state estimation (PSE) in WDNs is proposed. After linearizing the non…
▽ More
State estimation in water distribution networks (WDN), the problem of estimating all unknown network heads and flows given select measurements, is challenging due to the nonconvexity of hydraulic models and significant uncertainty from water demands, network parameters, and measurements. To this end, a probabilistic modeling for state estimation (PSE) in WDNs is proposed. After linearizing the nonlinear hydraulic WDN model, the proposed PSE shows that the covariance matrix of unknown system states (unmeasured heads and flows) can be linearly expressed by the covariance matrix of three uncertainty sources (i.e., measurement noise, network parameters, and water demands). Instead of providing deterministic results for unknown states, the proposed PSE approach (i) regards the system states and uncertainty sources as random variables and yields variances of individual unknown states, (ii) considers thorough modeling of various types of valves and measurement scenarios in WDNs, and (iii) is also useful for uncertainty quantification, extended period simulations, and confidence limit analysis. The effectiveness and scalability of the proposed approach is tested using several WDN case studies.
△ Less
Submitted 10 March, 2021; v1 submitted 3 February, 2020;
originally announced February 2020.
-
A New Derivative-Free Linear Approximation for Solving the Network Water Flow Problem with Convergence Guarantees
Authors:
Shen Wang,
Ahmad F. Taha,
Lina Sela,
Marcio Giacomoni,
Nikolaos Gatsis
Abstract:
Addressing challenges in urban water infrastructure systems including aging infrastructure, supply uncertainty, extreme events, and security threats, depend highly on water distribution networks modeling emphasizing the importance of realistic assumptions, modeling complexities, and scalable solutions. In this study, we propose a derivative-free, linear approximation for solving the network water…
▽ More
Addressing challenges in urban water infrastructure systems including aging infrastructure, supply uncertainty, extreme events, and security threats, depend highly on water distribution networks modeling emphasizing the importance of realistic assumptions, modeling complexities, and scalable solutions. In this study, we propose a derivative-free, linear approximation for solving the network water flow problem (WFP). The proposed approach takes advantage of the special form of the nonlinear head loss equations and, after the transformation of variables and constraints, the WFP reduces to a linear optimization problem that can be efficiently solved by modern linear solvers. Ultimately, the proposed approach amounts to solving a series of linear optimization problems. We demonstrate the proposed approach through several case studies and show that the approach can model arbitrary network topologies and various types of valves and pumps, thus providing modeling flexibility. Under mild conditions, we show that the proposed linear approximation converges. We provide sensitivity analysis and discuss in detail the current limitations of our approach and suggest solutions to overcome these. All the codes, tested networks, and results are freely available on Github for research reproducibility.
△ Less
Submitted 1 February, 2020;
originally announced February 2020.
-
Sensor Placement Strategies for Some Classes of Nonlinear Dynamic Systems via Lyapunov Theory
Authors:
Sebastian Nugroho,
Ahmad F. Taha
Abstract:
In this paper, the problem of placing sensors for some classes of nonlinear dynamic systems (NDS) is investigated. In conjunction with mixed-integer programming, classical Lyapunov-based arguments are used to find the minimal sensor configuration such that the NDS internal states can be observed while still optimizing some estimation metrics. The paper's approach is based on two phases. The first…
▽ More
In this paper, the problem of placing sensors for some classes of nonlinear dynamic systems (NDS) is investigated. In conjunction with mixed-integer programming, classical Lyapunov-based arguments are used to find the minimal sensor configuration such that the NDS internal states can be observed while still optimizing some estimation metrics. The paper's approach is based on two phases. The first phase assumes that the encompassed nonlinearities belong to one of the following function set classifications: bounded Jacobian, Lipschitz continuous, one-sided Lipschitz, or quadratically inner-bounded. To parameterize these classifications, two approaches based on stochastic point-based and interval-based optimization methods are explored. Given the parameterization, the second phase formulates the sensor placement problem for various NDS classes through mixed-integer convex programming. The theoretical optimality of the sensor placement alongside a state estimator design are then given. Numerical tests on traffic network models showcase that the proposed approach yields sensor placements that are consistent with conventional wisdom in traffic theory.
△ Less
Submitted 28 December, 2019;
originally announced December 2019.
-
A Model for Spatial Outlier Detection Based on Weighted Neighborhood Relationship
Authors:
Ayman Taha,
Hoda M. Onsi,
Mohammed Nour El din,
Osman M. Hegazy
Abstract:
Spatial outliers are used to discover inconsistent objects producing implicit, hidden, and interesting knowledge, which has an effective role in decision-making process. In this paper, we propose a model to redefine the spatial neighborhood relationship by considering weights of the most effective parameters of neighboring objects in a given spatial data set. The spatial parameters, which are take…
▽ More
Spatial outliers are used to discover inconsistent objects producing implicit, hidden, and interesting knowledge, which has an effective role in decision-making process. In this paper, we propose a model to redefine the spatial neighborhood relationship by considering weights of the most effective parameters of neighboring objects in a given spatial data set. The spatial parameters, which are taken into our consideration, are distance, cost, and number of direct connections between neighboring objects. This model is adaptable to be applied on polygonal objects. The proposed model is applied to a GIS system supporting literacy project in Fayoum governorate.
△ Less
Submitted 4 November, 2019;
originally announced November 2019.
-
Robust Dynamic State Estimation of Synchronous Machines with Asymptotic State Estimation Error Performance Guarantees
Authors:
Sebastian Nugroho,
Ahmad F. Taha,
Junjian Qi
Abstract:
A robust observer for performing power system dynamic state estimation (DSE) of a synchronous generator is proposed. The observer is developed using the concept of $\mathcal{L}_{\infty}$ stability for uncertain, nonlinear dynamic generator models. We use this concept to (i) design a simple, scalable, and robust dynamic state estimator and (ii) obtain a performance guarantee on the state estimation…
▽ More
A robust observer for performing power system dynamic state estimation (DSE) of a synchronous generator is proposed. The observer is developed using the concept of $\mathcal{L}_{\infty}$ stability for uncertain, nonlinear dynamic generator models. We use this concept to (i) design a simple, scalable, and robust dynamic state estimator and (ii) obtain a performance guarantee on the state estimation error norm relative to the magnitude of uncertainty from unknown generator inputs, and process and measurement noises. Theoretical methods to obtain upper and lower bounds on the estimation error are also provided. Numerical tests validate the performance of the $\mathcal{L}_{\infty}$-based estimator in performing DSE under various scenarios. The case studies reveal that the derived theoretical bounds are valid for a variety of case studies and operating conditions, while yielding better performance than existing power system DSE methods.
△ Less
Submitted 17 February, 2020; v1 submitted 21 October, 2019;
originally announced October 2019.
-
NGEMM: Optimizing GEMM for Deep Learning via Compiler-based Techniques
Authors:
Wenlei Bao,
Li-Wen Chang,
Yang Chen,
Ke Deng,
Amit Agarwal,
Emad Barsoum,
Abe Taha
Abstract:
Quantization has emerged to be an effective way to significantly boost the performance of deep neural networks (DNNs) by utilizing low-bit computations. Despite having lower numerical precision, quantized DNNs are able to reduce both memory bandwidth and computation cycles with little losses of accuracy. Integer GEMM (General Matrix Multiplication) is critical to running quantized DNN models effic…
▽ More
Quantization has emerged to be an effective way to significantly boost the performance of deep neural networks (DNNs) by utilizing low-bit computations. Despite having lower numerical precision, quantized DNNs are able to reduce both memory bandwidth and computation cycles with little losses of accuracy. Integer GEMM (General Matrix Multiplication) is critical to running quantized DNN models efficiently, as GEMM operations often dominate the computations in these models. Various approaches have been developed by leveraging techniques such as vectorization and memory layout to improve the performance of integer GEMM. However, these existing approaches are not fast enough in certain scenarios. We developed NGEMM, a compiler-based GEMM implementation for accelerating lower-precision training and inference. NGEMM has better use of the vector units by avoiding unnecessary vector computation that is introduced during tree reduction. We compared NGEMM's performance with the state-of-art BLAS libraries such as MKL. Our experimental results showed that NGEMM outperformed MKL non-pack and pack version by an average of 1.86x and 1.16x, respectively. We have applied NGEMM to a number of production services in Microsoft.
△ Less
Submitted 13 November, 2019; v1 submitted 30 September, 2019;
originally announced October 2019.
-
State Estimation in Water Distribution Networks through a New Successive Linear Approximation
Authors:
Shen Wang,
Ahmad F. Taha,
Lina Sela,
Nikolaos Gatsis,
Marcio H. Giacomoni
Abstract:
State estimation (SE) of water distribution networks (WDNs) is difficult to solve due to nonlinearity/nonconvexity of water flow models, uncertainties from parameters and demands, lack of redundancy of measurements, and inaccurate flow and pressure measurements. This paper proposes a new, scalable successive linear approximation to solve the SE problem in WDNs. The approach amounts to solving eith…
▽ More
State estimation (SE) of water distribution networks (WDNs) is difficult to solve due to nonlinearity/nonconvexity of water flow models, uncertainties from parameters and demands, lack of redundancy of measurements, and inaccurate flow and pressure measurements. This paper proposes a new, scalable successive linear approximation to solve the SE problem in WDNs. The approach amounts to solving either a sequence of linear or quadratic programs---depending on the operators' objectives. The proposed successive linear approximation offers a seamless way of dealing with valve/pump model nonconvexities, is different than a first order Taylor series linearization, and can incorporate with robust uncertainty modeling. Two simple testcases are adopted to illustrate the effectiveness of proposed approach using head measurements at select nodes.
△ Less
Submitted 26 April, 2020; v1 submitted 6 September, 2019;
originally announced September 2019.
-
Receding Horizon Control for Drinking Water Networks: The Case for Geometric Programming
Authors:
Shen Wang,
Ahmad F. Taha,
Nikolaos Gatsis,
Marcio Giacomoni
Abstract:
Optimal, network-driven control of Water Distribution Networks (WDN) is very difficult: valve and pump models form non-trivial, combinatorial logic; hydraulic models are nonconvex; water demand patterns are uncertain; and WDN are naturally large-scale. Prior research on control of WDN addressed major research challenges, yet either (i) adopted simplified hydraulic models, WDN topologies, and rudim…
▽ More
Optimal, network-driven control of Water Distribution Networks (WDN) is very difficult: valve and pump models form non-trivial, combinatorial logic; hydraulic models are nonconvex; water demand patterns are uncertain; and WDN are naturally large-scale. Prior research on control of WDN addressed major research challenges, yet either (i) adopted simplified hydraulic models, WDN topologies, and rudimentary valve/pump modeling or (ii) used mixed-integer, nonconvex optimization to solve WDN control problems.
The objective of this paper is to develop tractable computational algorithms to manage WDN operation, while considering arbitrary topology, flow direction, an abundance of valve types, control objectives, hydraulic models, and operational constraints---all while only using convex, continuous optimization. Specifically, we propose new Geometric Programming (GP)-based Model Predictive Control (MPC) algorithms, designed to solve the water flow equations and obtain WDN controls, i.e., pump/valve schedules alongside heads and flows. The proposed approach amounts to solving a series of convex optimization problems that graciously scale to large networks. The proposed approach is tested using a 126-node network with many valves and pumps and shown to outperform traditional, rule-based control. The developed GP-based MPC algorithms, as well as the numerical test results are all included on Github.
△ Less
Submitted 28 December, 2019; v1 submitted 6 September, 2019;
originally announced September 2019.
-
Tuning-Free, Low Memory Robust Estimator to Mitigate GPS Spoofing Attacks
Authors:
Junhwan Lee,
Ahmad F. Taha,
Nikolaos Gatsis,
David Akopian
Abstract:
The operation of critical infrastructures such as the electrical power grid, cellphone towers, and financial institutions relies on precise timing provided by stationary GPS receivers. These GPS devices are vulnerable to a type of spoofing called Time Synchronization Attack (TSA), whose objective is to maliciously alter the timing provided by the GPS receiver. The objective of this paper is to des…
▽ More
The operation of critical infrastructures such as the electrical power grid, cellphone towers, and financial institutions relies on precise timing provided by stationary GPS receivers. These GPS devices are vulnerable to a type of spoofing called Time Synchronization Attack (TSA), whose objective is to maliciously alter the timing provided by the GPS receiver. The objective of this paper is to design a tuning-free, low memory robust estimator to mitigate such spoofing attacks. The contribution is that the proposed method dispenses with several limitations found in the existing state-of-the-art methods in the literature that require parameter tuning, availability of the statistical distributions of noise, real-time optimization, or heavy computations. Specifically, we (i) utilize an observer design for linear systems under unknown inputs, (ii) adjust it to include a state-correction algorithm, (iii) design a realistic experimental setup with real GPS data and sensible spoofing attacks, and (iv) showcase how the proposed tuning-free, low memory robust estimator can combat TSAs. Numerical tests with real GPS data demonstrate that accurate time can be provided to the user under various attack conditions.
△ Less
Submitted 10 June, 2019;
originally announced June 2019.
-
Enabling Large Intelligent Surfaces with Compressive Sensing and Deep Learning
Authors:
Abdelrahman Taha,
Muhammad Alrabeiah,
Ahmed Alkhateeb
Abstract:
Employing large intelligent surfaces (LISs) is a promising solution for improving the coverage and rate of future wireless systems. These surfaces comprise a massive number of nearly-passive elements that interact with the incident signals, for example by reflecting them, in a smart way that improves the wireless system performance. Prior work focused on the design of the LIS reflection matrices a…
▽ More
Employing large intelligent surfaces (LISs) is a promising solution for improving the coverage and rate of future wireless systems. These surfaces comprise a massive number of nearly-passive elements that interact with the incident signals, for example by reflecting them, in a smart way that improves the wireless system performance. Prior work focused on the design of the LIS reflection matrices assuming full knowledge of the channels. Estimating these channels at the LIS, however, is a key challenging problem, and is associated with large training overhead given the massive number of LIS elements. This paper proposes efficient solutions for these problems by leveraging tools from compressive sensing and deep learning. First, a novel LIS architecture based on sparse channel sensors is proposed. In this architecture, all the LIS elements are passive except for a few elements that are active (connected to the baseband of the LIS controller). We then develop two solutions that design the LIS reflection matrices with negligible training overhead. In the first approach, we leverage compressive sensing tools to construct the channels at all the LIS elements from the channels seen only at the active elements. These full channels can then be used to design the LIS reflection matrices with no training overhead. In the second approach, we develop a deep learning based solution where the LIS learns how to optimally interact with the incident signal given the channels at the active elements, which represent the current state of the environment and transmitter/receiver locations. We show that the achievable rates of the proposed compressive sensing and deep learning solutions approach the upper bound, that assumes perfect channel knowledge, with negligible training overhead and with less than 1% of the elements being active.
△ Less
Submitted 30 April, 2019; v1 submitted 22 April, 2019;
originally announced April 2019.
-
Geometric Programming-Based Control for Nonlinear, DAE-Constrained Water Distribution Networks
Authors:
Shen Wang,
Ahmad F. Taha,
Nikolaos Gatsis,
Marcio Giacomoni
Abstract:
Control of water distribution networks (WDNs) can be represented by an optimization problem with hydraulic models describing the nonlinear relationship between head loss, water flow, and demand. The problem is difficult to solve due to the non-convexity in the equations governing water flow. Previous methods used to obtain WDN controls (i.e., operational schedules for pumps and valves) have adopte…
▽ More
Control of water distribution networks (WDNs) can be represented by an optimization problem with hydraulic models describing the nonlinear relationship between head loss, water flow, and demand. The problem is difficult to solve due to the non-convexity in the equations governing water flow. Previous methods used to obtain WDN controls (i.e., operational schedules for pumps and valves) have adopted simplified hydraulic models. One common assumption found in the literature is the modification of WDN topology to exclude loops and assume a known water flow direction. In this paper, we present a new geometric programming-based model predictive control approach, designed to solve the water flow equations and obtain WDN controls. The paper considers the nonlinear difference algebraic equation (DAE) form of the WDN dynamics, and the GP approach amounts to solving a series of convex optimization problems and requires neither the knowledge of water flow direction nor does it restrict the water network topology. A case study is presented to illustrate the performance of the proposed method.
△ Less
Submitted 15 February, 2019;
originally announced February 2019.
-
Characterizing the Nonlinearity of Power System Generator Models
Authors:
Sebastian A. Nugroho,
Ahmad F. Taha,
Junjian Qi
Abstract:
Power system dynamics are naturally nonlinear. The nonlinearity stems from power flows, generator dynamics, and electromagnetic transients. Characterizing the nonlinearity of the dynamical power system model is useful for designing superior estimation and control methods, providing better situational awareness and system stability. In this paper, we consider the synchronous generator model with a…
▽ More
Power system dynamics are naturally nonlinear. The nonlinearity stems from power flows, generator dynamics, and electromagnetic transients. Characterizing the nonlinearity of the dynamical power system model is useful for designing superior estimation and control methods, providing better situational awareness and system stability. In this paper, we consider the synchronous generator model with a phasor measurement unit (PMU) that is installed at the terminal bus of the generator. The corresponding nonlinear process-measurement model is shown to be locally Lipschitz, i.e., the dynamics are limited in how fast they can evolve in an arbitrary compact region of the state-space. We then investigate different methods to compute Lipschitz constants for this model, which is vital for performing dynamic state estimation (DSE) or state-feedback control using Lyapunov theory. In particular, we compare a derived analytical bound with numerical methods based on low discrepancy sampling algorithms. Applications of the computed bounds to dynamic state estimation are showcased. The paper is concluded with numerical tests.
△ Less
Submitted 18 June, 2019; v1 submitted 15 February, 2019;
originally announced February 2019.
-
Unsupervised Data Uncertainty Learning in Visual Retrieval Systems
Authors:
Ahmed Taha,
Yi-Ting Chen,
Teruhisa Misu,
Abhinav Shrivastava,
Larry Davis
Abstract:
We introduce an unsupervised formulation to estimate heteroscedastic uncertainty in retrieval systems. We propose an extension to triplet loss that models data uncertainty for each input. Besides improving performance, our formulation models local noise in the embedding space. It quantifies input uncertainty and thus enhances interpretability of the system. This helps identify noisy observations i…
▽ More
We introduce an unsupervised formulation to estimate heteroscedastic uncertainty in retrieval systems. We propose an extension to triplet loss that models data uncertainty for each input. Besides improving performance, our formulation models local noise in the embedding space. It quantifies input uncertainty and thus enhances interpretability of the system. This helps identify noisy observations in query and search databases. Evaluation on both image and video retrieval applications highlight the utility of our approach. We highlight our efficiency in modeling local noise using two real-world datasets: Clothing1M and Honda Driving datasets. Qualitative results illustrate our ability in identifying confusing scenarios in various domains. Uncertainty learning also enables data cleaning by detecting noisy training labels.
△ Less
Submitted 7 February, 2019;
originally announced February 2019.
-
Boosting Standard Classification Architectures Through a Ranking Regularizer
Authors:
Ahmed Taha,
Yi-Ting Chen,
Teruhisa Misu,
Abhinav Shrivastava,
Larry Davis
Abstract:
We employ triplet loss as a feature embedding regularizer to boost classification performance. Standard architectures, like ResNet and Inception, are extended to support both losses with minimal hyper-parameter tuning. This promotes generality while fine-tuning pretrained networks. Triplet loss is a powerful surrogate for recently proposed embedding regularizers. Yet, it is avoided due to large ba…
▽ More
We employ triplet loss as a feature embedding regularizer to boost classification performance. Standard architectures, like ResNet and Inception, are extended to support both losses with minimal hyper-parameter tuning. This promotes generality while fine-tuning pretrained networks. Triplet loss is a powerful surrogate for recently proposed embedding regularizers. Yet, it is avoided due to large batch-size requirement and high computational cost. Through our experiments, we re-assess these assumptions.
During inference, our network supports both classification and embedding tasks without any computational overhead. Quantitative evaluation highlights a steady improvement on five fine-grained recognition datasets. Further evaluation on an imbalanced video dataset achieves significant improvement. Triplet loss brings feature embedding characteristics like nearest neighbor to classification models. Code available at \url{http://bit.ly/2LNYEqL}.
△ Less
Submitted 2 March, 2020; v1 submitted 24 January, 2019;
originally announced January 2019.
-
Exploring Uncertainty in Conditional Multi-Modal Retrieval Systems
Authors:
Ahmed Taha,
Yi-Ting Chen,
Xitong Yang,
Teruhisa Misu,
Larry Davis
Abstract:
We cast visual retrieval as a regression problem by posing triplet loss as a regression loss. This enables epistemic uncertainty estimation using dropout as a Bayesian approximation framework in retrieval. Accordingly, Monte Carlo (MC) sampling is leveraged to boost retrieval performance. Our approach is evaluated on two applications: person re-identification and autonomous car driving. Comparable…
▽ More
We cast visual retrieval as a regression problem by posing triplet loss as a regression loss. This enables epistemic uncertainty estimation using dropout as a Bayesian approximation framework in retrieval. Accordingly, Monte Carlo (MC) sampling is leveraged to boost retrieval performance. Our approach is evaluated on two applications: person re-identification and autonomous car driving. Comparable state-of-the-art results are achieved on multiple datasets for the former application.
We leverage the Honda driving dataset (HDD) for autonomous car driving application. It provides multiple modalities and similarity notions for ego-motion action understanding. Hence, we present a multi-modal conditional retrieval network. It disentangles embeddings into separate representations to encode different similarities. This form of joint learning eliminates the need to train multiple independent networks without any performance degradation. Quantitative evaluation highlights our approach competence, achieving 6% improvement in a highly uncertain environment.
△ Less
Submitted 22 January, 2019;
originally announced January 2019.
-
Energy Crowdsourcing and Peer-to-Peer Energy Trading in Blockchain-Enabled Smart Grids
Authors:
Shen Wang,
Ahmad F. Taha,
Jianhui Wang,
Karla Kvaternik,
Adam Hahn
Abstract:
The power grid is rapidly transforming, and while recent grid innovations increased the utilization of advanced control methods, the next-generation grid demands technologies that enable the integration of distributed energy resources (DERs)---and consumers that both seamlessly buy and sell electricity. This paper develops an optimization model and blockchain-based architecture to manage the opera…
▽ More
The power grid is rapidly transforming, and while recent grid innovations increased the utilization of advanced control methods, the next-generation grid demands technologies that enable the integration of distributed energy resources (DERs)---and consumers that both seamlessly buy and sell electricity. This paper develops an optimization model and blockchain-based architecture to manage the operation of crowdsourced energy systems (CES), with peer-to-peer (P2P) energy trading transactions. An operational model of CESs in distribution networks is presented considering various types of energy trading transactions and crowdsourcees. Then, a two-phase operation algorithm is presented: Phase I focuses on the day-ahead scheduling of generation and controllable DERs, whereas Phase II is developed for hour-ahead or real-time operation of distribution networks. The developed approach supports seamless P2P energy trading between individual prosumers and/or the utility. The presented operational model can also be used to operate islanded microgrids. The CES framework and the operation algorithm are then prototyped through an efficient blockchain implementation, namely the IBM Hyperledger Fabric. This implementation allows the system operator to manage the network users to seamlessly trade energy. Case studies and prototype illustration are provided.
△ Less
Submitted 10 May, 2019; v1 submitted 3 January, 2019;
originally announced January 2019.
-
A Control-Theoretic Approach for Scalable and Robust Traffic Density Estimation using Convex Optimization
Authors:
Sebastian A. Nugroho,
Ahmad F. Taha,
Christian Claudel
Abstract:
Monitoring and control of traffic networks represent alternative, inexpensive strategies to minimize traffic congestion. As the number of traffic sensors is naturally constrained by budgetary requirements, real-time estimation of traffic flow in road segments that are not equipped with sensors is of significant importance---thereby providing situational awareness and guiding real-time feedback con…
▽ More
Monitoring and control of traffic networks represent alternative, inexpensive strategies to minimize traffic congestion. As the number of traffic sensors is naturally constrained by budgetary requirements, real-time estimation of traffic flow in road segments that are not equipped with sensors is of significant importance---thereby providing situational awareness and guiding real-time feedback control strategies. To that end, firstly we build a generalized traffic flow model for stretched highways with arbitrary number of ramp flows based on the Lighthill Whitham Richards (LWR) flow model. Secondly, we characterize the function set corresponding to the nonlinearities present in the LWR model, and use this characterization to design real-time and robust state estimators (SE) for stretched highway segments. Specifically, we show that the nonlinearities from the derived models are locally Lipschitz continuous by providing the analytical Lipschitz constants. Thirdly, the analytical derivation is then incorporated through a robust SE method given a limited number of traffic sensors, under the impact of process and measurement disturbances and unknown inputs. The estimator is based on deriving a convex semidefinite optimization problem. Finally, numerical tests are given showcasing the applicability, scalability, and robustness of the proposed estimator for large systems under high magnitude disturbances, parametric uncertainty, and unknown inputs.
△ Less
Submitted 8 November, 2019; v1 submitted 5 December, 2018;
originally announced December 2018.
-
Algorithms for Joint Sensor and Control Nodes Selection in Dynamic Networks
Authors:
Sebastian A. Nugroho,
Ahmad F. Taha,
Nikolaos Gatsis,
Tyler H. Summers,
Ram Krishnan
Abstract:
The problem of placing or selecting sensors and control nodes plays a pivotal role in the operation of dynamic networks. This paper proposes optimal algorithms and heuristics to solve the simultaneous sensor and actuator selection problem in linear dynamic networks. In particular, a sufficiency condition of static output feedback stabilizability is used to obtain the minimal set of sensors and con…
▽ More
The problem of placing or selecting sensors and control nodes plays a pivotal role in the operation of dynamic networks. This paper proposes optimal algorithms and heuristics to solve the simultaneous sensor and actuator selection problem in linear dynamic networks. In particular, a sufficiency condition of static output feedback stabilizability is used to obtain the minimal set of sensors and control nodes needed to stabilize an unstable network. We show the joint sensor/actuator selection and output feedback control can be written as a mixed-integer nonconvex problem. To solve this nonconvex combinatorial problem, three methods based on (1) mixed-integer nonlinear programming, (2) binary search algorithms, and (3) simple heuristics are proposed. The first method yields optimal solutions to the selection problem---given that some constants are appropriately selected. The second method requires a database of binary sensor/actuator combinations, returns optimal solutions, and necessitates no tuning parameters. The third approach is a heuristic that yields suboptimal solutions but is computationally attractive. The theoretical properties of these methods are discussed and numerical tests on dynamic networks showcase the trade-off between optimality and computational time.
△ Less
Submitted 7 March, 2019; v1 submitted 28 November, 2018;
originally announced November 2018.
-
A Fixed-Point Iteration for Steady-State Analysis of Water Distribution Networks
Authors:
Mohammadhafez Bazrafshan,
Nikolaos Gatsis,
Marcio Giacomoni,
Ahmad Taha
Abstract:
This paper develops a fixed-point iteration to solve the steady-state water flow equations in an urban water distribution network. The fixed-point iteration is derived upon the assumption of turbulent flow solutions and the validity of the Hazen-Williams head loss formula for water flow. Local convergence is ensured if the spectral radius of the Jacobian at the solution is smaller than one. The im…
▽ More
This paper develops a fixed-point iteration to solve the steady-state water flow equations in an urban water distribution network. The fixed-point iteration is derived upon the assumption of turbulent flow solutions and the validity of the Hazen-Williams head loss formula for water flow. Local convergence is ensured if the spectral radius of the Jacobian at the solution is smaller than one. The implication is that the solution is at least locally unique and that the spectral radius of the Jacobian provides an estimate of the convergence speed. A sample water network is provided to assert the application of the proposed method.
△ Less
Submitted 3 July, 2018;
originally announced July 2018.
-
Two Stream Self-Supervised Learning for Action Recognition
Authors:
Ahmed Taha,
Moustafa Meshry,
Xitong Yang,
Yi-Ting Chen,
Larry Davis
Abstract:
We present a self-supervised approach using spatio-temporal signals between video frames for action recognition. A two-stream architecture is leveraged to tangle spatial and temporal representation learning. Our task is formulated as both a sequence verification and spatio-temporal alignment tasks. The former task requires motion temporal structure understanding while the latter couples the learne…
▽ More
We present a self-supervised approach using spatio-temporal signals between video frames for action recognition. A two-stream architecture is leveraged to tangle spatial and temporal representation learning. Our task is formulated as both a sequence verification and spatio-temporal alignment tasks. The former task requires motion temporal structure understanding while the latter couples the learned motion with the spatial representation. The self-supervised pre-trained weights effectiveness is validated on the action recognition task. Quantitative evaluation shows the self-supervised approach competence on three datasets: HMDB51, UCF101, and Honda driving dataset (HDD). Further investigations to boost performance and generalize validity are still required.
△ Less
Submitted 16 June, 2018;
originally announced June 2018.
-
Kid-Net: Convolution Networks for Kidney Vessels Segmentation from CT-Volumes
Authors:
Ahmed Taha,
Pechin Lo,
Junning Li,
Tao Zhao
Abstract:
Semantic image segmentation plays an important role in modeling patient-specific anatomy. We propose a convolution neural network, called Kid-Net, along with a training schema to segment kidney vessels: artery, vein and collecting system. Such segmentation is vital during the surgical planning phase in which medical decisions are made before surgical incision. Our main contribution is develo** a…
▽ More
Semantic image segmentation plays an important role in modeling patient-specific anatomy. We propose a convolution neural network, called Kid-Net, along with a training schema to segment kidney vessels: artery, vein and collecting system. Such segmentation is vital during the surgical planning phase in which medical decisions are made before surgical incision. Our main contribution is develo** a training schema that handles unbalanced data, reduces false positives and enables high-resolution segmentation with a limited memory budget. These objectives are attained using dynamic weighting, random sampling and 3D patch segmentation. Manual medical image annotation is both time-consuming and expensive. Kid-Net reduces kidney vessels segmentation time from matter of hours to minutes. It is trained end-to-end using 3D patches from volumetric CT-images. A complete segmentation for a 512x512x512 CT-volume is obtained within a few minutes (1-2 mins) by stitching the output 3D patches together. Feature down-sampling and up-sampling are utilized to achieve higher classification and localization accuracies. Quantitative and qualitative evaluation results on a challenging testing dataset show Kid-Net competence.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
Simultaneous Sensor and Actuator Selection/Placement through Output Feedback Control
Authors:
Sebastian Nugroho,
Ahmad F. Taha,
Tyler Summers,
Nikolaos Gatsis
Abstract:
In most dynamic networks, it is impractical to measure all of the system states; instead, only a subset of the states are measured through sensors. Consequently, and unlike full state feedback controllers, output feedback control utilizes only the measured states to obtain a stable closed-loop performance. This paper explores the interplay between the selection of minimal number of sensors and act…
▽ More
In most dynamic networks, it is impractical to measure all of the system states; instead, only a subset of the states are measured through sensors. Consequently, and unlike full state feedback controllers, output feedback control utilizes only the measured states to obtain a stable closed-loop performance. This paper explores the interplay between the selection of minimal number of sensors and actuators (SaA) that yield a stable closed-loop system performance. Through the formulation of the static output feedback control problem, we show that the simultaneous selection of minimal set of SaA is a combinatorial optimization problem with mixed-integer nonlinear matrix inequality constraints. To address the computational complexity, we develop two approaches: The first approach relies on integer/disjunctive programming principles, while the second approach is a simple algorithm that is akin to binary search routines. The optimality of the two approaches is also discussed. Numerical experiments are included showing the performance of the developed approaches.
△ Less
Submitted 14 June, 2018;
originally announced June 2018.
-
Why rankings of biomedical image analysis competitions should be interpreted with care
Authors:
Lena Maier-Hein,
Matthias Eisenmann,
Annika Reinke,
Sinan Onogur,
Marko Stankovic,
Patrick Scholz,
Tal Arbel,
Hrvoje Bogunovic,
Andrew P. Bradley,
Aaron Carass,
Carolin Feldmann,
Alejandro F. Frangi,
Peter M. Full,
Bram van Ginneken,
Allan Hanbury,
Katrin Honauer,
Michal Kozubek,
Bennett A. Landman,
Keno März,
Oskar Maier,
Klaus Maier-Hein,
Bjoern H. Menze,
Henning Müller,
Peter F. Neher,
Wiro Niessen
, et al. (13 additional authors not shown)
Abstract:
International challenges have become the standard for validation of biomedical image analysis methods. Given their scientific impact, it is surprising that a critical analysis of common practices related to the organization of challenges has not yet been performed. In this paper, we present a comprehensive analysis of biomedical image analysis challenges conducted up to now. We demonstrate the imp…
▽ More
International challenges have become the standard for validation of biomedical image analysis methods. Given their scientific impact, it is surprising that a critical analysis of common practices related to the organization of challenges has not yet been performed. In this paper, we present a comprehensive analysis of biomedical image analysis challenges conducted up to now. We demonstrate the importance of challenges and show that the lack of quality control has critical consequences. First, reproducibility and interpretation of the results is often hampered as only a fraction of relevant information is typically provided. Second, the rank of an algorithm is generally not robust to a number of variables such as the test data used for validation, the ranking scheme applied and the observers that make the reference annotations. To overcome these problems, we recommend best practice guidelines and define open research questions to be addressed in the future.
△ Less
Submitted 18 September, 2019; v1 submitted 6 June, 2018;
originally announced June 2018.
-
Vulnerability Analysis of Smart Grids to GPS Spoofing
Authors:
Paresh Risbud,
Nikolaos Gatsis,
Ahmad Taha
Abstract:
Sensors such as phasor measurement units (PMUs) endowed with GPS receivers are ubiquitously installed providing real-time grid visibility. A number of PMUs can cooperatively enable state estimation routines. However, GPS spoofing attacks can notably alter the PMU measurements, mislead the network operator, and drastically impact subsequent corrective control actions. Leveraging a novel measurement…
▽ More
Sensors such as phasor measurement units (PMUs) endowed with GPS receivers are ubiquitously installed providing real-time grid visibility. A number of PMUs can cooperatively enable state estimation routines. However, GPS spoofing attacks can notably alter the PMU measurements, mislead the network operator, and drastically impact subsequent corrective control actions. Leveraging a novel measurement model that explicitly accounts for the GPS spoofing attacks, this paper formulates an optimization problem to identify the most vulnerable PMUs in the network. A greedy algorithm is developed to solve the aforementioned problem. Furthermore, the paper develops a computationally efficient alternating minimization algorithm for joint state estimation and attack reconstruction. Numerical tests on IEEE benchmark networks validate the developed methods.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
QRES: Quantitative Reasoning on Encrypted Security SLAs
Authors:
Ahmed Taha,
Spyros Boukoros,
Jesus Luna,
Stefan Katzenbeisser,
Neeraj Suri
Abstract:
While regulators advocate for higher cloud transparency, many Cloud Service Providers (CSPs) often do not provide detailed information regarding their security implementations in their Service Level Agreements (SLAs). In practice, CSPs are hesitant to release detailed information regarding their security posture for security and proprietary reasons. This lack of transparency hinders the adoption o…
▽ More
While regulators advocate for higher cloud transparency, many Cloud Service Providers (CSPs) often do not provide detailed information regarding their security implementations in their Service Level Agreements (SLAs). In practice, CSPs are hesitant to release detailed information regarding their security posture for security and proprietary reasons. This lack of transparency hinders the adoption of cloud computing by enterprises and individuals. Unless CSPs share information regarding the technical details of their security proceedings and standards, customers cannot verify which cloud provider matched their needs in terms of security and privacy guarantees. To address this problem, we propose QRES, the first system that enables (a) CSPs to disclose detailed information about their offered security services in an encrypted form to ensure data confidentiality, and (b) customers to assess the CSPs' offered security services and find those satisfying their security requirements. Our system preserves each party's privacy by leveraging a novel evaluation method based on Secure Two Party Computation (2PC) and Searchable Encryption techniques. We implement QRES and highlight its usefulness by applying it to existing standardized SLAs. The real world tests illustrate that the system runs in acceptable time for practical application even when used with a multitude of CSPs. We formally prove the security requirements of the proposed system against a strong realistic adversarial model, using an automated cryptographic protocol verifier.
△ Less
Submitted 12 April, 2018;
originally announced April 2018.
-
Dynamic Actuator Selection and Robust State-Feedback Control of Networked Soft Actuators
Authors:
Nafiseh Ebrahimi,
Sebastian Nugroho,
Ahmad F. Taha,
Nikolaos Gatsis,
Wei Gao,
Amir Jafari
Abstract:
The design of robots that are light, soft, powerful is a grand challenge. Since they can easily adapt to dynamic environments, soft robotic systems have the potential of changing the status-quo of bulky robotics. A crucial component of soft robotics is a soft actuator that is activated by external stimuli to generate desired motions. Unfortunately, there is a lack of powerful soft actuators that o…
▽ More
The design of robots that are light, soft, powerful is a grand challenge. Since they can easily adapt to dynamic environments, soft robotic systems have the potential of changing the status-quo of bulky robotics. A crucial component of soft robotics is a soft actuator that is activated by external stimuli to generate desired motions. Unfortunately, there is a lack of powerful soft actuators that operate through lightweight power sources. To that end, we recently designed a highly scalable, flexible, biocompatible Electromagnetic Soft Actuator (ESA). With ESAs, artificial muscles can be designed by integrating a network of ESAs. The main research gap addressed in this work is in the absence of system-theoretic understanding of the impact of the realtime control and actuator selection algorithms on the performance of networked soft-body actuators and ESAs. The objective of this paper is to establish a framework that guides the analysis and robust control of networked ESAs. A novel ESA is described, and a configuration of soft actuator matrix to resemble artificial muscle fiber is presented. A mathematical model which depicts the physical network is derived, considering the disturbances due to external forces and linearization errors as an integral part of this model. Then, a robust control and minimal actuator selection problem with logistic constraints and control input bounds is formulated, and tractable computational routines are proposed with numerical case studies.
△ Less
Submitted 4 April, 2018;
originally announced April 2018.
-
Robust Control for Renewable-Integrated Power Networks Considering Input Bound Constraints and Worst-Case Uncertainty Measure
Authors:
Ahmad F. Taha,
Mohammadhafez Bazrafshan,
Sebastian Nugroho,
Nikolaos Gatsis,
Junjian Qi
Abstract:
Uncertainty from renewable energy and loads is one of the major challenges for stable grid operation. Various approaches have been explored to remedy these uncertainties. In this paper, we design centralized or decentralized state-feedback controllers for generators while considering worst-case uncertainty. Specifically, this paper introduces the notion of $\mathcal{L}_{\infty}$ robust control and…
▽ More
Uncertainty from renewable energy and loads is one of the major challenges for stable grid operation. Various approaches have been explored to remedy these uncertainties. In this paper, we design centralized or decentralized state-feedback controllers for generators while considering worst-case uncertainty. Specifically, this paper introduces the notion of $\mathcal{L}_{\infty}$ robust control and stability for uncertain power networks. Uncertain and nonlinear differential algebraic equation model of the network is presented. The model includes unknown disturbances from renewables and loads. Given an operating point, the linearized state-space presentation is given. Then, the notion of $\mathcal{L}_{\infty}$ robust control and stability is discussed, resulting in a nonconvex optimization routine that yields a state feedback gain mitigating the impact of disturbances. The developed routine includes explicit input-bound constraints on generators' inputs and a measure of the worst-case disturbance. The feedback control architecture can be centralized, distributed, or decentralized. Algorithms based on successive convex approximations are then given to address the nonconvexity. Case studies are presented showcasing the performance of the $\mathcal{L}_{\infty}$ controllers in comparison with automatic generation control and $\mathcal{H}_{\infty}$ control methods.
△ Less
Submitted 15 July, 2019; v1 submitted 25 February, 2018;
originally announced February 2018.
-
Blockchain-Assisted Crowdsourced Energy Systems
Authors:
Shen Wang,
Ahmad Taha,
Jianhui Wang
Abstract:
Crowdsourcing relies on people's contributions to meet product- or system-level objectives. Crowdsourcing-based methods have been implemented in various cyber-physical systems and realtime markets. This paper explores a framework for Crowdsourced Energy Systems (CES), where small-scale energy generation or energy trading is crowdsourced from distributed energy resources, electric vehicles, and sha…
▽ More
Crowdsourcing relies on people's contributions to meet product- or system-level objectives. Crowdsourcing-based methods have been implemented in various cyber-physical systems and realtime markets. This paper explores a framework for Crowdsourced Energy Systems (CES), where small-scale energy generation or energy trading is crowdsourced from distributed energy resources, electric vehicles, and shapable loads. The merits/pillars of energy crowdsourcing are discussed. Then, an operational model for CESs in distribution networks with different types of crowdsourcees is proposed. The model yields a market equilibrium depicting traditional and distributed generator and load setpoints. Given these setpoints, crowdsourcing incentives are designed to steer crowdsourcees to the equilibrium. As the number of crowdsourcees and energy trading transactions scales up, a secure energy trading platform is required. To that end, the presented framework is integrated with a lightweight Blockchain implementation and smart contracts. Numerical tests are provided to showcase the overall implementation.
△ Less
Submitted 4 April, 2018; v1 submitted 8 February, 2018;
originally announced February 2018.
-
Real-Time Rejection and Mitigation of Time Synchronization Attacks on the Global Positioning System
Authors:
Ali Khalajmehrabadi,
Nikolaos Gatsis,
David Akopian,
Ahmad F. Taha
Abstract:
This paper introduces the Time Synchronization Attack Rejection and Mitigation (TSARM) technique for Time Synchronization Attacks (TSAs) over the Global Positioning System (GPS). The technique estimates the clock bias and drift of the GPS receiver along with the possible attack contrary to previous approaches. Having estimated the time instants of the attack, the clock bias and drift of the receiv…
▽ More
This paper introduces the Time Synchronization Attack Rejection and Mitigation (TSARM) technique for Time Synchronization Attacks (TSAs) over the Global Positioning System (GPS). The technique estimates the clock bias and drift of the GPS receiver along with the possible attack contrary to previous approaches. Having estimated the time instants of the attack, the clock bias and drift of the receiver are corrected. The proposed technique is computationally efficient and can be easily implemented in real time, in a fashion complementary to standard algorithms for position, velocity, and time estimation in off-the-shelf receivers. The performance of this technique is evaluated on a set of collected data from a real GPS receiver. Our method renders excellent time recovery consistent with the application requirements. The numerical results demonstrate that the TSARM technique outperforms competing approaches in the literature.
△ Less
Submitted 5 February, 2018;
originally announced February 2018.