-
Texture Synthesis with Recurrent Variational Auto-Encoder
Authors:
Rohan Chandra,
Sachin Grover,
Kyungjun Lee,
Moustafa Meshry,
Ahmed Taha
Abstract:
We propose a recurrent variational auto-encoder for texture synthesis. A novel loss function, FLTBNK, is used for training the texture synthesizer. It is rotational and partially color invariant loss function. Unlike L2 loss, FLTBNK explicitly models the correlation of color intensity between pixels. Our texture synthesizer generates neighboring tiles to expand a sample texture and is evaluated us…
▽ More
We propose a recurrent variational auto-encoder for texture synthesis. A novel loss function, FLTBNK, is used for training the texture synthesizer. It is rotational and partially color invariant loss function. Unlike L2 loss, FLTBNK explicitly models the correlation of color intensity between pixels. Our texture synthesizer generates neighboring tiles to expand a sample texture and is evaluated using various texture patterns from Describable Textures Dataset (DTD). We perform both quantitative and qualitative experiments with various loss functions to evaluate the performance of our proposed loss function (FLTBNK) --- a mini-human subject study is used for the qualitative evaluation.
△ Less
Submitted 23 December, 2017;
originally announced December 2017.
-
The spatial extent of Polycyclic Aromatic Hydrocarbons emission in the Herbig star HD 179218
Authors:
Anas S. Taha,
Lucas Labadie,
Eric Pantin,
Alexis Matter,
Carlos Alvarez,
Pilar Esquej,
Rebekka Grellmann,
Rafael Rebolo,
Charles Telesco,
Sebastian Wolf
Abstract:
We investigate in the mid-IR the spatial properties of the PAHs emission in the disk of HD179218. We obtained mid-IR images in the PAH1, PAH2 and Si6 filters at 8.6, 11.3 and 12.5 mu, and N band low-resolution spectra using CanariCam on the GTC. We compared the PSFs measured in the PAH filters to the PSF derived in the Si6 filter, where the thermal continuum dominates. We performed radiative trans…
▽ More
We investigate in the mid-IR the spatial properties of the PAHs emission in the disk of HD179218. We obtained mid-IR images in the PAH1, PAH2 and Si6 filters at 8.6, 11.3 and 12.5 mu, and N band low-resolution spectra using CanariCam on the GTC. We compared the PSFs measured in the PAH filters to the PSF derived in the Si6 filter, where the thermal continuum dominates. We performed radiative transfer modelling of the spectral energy distribution and produced synthetic images in the three filters to investigate different spatial scenarios. Our data show that the disk emission is spatially resolved in the PAHs filters, while unresolved in the Si6 filter. An average FHWM of 0.232", 0.280" and 0.293" is measured in the three filters. Gaussian disk fitting and quadratic subtraction of the science and calibrator suggest a lower-limit characteristic angular diameter of the emission of circa 100 mas (circa 40 au). The photometric and spectroscopic results are compatible with previous findings. Our radiative transfer (RT) modelling of the continuum suggests that the resolved emission results from PAH molecules on the disk atmosphere being UV-excited by the central star. Geometrical models of the PAH component compared to the underlying continuum point at a PAH emission uniformly extended out to the physical limits of the disk's model. Also, our RT best model of the continuum requires a negative exponent of the surface density power-law, in contrast to earlier modelling pointing at a positive exponent. Based on spatial and spectroscopic considerations as well as on qualitative comparison with IRS48 and HD97048, we favor a scenario in which PAHs extend out to large radii across the flared disk surface and are at the same time predominantly in an ionized charge state due to the strong UV radiation field of the 180 L_sun central star.
△ Less
Submitted 14 November, 2017;
originally announced November 2017.
-
Time-Varying Sensor and Actuator Selection for Uncertain Cyber-Physical Systems
Authors:
Ahmad F. Taha,
Nikolaos Gatsis,
Tyler Summers,
Sebastian Nugroho
Abstract:
We propose methods to solve time-varying, sensor and actuator (SaA) selection problems for uncertain cyber-physical systems. We show that many SaA selection problems for optimizing a variety of control and estimation metrics can be posed as semidefinite optimization problems with mixed-integer bilinear matrix inequalities (MIBMIs). Although this class of optimization problems are computationally c…
▽ More
We propose methods to solve time-varying, sensor and actuator (SaA) selection problems for uncertain cyber-physical systems. We show that many SaA selection problems for optimizing a variety of control and estimation metrics can be posed as semidefinite optimization problems with mixed-integer bilinear matrix inequalities (MIBMIs). Although this class of optimization problems are computationally challenging, we present tractable approaches that directly tackle MIBMIs, providing both upper and lower bounds, and that lead to effective heuristics for SaA selection. The upper and lower bounds are obtained via successive convex approximations and semidefinite programming relaxations, respectively, and selections are obtained with a novel slicing algorithm from the solutions of the bounding problems. Custom branch-and-bound and combinatorial greedy approaches are also developed for a broad class of systems for comparison. Finally, comprehensive numerical experiments are performed to compare the different methods and illustrate their effectiveness.
△ Less
Submitted 25 July, 2018; v1 submitted 25 August, 2017;
originally announced August 2017.
-
Coupling Load-Following Control with OPF
Authors:
Mohammadhafez Bazrafshan,
Nikolaos Gatsis,
Ahmad Taha,
Joshua A. Taylor
Abstract:
In this paper, the optimal power flow (OPF) problem is augmented to account for the costs associated with the load-following control of a power network. Load-following control costs are expressed through the linear quadratic regulator (LQR). The power network is described by a set of nonlinear differential algebraic equations (DAEs). By linearizing the DAEs around a known equilibrium, a linearized…
▽ More
In this paper, the optimal power flow (OPF) problem is augmented to account for the costs associated with the load-following control of a power network. Load-following control costs are expressed through the linear quadratic regulator (LQR). The power network is described by a set of nonlinear differential algebraic equations (DAEs). By linearizing the DAEs around a known equilibrium, a linearized OPF that accounts for steady-state operational constraints is formulated first. This linearized OPF is then augmented by a set of linear matrix inequalities that are algebraically equivalent to the implementation of an LQR controller. The resulting formulation, termed LQR-OPF, is a semidefinite program which furnishes optimal steady-state setpoints and an optimal feedback law to steer the system to the new steady state with minimum load-following control costs. Numerical tests demonstrate that the setpoints computed by LQR-OPF result in lower overall costs and frequency deviations compared to the setpoints of a scheme where OPF and load-following control are considered separately.
△ Less
Submitted 17 January, 2018; v1 submitted 12 July, 2017;
originally announced July 2017.
-
Buildings-to-Grid Integration Framework
Authors:
Ahmad F. Taha,
Nikolaos Gatsis,
Bing Dong,
Ankur Pipri,
Zhaoxuan Li
Abstract:
This paper puts forth a mathematical framework for Buildings-to-Grid (BtG) integration in smart cities. The framework explicitly couples power grid and building's control actions and operational decisions, and can be utilized by buildings and power grids operators to simultaneously optimize their performance. Simplified dynamics of building clusters and building-integrated power networks with alge…
▽ More
This paper puts forth a mathematical framework for Buildings-to-Grid (BtG) integration in smart cities. The framework explicitly couples power grid and building's control actions and operational decisions, and can be utilized by buildings and power grids operators to simultaneously optimize their performance. Simplified dynamics of building clusters and building-integrated power networks with algebraic equations are presented---both operating at different time-scales. A model predictive control (MPC)-based algorithm that formulates the BtG integration and accounts for the time-scale discrepancy is developed. The formulation captures dynamic and algebraic power flow constraints of power networks and is shown to be numerically advantageous. The paper analytically establishes that the BtG integration yields a reduced total system cost in comparison with decoupled designs where grid and building operators determine their controls separately. The developed framework is tested on standard power networks that include thousands of buildings modeled using industrial data. Case studies demonstrate building energy savings and significant frequency regulation, while these findings carry over in network simulations with nonlinear power flows and mismatch in building model parameters. Finally, simulations indicate that the performance does not significantly worsen when there is uncertainty in the forecasted weather and base load conditions.
△ Less
Submitted 9 October, 2017; v1 submitted 18 June, 2017;
originally announced June 2017.
-
Arabian Horse Identification Benchmark Dataset
Authors:
Ayat Taha,
Ashraf Darwish,
Aboul Ella Hassanien
Abstract:
The lack of a standard muzzle print database is a challenge for conducting researches in Arabian horse identification systems. Therefore, collecting a muzzle print images database is a crucial decision. The dataset presented in this paper is an option for the studies that need a dataset for testing and comparing the algorithms under development for Arabian horse identification. Our collected datas…
▽ More
The lack of a standard muzzle print database is a challenge for conducting researches in Arabian horse identification systems. Therefore, collecting a muzzle print images database is a crucial decision. The dataset presented in this paper is an option for the studies that need a dataset for testing and comparing the algorithms under development for Arabian horse identification. Our collected dataset consists of 300 color images that were collected from 50 Arabian horse muzzle species. This dataset has been collected from 50 Arabian horses with 6 muzzle print images each. A special care has been given to the quality of the collected images. The collected images cover different quality levels and degradation factors such as image rotation and image partiality for simulating real time identification operations. This dataset can be used to test the identification of Arabian horse system including the extracted features and the selected classifier.
△ Less
Submitted 15 June, 2017;
originally announced June 2017.
-
Seeded Laplaican: An Eigenfunction Solution for Scribble Based Interactive Image Segmentation
Authors:
Ahmed Taha,
Marwan Torki
Abstract:
In this paper, we cast the scribble-based interactive image segmentation as a semi-supervised learning problem. Our novel approach alleviates the need to solve an expensive generalized eigenvector problem by approximating the eigenvectors using efficiently computed eigenfunctions. The smoothness operator defined on feature densities at the limit n tends to infinity recovers the exact eigenvectors…
▽ More
In this paper, we cast the scribble-based interactive image segmentation as a semi-supervised learning problem. Our novel approach alleviates the need to solve an expensive generalized eigenvector problem by approximating the eigenvectors using efficiently computed eigenfunctions. The smoothness operator defined on feature densities at the limit n tends to infinity recovers the exact eigenvectors of the graph Laplacian, where n is the number of nodes in the graph. To further reduce the computational complexity without scarifying our accuracy, we select pivots pixels from user annotations. In our experiments, we evaluate our approach using both human scribble and "robot user" annotations to guide the foreground/background segmentation. We developed a new unbiased collection of five annotated images datasets to standardize the evaluation procedure for any scribble-based segmentation method. We experimented with several variations, including different feature vectors, pivot count and the number of eigenvectors. Experiments are carried out on datasets that contain a wide variety of natural images. We achieve better qualitative and quantitative results compared to state-of-the-art interactive segmentation algorithms.
△ Less
Submitted 27 August, 2017; v1 submitted 2 February, 2017;
originally announced February 2017.
-
The spectrum of diagonal perturbation of weighted shift operator
Authors:
M. L. Sahari,
A. K. Taha,
L. Randriamihamison
Abstract:
This paper provides a description of the spectrum of diagonal perturbation of weighted shift operator acting on a separable Hilbert space.
This paper provides a description of the spectrum of diagonal perturbation of weighted shift operator acting on a separable Hilbert space.
△ Less
Submitted 20 January, 2018; v1 submitted 15 September, 2016;
originally announced September 2016.
-
Comparing Kalman Filters and Observers for Power System Dynamic State Estimation with Model Uncertainty and Malicious Cyber Attacks
Authors:
Junjian Qi,
Ahmad F. Taha,
Jianhui Wang
Abstract:
Kalman filters and observers are two main classes of dynamic state estimation (DSE) routines. Power system DSE has been implemented by various Kalman filters, such as the extended Kalman filter (EKF) and the unscented Kalman filter (UKF). In this paper, we discuss two challenges for an effective power system DSE: (a) model uncertainty and (b) potential cyber attacks. To address this, the cubature…
▽ More
Kalman filters and observers are two main classes of dynamic state estimation (DSE) routines. Power system DSE has been implemented by various Kalman filters, such as the extended Kalman filter (EKF) and the unscented Kalman filter (UKF). In this paper, we discuss two challenges for an effective power system DSE: (a) model uncertainty and (b) potential cyber attacks. To address this, the cubature Kalman filter (CKF) and a nonlinear observer are introduced and implemented. Various Kalman filters and the observer are then tested on the 16-machine, 68-bus system given realistic scenarios under model uncertainty and different types of cyber attacks against synchrophasor measurements. It is shown that CKF and the observer are more robust to model uncertainty and cyber attacks than their counterparts. Based on the tests, a thorough qualitative comparison is also performed for Kalman filter routines and observers.
△ Less
Submitted 29 June, 2018; v1 submitted 2 May, 2016;
originally announced May 2016.
-
Knowledge Discovery In GIS Data
Authors:
Ayman Taha
Abstract:
Intelligent geographic information system (IGIS) is one of the promising topics in GIS field. It aims at making GIS tools more sensitive for large volumes of data stored inside GIS systems by integrating GIS with other computer sciences such as Expert system (ES) Data Warehouse (DW), Decision Support System (DSS), or Knowledge Discovery Database (KDD). One of the main branches of IGIS is the Geogr…
▽ More
Intelligent geographic information system (IGIS) is one of the promising topics in GIS field. It aims at making GIS tools more sensitive for large volumes of data stored inside GIS systems by integrating GIS with other computer sciences such as Expert system (ES) Data Warehouse (DW), Decision Support System (DSS), or Knowledge Discovery Database (KDD). One of the main branches of IGIS is the Geographic Knowledge Discovery (GKD) which tries to discover the implicit knowledge in the spatial databases. The main difference between traditional KDD techniques and GKD techniques is hidden in the nature of spatial data sets. In other words in the traditional data set the values of each object are supposed to be independent from other objects in the same data set, whereas the spatial dataset tends to be highly correlated according to the first law of geography. The spatial outlier detection is one of the most popular spatial data mining techniques which is used to detect spatial objects whose non-spatial attributes values are extremely different from those of their neighboring objects. Analyzing the behavior of these objects may produce an interesting knowledge, which has an effective role in the decision-making process. In this thesis, a new definition for the spatial neighborhood relationship by is proposed considering the weights of the most effective parameters of neighboring objects in a given spatial dataset. The spatial parameters taken into our consideration are; distance, cost, and number of direct connections between neighboring objects. A new model to detect spatial outliers is also presented based on the new definition of the spatial neighborhood relationship. This model is adapted to be applied to polygonal objects. The proposed model is applied to an existing project for supporting literacy in Fayoum governorate in Arab Republic of Egypt (ARE).
△ Less
Submitted 26 January, 2016;
originally announced January 2016.
-
Dynamic State Estimation under Cyber Attacks: A Comparative Study of Kalman Filters and Observers
Authors:
Ahmad F. Taha,
Junjian Qi,
Jianhui Wang,
Jitesh H. Panchal
Abstract:
Utilizing highly synchronized measurements from synchrophasors, dynamic state estimation (DSE) can be applied for real-time monitoring of smart grids. Concurrent DSE studies for power systems are intolerant to unknown inputs and potential attack vectors --- a research gap we will fill in this work. Particularly, we (a) present an overview of concurrent estimation techniques, highlighting key defic…
▽ More
Utilizing highly synchronized measurements from synchrophasors, dynamic state estimation (DSE) can be applied for real-time monitoring of smart grids. Concurrent DSE studies for power systems are intolerant to unknown inputs and potential attack vectors --- a research gap we will fill in this work. Particularly, we (a) present an overview of concurrent estimation techniques, highlighting key deficiencies, (b) develop DSE methods based on cubature Kalman filter and dynamic observers, (c) rigorously examine the strengths and weaknesses of the proposed methods under attack-vectors and unknown inputs, and (d) provide comprehensive recommendations for DSE. Numerical results and in-depth remarks are also presented.
△ Less
Submitted 28 August, 2015;
originally announced August 2015.
-
Risk Mitigation for Dynamic State Estimation Against Cyber Attacks and Unknown Inputs
Authors:
Ahmad F. Taha,
Junjian Qi,
Jianhui Wang,
Jitesh H. Panchal
Abstract:
Phasor measurement units (PMUs) can be effectively utilized for the monitoring and control of the power grid. As the cyber-world becomes increasingly embedded into power grids, the risks of this inevitable evolution become serious. In this paper, we present a risk mitigation strategy, based on dynamic state estimation, to eliminate threat levels from the grid's unknown inputs and potential cyber-a…
▽ More
Phasor measurement units (PMUs) can be effectively utilized for the monitoring and control of the power grid. As the cyber-world becomes increasingly embedded into power grids, the risks of this inevitable evolution become serious. In this paper, we present a risk mitigation strategy, based on dynamic state estimation, to eliminate threat levels from the grid's unknown inputs and potential cyber-attacks. The strategy requires (a) the potentially incomplete knowledge of power system models and parameters and (b) real-time PMU measurements.
First, we utilize a dynamic state estimator for higher order depictions of power system dynamics for simultaneous state and unknown inputs estimation. Second, estimates of cyber-attacks are obtained through an attack detection algorithm. Third, the estimation and detection components are seamlessly utilized in an optimization framework to determine the most impacted PMU measurements. Finally, a risk mitigation strategy is proposed to guarantee the elimination of threats from attacks, ensuring the observability of the power system through available, safe measurements. Case studies are included to validate the proposed approach. Insightful suggestions, extensions, and open problems are also posed.
△ Less
Submitted 19 May, 2016; v1 submitted 28 August, 2015;
originally announced August 2015.
-
Alya: Towards Exascale for Engineering Simulation Codes
Authors:
Mariano Vazquez,
Guillaume Houzeaux,
Seid Koric,
Antoni Artigues,
Jazmin Aguado-Sierra,
Ruth Aris,
Daniel Mira,
Hadrien Calmet,
Fernando Cucchietti,
Herbert Owen,
Ahmed Taha,
Jose Maria Cela
Abstract:
Alya is the BSC in-house HPC-based multi-physics simulation code. It is designed from scratch to run efficiently in parallel supercomputers, solving coupled problems. The target domain is engineering, with all its particular features: complex geome- tries and unstructured meshes, coupled multi-physics with exotic coupling schemes and Physical models, ill-posed problems, flexibility needs for rapid…
▽ More
Alya is the BSC in-house HPC-based multi-physics simulation code. It is designed from scratch to run efficiently in parallel supercomputers, solving coupled problems. The target domain is engineering, with all its particular features: complex geome- tries and unstructured meshes, coupled multi-physics with exotic coupling schemes and Physical models, ill-posed problems, flexibility needs for rapidly including new models, etc. Since its conception in 2004, Alya has shown scaling behaviour in an increasing number of cores. In this paper, we present its performance up to 100.000 cores in Blue Waters, the NCSA supercomputer. The selected tests are representative of the engineering world, all the problematic features included: incompressible flow in a hu- man respiratory system, low Mach combustion problem in a kiln furnace and coupled electro-mechanical problem in a heart. We show scalability plots for all cases, discussing all the aspects of such kind of simulations, including solvers convergence.
△ Less
Submitted 18 April, 2014;
originally announced April 2014.
-
Route to Chaos in Three-Dimensional Maps of Logistic Type
Authors:
Daniele Fournier-Prunaret,
Ricardo Lopez-Ruiz,
Abdel-Kaddous Taha
Abstract:
A route to chaos is studied in 3-dimensional maps of logistic type. Mechanisms of period doubling for invariant closed curves (ICC) are found for specific 3-dimensional maps. These bifurcations cannot be observed for ICC in the 2-dimensional case. When the parameter of the system is modified, localized oscillations occur on the ICC that give rise to weakly chaotic rings, then to chaotic attracto…
▽ More
A route to chaos is studied in 3-dimensional maps of logistic type. Mechanisms of period doubling for invariant closed curves (ICC) are found for specific 3-dimensional maps. These bifurcations cannot be observed for ICC in the 2-dimensional case. When the parameter of the system is modified, localized oscillations occur on the ICC that give rise to weakly chaotic rings, then to chaotic attractors, which finally disappear by contact bifurcations. These maps can be considered as models for the symbiotic interaction of three species.
△ Less
Submitted 7 February, 2005;
originally announced February 2005.
-
Test of Replica Theory: Thermodynamics of 2D Model Systems with Quenched Disorder
Authors:
Simon Bogner,
Thorsten Emig,
Ahmed Taha,
Chen Zeng
Abstract:
We study the statistics of thermodynamic quantities in two related systems with quenched disorder: A (1+1)-dimensional planar lattice of elastic lines in a random potential and the 2-dimensional random bond dimer model. The first system is examined by a replica-symmetric Bethe ansatz (RBA) while the latter is studied numerically by a polynomial algorithm which circumvents slow glassy dynamics. W…
▽ More
We study the statistics of thermodynamic quantities in two related systems with quenched disorder: A (1+1)-dimensional planar lattice of elastic lines in a random potential and the 2-dimensional random bond dimer model. The first system is examined by a replica-symmetric Bethe ansatz (RBA) while the latter is studied numerically by a polynomial algorithm which circumvents slow glassy dynamics. We establish a map** of the two models which allows for a detailed comparison of RBA predictions and simulations. Over a wide range of disorder strength, the effective lattice stiffness and cumulants of various thermodynamic quantities in both approaches are found to agree excellently. Our comparison provides, for the first time, a detailed quantitative confirmation of the replica approach and renders the planar line lattice a unique testing ground for concepts in random systems.
△ Less
Submitted 5 September, 2003;
originally announced September 2003.