Showing 1–44 of 44 results for author: Smith, D

Deep learning automates Cobb angle measurement compared with multi-expert observers

Authors: Keyu Li, Hanxue Gu, Roy Colglazier, Robert Lark, Elizabeth Hubbard, Robert French, Denise Smith, Jikai Zhang, Erin McCrum, Anthony Catanzano, Joseph Cao, Leah Waldman, Maciej A. Mazurowski, Benjamin Alman

Abstract: Scoliosis, a prevalent condition characterized by abnormal spinal curvature leading to deformity, requires precise assessment methods for effective diagnosis and management. The Cobb angle is a widely used scoliosis quantification method that measures the degree of curvature between the tilted vertebrae. Yet, manual measuring of Cobb angles is time-consuming and labor-intensive, fraught with signi… ▽ More Scoliosis, a prevalent condition characterized by abnormal spinal curvature leading to deformity, requires precise assessment methods for effective diagnosis and management. The Cobb angle is a widely used scoliosis quantification method that measures the degree of curvature between the tilted vertebrae. Yet, manual measuring of Cobb angles is time-consuming and labor-intensive, fraught with significant interobserver and intraobserver variability. To address these challenges and the lack of interpretability found in certain existing automated methods, we have created fully automated software that not only precisely measures the Cobb angle but also provides clear visualizations of these measurements. This software integrates deep neural network-based spine region detection and segmentation, spine centerline identification, pinpointing the most significantly tilted vertebrae, and direct visualization of Cobb angles on the original images. Upon comparison with the assessments of 7 expert readers, our algorithm exhibited a mean deviation in Cobb angle measurements of 4.17 degrees, notably surpassing the manual approach's average intra-reader discrepancy of 5.16 degrees. The algorithm also achieved intra-class correlation coefficients (ICC) exceeding 0.96 and Pearson correlation coefficients above 0.944, reflecting robust agreement with expert assessments and superior measurement reliability. Through the comprehensive reader study and statistical analysis, we believe this algorithm not only ensures a higher consensus with expert readers but also enhances interpretability and reproducibility during assessments. It holds significant promise for clinical application, potentially aiding physicians in more accurate scoliosis assessment and diagnosis, thereby improving patient care. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Comments: 17 pages, 5 figures

Real-Time Prediction of Gas Flow Dynamics in Diesel Engines using a Deep Neural Operator Framework

Authors: Varun Kumar, Somdatta Goswami, Daniel J. Smith, George Em Karniadakis

Abstract: We develop a data-driven deep neural operator framework to approximate multiple output states for a diesel engine and generate real-time predictions with reasonable accuracy. As emission norms become more stringent, the need for fast and accurate models that enable analysis of system behavior have become an essential requirement for system development. The fast transient processes involved in the… ▽ More We develop a data-driven deep neural operator framework to approximate multiple output states for a diesel engine and generate real-time predictions with reasonable accuracy. As emission norms become more stringent, the need for fast and accurate models that enable analysis of system behavior have become an essential requirement for system development. The fast transient processes involved in the operation of a combustion engine make it difficult to develop accurate physics-based models for such systems. As an alternative to physics based models, we develop an operator-based regression model (DeepONet) to learn the relevant output states for a mean-value gas flow engine model using the engine operating conditions as input variables. We have adopted a mean-value model as a benchmark for comparison, simulated using Simulink. The developed approach necessitates using the initial conditions of the output states to predict the accurate sequence over the temporal domain. To this end, a sequence-to-sequence approach is embedded into the proposed framework. The accuracy of the model is evaluated by comparing the prediction output to ground truth generated from Simulink model. The maximum $\mathcal L_2$ relative error observed was approximately $6.5\%$. The sensitivity of the DeepONet model is evaluated under simulated noise conditions and the model shows relatively low sensitivity to noise. The uncertainty in model prediction is further assessed by using a mean ensemble approach. The worst-case error at the $(μ+ 2σ)$ boundary was found to be $12\%$. The proposed framework provides the ability to predict output states in real-time and enables data-driven learning of complex input-output operator map**. As a result, this model can be applied during initial development stages, where accurate models may not be available. △ Less

Submitted 6 July, 2023; v1 submitted 2 April, 2023; originally announced April 2023.

Comments: Updated manuscript title to better reflect this work and field of study

Journal ref: Applied Intelligence, 2023

Simultaneous Transmitting and Reflecting (STAR)-RIS for Harmonious Millimeter Wave Spectrum Sharing

Authors: Omar Hashash, Walid Saad, Mohammadreza F. Imani, David R. Smith

Abstract: The opening of the millimeter wave (mmWave) spectrum bands for 5G communications has motivated the need for novel spectrum sharing solutions at these high frequencies. In fact, reconfigurable intelligent surfaces (RISs) have recently emerged to enable spectrum sharing while enhancing the incumbents' quality-of-service (QoS). Nonetheless, co-existence over mmWave bands remains persistently challeng… ▽ More The opening of the millimeter wave (mmWave) spectrum bands for 5G communications has motivated the need for novel spectrum sharing solutions at these high frequencies. In fact, reconfigurable intelligent surfaces (RISs) have recently emerged to enable spectrum sharing while enhancing the incumbents' quality-of-service (QoS). Nonetheless, co-existence over mmWave bands remains persistently challenging due to their unfavorable propagation characteristics. Hence, initiating mmWave spectrum sharing requires the RIS to further assist in improving the QoS over mmWave bands without jeopardizing spectrum sharing demands. In this paper, a novel simultaneous transmitting and reflecting RIS (STAR-RIS)-aided solution to enable mmWave spectrum sharing is proposed. In particular, the transmitting and reflecting abilities of the STAR-RIS are leveraged to tackle the mmWave spectrum sharing and QoS requirements separately. The STAR-RIS-enabled spectrum sharing problem between a primary network (e.g. a radar transmit-receive pair) and a secondary network is formulated as an optimization problem whose goal is to maximize the downlink sum-rate over a secondary multiple-input-single-output (MISO) network, while limiting interference over a primary network. Moreover, the STAR-RIS response coefficients and beamforming matrix in the secondary network are jointly optimized. To solve this non-convex problem, an alternating iterative algorithm is employed, where the STAR-RIS response coefficients and beamforming matrix are obtained using the successive convex approximation method. Simulation results show that the proposed solution outperforms conventional RIS schemes for mmWave spectrum sharing by achieving a 14.57% spectral efficiency gain. △ Less

Submitted 25 January, 2023; originally announced January 2023.

A Semi-supervised Approach for Activity Recognition from Indoor Trajectory Data

Authors: Mashud Rana, Ashfaqur Rahman, Daniel Smith

Abstract: The increasingly wide usage of location aware sensors has made it possible to collect large volume of trajectory data in diverse application domains. Machine learning allows to study the activities or behaviours of moving objects (e.g., people, vehicles, robot) using such trajectory data with rich spatiotemporal information to facilitate informed strategic and operational decision making. In this… ▽ More The increasingly wide usage of location aware sensors has made it possible to collect large volume of trajectory data in diverse application domains. Machine learning allows to study the activities or behaviours of moving objects (e.g., people, vehicles, robot) using such trajectory data with rich spatiotemporal information to facilitate informed strategic and operational decision making. In this study, we consider the task of classifying the activities of moving objects from their noisy indoor trajectory data in a collaborative manufacturing environment. Activity recognition can help manufacturing companies to develop appropriate management policies, and optimise safety, productivity, and efficiency. We present a semi-supervised machine learning approach that first applies an information theoretic criterion to partition a long trajectory into a set of segments such that the object exhibits homogeneous behaviour within each segment. The segments are then labelled automatically based on a constrained hierarchical clustering method. Finally, a deep learning classification model based on convolutional neural networks is trained on trajectory segments and the generated pseudo labels. The proposed approach has been evaluated on a dataset containing indoor trajectories of multiple workers collected from a tricycle assembly workshop. The proposed approach is shown to achieve high classification accuracy (F-score varies between 0.81 to 0.95 for different trajectories) using only a small proportion of labelled trajectory segments. △ Less

Submitted 10 January, 2023; v1 submitted 8 January, 2023; originally announced January 2023.

Individualized Conditioning and Negative Distances for Speaker Separation

Authors: Tao Sun, Nidal Abuhajar, Shuyu Gong, Zhewei Wang, Charles D. Smith, Xianhui Wang, Li Xu, Jundong Liu

Abstract: Speaker separation aims to extract multiple voices from a mixed signal. In this paper, we propose two speaker-aware designs to improve the existing speaker separation solutions. The first model is a speaker conditioning network that integrates speech samples to generate individualized speaker conditions, which then provide informed guidance for a separation module to produce well-separated outputs… ▽ More Speaker separation aims to extract multiple voices from a mixed signal. In this paper, we propose two speaker-aware designs to improve the existing speaker separation solutions. The first model is a speaker conditioning network that integrates speech samples to generate individualized speaker conditions, which then provide informed guidance for a separation module to produce well-separated outputs. The second design aims to reduce non-target voices in the separated speech. To this end, we propose negative distances to penalize the appearance of any non-target voice in the channel outputs, and positive distances to drive the separated voices closer to the clean targets. We explore two different setups, weighted-sum and triplet-like, to integrate these two distances to form a combined auxiliary loss for the separation networks. Experiments conducted on LibriMix demonstrate the effectiveness of our proposed models. △ Less

Submitted 12 October, 2022; originally announced October 2022.

Comments: Accepted to ICMLA 2022

A Comparative Study on 1.5T-3T MRI Conversion through Deep Neural Network Models

Authors: Binhua Liao, Yani Chen, Zhewei Wang, Charles D. Smith, Jundong Liu

Abstract: In this paper, we explore the capabilities of a number of deep neural network models in generating whole-brain 3T-like MR images from clinical 1.5T MRIs. The models include a fully convolutional network (FCN) method and three state-of-the-art super-resolution solutions, ESPCN [26], SRGAN [17] and PRSR [7]. The FCN solution, U-Convert-Net, carries out map** of 1.5T-to-3T slices through a U-Net-li… ▽ More In this paper, we explore the capabilities of a number of deep neural network models in generating whole-brain 3T-like MR images from clinical 1.5T MRIs. The models include a fully convolutional network (FCN) method and three state-of-the-art super-resolution solutions, ESPCN [26], SRGAN [17] and PRSR [7]. The FCN solution, U-Convert-Net, carries out map** of 1.5T-to-3T slices through a U-Net-like architecture, with 3D neighborhood information integrated through a multi-view ensemble. The pros and cons of the models, as well the associated evaluation metrics, are measured with experiments and discussed in depth. To the best of our knowledge, this study is the first work to evaluate multiple deep learning solutions for whole-brain MRI conversion, as well as the first attempt to utilize FCN/U-Net-like structure for this purpose. △ Less

Submitted 12 October, 2022; originally announced October 2022.

Comments: Accepted to ICMLA 2022

Contractivity of the Method of Successive Approximations for Optimal Control

Authors: Kevin D. Smith, Francesco Bullo

Abstract: Strongly contracting dynamical systems have numerous properties (e.g., incremental ISS), find widespread applications (e.g., in controls and learning), and their study is receiving increasing attention. This work starts with the simple observation that, given a strongly contracting system, its adjoint dynamical system is also strongly contracting, with the same rate, with respect to the dual norm,… ▽ More Strongly contracting dynamical systems have numerous properties (e.g., incremental ISS), find widespread applications (e.g., in controls and learning), and their study is receiving increasing attention. This work starts with the simple observation that, given a strongly contracting system, its adjoint dynamical system is also strongly contracting, with the same rate, with respect to the dual norm, under time reversal. As main implication of this dual contractivity, we show that the classic Method of Successive Approximations (MSA), an indirect method in optimal control, is a contraction map** for short optimization intervals or large contraction rates. Consequently, we establish new convergence conditions for the MSA algorithm, which further imply uniqueness of the optimal control and sufficiency of Pontryagin's minimum principle under additional assumptions. △ Less

Submitted 16 December, 2022; v1 submitted 20 September, 2022; originally announced September 2022.

An Integrated, Phase-Controlled Power Divider for Metasurface Array Antennas

Authors: Deepayan Banerjee, Aaron V. Diebold, David R. Smith, Michael Boyarsky

Abstract: We present the design of a phased, modulated, power distribution network for metasurface array antennas. The specific metasurface array design comprises a series of waveguides, each feeding a sub-array of dynamically tunable metamaterial elements that radiate at microwave (X-band) frequencies. To remain a one-port device, the composite array requires a power divider that can excite each branch wav… ▽ More We present the design of a phased, modulated, power distribution network for metasurface array antennas. The specific metasurface array design comprises a series of waveguides, each feeding a sub-array of dynamically tunable metamaterial elements that radiate at microwave (X-band) frequencies. To remain a one-port device, the composite array requires a power divider that can excite each branch waveguide with equal power. Further, the power divider must also apply a prescribed phase shift to each branch waveguide to mitigate metasurface-specific grating lobes. The presented design features hollow metal waveguides, with a conducting sheet patterned with metamaterial irises serving as the upper wall. A single hollow metal main waveguide feed is used to couple power to each of the branch waveguide. Carefully oriented slots control both the magnitude and phase of the field distributed from the main feed to each branch. All waveguides can be machined from a single block of metal, with a metamaterial-patterned printed circuit board laminated to the top of the assembly. The resulting design is mechanically robust and capable of high power operation while retaining the low-cost, low-power consumption, lightweight, and low-profile features common in metasurface antenna designs. △ Less

Submitted 11 July, 2022; originally announced August 2022.

Should Storage-Centric Tariffs be Extended to Commercial Flexible Demand?

Authors: Lane D. Smith, Daniel S. Kirschen

Abstract: Further electrification of the economy is expected to sharpen ramp rates and increase peak loads. Flexibility from the demand side, which new technologies might facilitate, can help these operational challenges. Electric utilities have begun implementing new tariffs and other mechanisms to encourage the deployment of energy storage. This paper examines whether making these new tariffs technology a… ▽ More Further electrification of the economy is expected to sharpen ramp rates and increase peak loads. Flexibility from the demand side, which new technologies might facilitate, can help these operational challenges. Electric utilities have begun implementing new tariffs and other mechanisms to encourage the deployment of energy storage. This paper examines whether making these new tariffs technology agnostic and extending them to flexible demand would significantly improve the procurement of operational flexibility. In particular, we consider how a commercial consumer might adjust its flexible demand when subject to Pacific Gas and Electric Company's storage-centric electric tariff. We show that extending this tariff to consumers with flexible demand would reduce the utility's net demand ramp rates during peak hours. If consumers have a high level of demand flexibility, this tariff also reduces the net demand during peak hours and decreases total electric bills when compared to the base tariff. △ Less

Submitted 9 February, 2022; originally announced February 2022.

Comments: Accepted to the 2022 IEEE Power and Energy Society (PES) General Meeting. arXiv admin note: text overlap with arXiv:2105.07106

Dual Seminorms, Ergodic Coefficients and Semicontraction Theory

Authors: Giulia De Pasquale, Kevin D. Smith, Francesco Bullo, Maria Elena Valcher

Abstract: Dynamical systems that are contracting on a subspace are said to be semicontracting. Semicontraction theory is a useful tool in the study of consensus algorithms and dynamical flow systems such as Markov chains. To develop a comprehensive theory of semicontracting systems, we investigate seminorms on vector spaces and define two canonical notions: projection and distance semi-norms. We show that t… ▽ More Dynamical systems that are contracting on a subspace are said to be semicontracting. Semicontraction theory is a useful tool in the study of consensus algorithms and dynamical flow systems such as Markov chains. To develop a comprehensive theory of semicontracting systems, we investigate seminorms on vector spaces and define two canonical notions: projection and distance semi-norms. We show that the well-known lp ergodic coefficients are induced matrix seminorms and play a central role in stability problems. In particular, we formulate a duality theorem that explains why the Markov-Dobrushin coefficient is the rate of contraction for both averaging and conservation flows in discrete time. Moreover, we obtain parallel results for induced matrix log seminorms. Finally, we propose comprehensive theorems for strong semicontractivity of linear and non-linear time-varying dynamical systems with invariance and conservation properties both in discrete and continuous time. △ Less

Submitted 20 December, 2022; v1 submitted 9 January, 2022; originally announced January 2022.

Design of Conformal Array of Rectangular Waveguide-fed Metasurfaces

Authors: Insang Yoo, David R. Smith

Abstract: We present a systematic design method for a cylindrical conformal array of rectangular waveguide-fed metasurfaces. The conformal metasurface consists of multiple curved rectangular waveguides loaded with metamaterial elements\textemdash electrically small irises\textemdash inserted into the upper conducting walls of the waveguides. Each element radiates energy into free space to contribute to an o… ▽ More We present a systematic design method for a cylindrical conformal array of rectangular waveguide-fed metasurfaces. The conformal metasurface consists of multiple curved rectangular waveguides loaded with metamaterial elements\textemdash electrically small irises\textemdash inserted into the upper conducting walls of the waveguides. Each element radiates energy into free space to contribute to an overall radiation pattern. Thus, the geometry or electrical configuration of each of the individual metamaterial elements needs to be tailored to generate a desired pattern. In general, due to difficulties in modeling the effect of curvature, the design of conformal metasurface arrays has relied on full-wave simulations or experiments. In this study, we propose a design method utilizing the analytic model of a planar metasurface accounting for metamaterial elements' locations and orientations over a surface with curvature. Although approximate, we demonstrate that such an alteration along with the framework of dipolar modeling of planar elements can be used for the analysis of conformal arrays with small curvature. We then design a conformal array metasurface using the method combined with CMA-ES optimizer. Through numerical simulations, we confirm the validity of the proposed design method. Applications include the design of metasurfaces for radar, communications, and imaging systems for automobiles and airplanes. △ Less

Submitted 27 August, 2021; originally announced September 2021.

Convex Optimization of the Basic Reproduction Number

Authors: Kevin D. Smith, Francesco Bullo

Abstract: The basic reproduction number $R_0$ is a fundamental quantity in epidemiological modeling, reflecting the typical number of secondary infections that arise from a single infected individual. While $R_0$ is widely known to scientists, policymakers, and the general public, it has received comparatively little attention in the controls community. This note provides two novel characterizations of… ▽ More The basic reproduction number $R_0$ is a fundamental quantity in epidemiological modeling, reflecting the typical number of secondary infections that arise from a single infected individual. While $R_0$ is widely known to scientists, policymakers, and the general public, it has received comparatively little attention in the controls community. This note provides two novel characterizations of $R_0$: a stability characterization and a geometric program characterization. The geometric program characterization allows us to write $R_0$-constrained and budget-constrained optimal resource allocation problems as geometric programs, which are easily transformed into convex optimization problems. We apply these programs to allocating vaccines and antidotes in numerical examples, finding that targeting $R_0$ instead of the spectral abscissa of the Jacobian matrix (a common target in the controls literature) leads to qualitatively different solutions. △ Less

Submitted 2 September, 2022; v1 submitted 15 September, 2021; originally announced September 2021.

Holographic Metasurface Antennas for Uplink Massive MIMO Systems

Authors: Insang Yoo, David R. Smith

Abstract: We propose an uplink massive MIMO system using an array of holographic metasurfaces as a sector antenna. The antenna consists of a set of rectangular waveguide-fed metasurfaces combined along the elevation direction into a planar aperture, each with subwavelength-sized metamaterial elements as radiators. The metamaterial radiators are designed such that the waveguide-fed metasurface implements a h… ▽ More We propose an uplink massive MIMO system using an array of holographic metasurfaces as a sector antenna. The antenna consists of a set of rectangular waveguide-fed metasurfaces combined along the elevation direction into a planar aperture, each with subwavelength-sized metamaterial elements as radiators. The metamaterial radiators are designed such that the waveguide-fed metasurface implements a holographic solution for the guided (or reference) mode, generating a fan beam towards a prescribed direction, thereby forming a multibeam antenna system. We demonstrate that a narrowband uplink massive MIMO system using the metasurfaces can achieve the sum capacity close to that offered by the Rayleigh channel at 3.5 GHz. We show that metasurfaces supporting multiple fan beams can achieve high spatial resolution in the azimuth directions in sub-6 GHz channels, and thereby form uncorrelated MIMO channels between the base station and users. Also, the proposed metasurface antenna is structurally simple, low-cost, and efficient, and thus is suitable to alleviate RF hardware issues common to massive MIMO systems equipped with a large antenna system. △ Less

Submitted 27 August, 2021; originally announced August 2021.

Florida Wildlife Camera Trap Dataset

Authors: Crystal Gagne, Jyoti Kini, Daniel Smith, Mubarak Shah

Abstract: Trail camera imagery has increasingly gained popularity amongst biologists for conservation and ecological research. Minimal human interference required to operate camera traps allows capturing unbiased species activities. Several studies - based on human and wildlife interactions, migratory patterns of various species, risk of extinction in endangered populations - are limited by the lack of rich… ▽ More Trail camera imagery has increasingly gained popularity amongst biologists for conservation and ecological research. Minimal human interference required to operate camera traps allows capturing unbiased species activities. Several studies - based on human and wildlife interactions, migratory patterns of various species, risk of extinction in endangered populations - are limited by the lack of rich data and the time-consuming nature of manually annotating trail camera imagery. We introduce a challenging wildlife camera trap classification dataset collected from two different locations in Southwestern Florida, consisting of 104,495 images featuring visually similar species, varying illumination conditions, skewed class distribution, and including samples of endangered species, i.e. Florida panthers. Experimental evaluations with ResNet-50 architecture indicate that this image classification-based dataset can further push the advancements in wildlife statistical modeling. We will make the dataset publicly available. △ Less

Submitted 23 June, 2021; originally announced June 2021.

Comments: IEEE Conference on Computer Vision and Pattern Recognition, CV4Animals: Computer Vision for Animal Behavior Tracking and Modeling Workshop, 2021

Impacts of Time-of-Use Rate Changes on the Electricity Bills of Commercial Consumers

Authors: Lane D. Smith, Daniel S. Kirschen

Abstract: Changes in the profile of prices in wholesale electricity markets prompt utilities to redesign their tariffs and adjust their time-of-use periods to ensure a more adequate cost recovery. However, changing the rate structures could adversely affect commercial consumers by increasing their electricity bills and hindering their ability to reduce costs using techniques like net energy metering. As tim… ▽ More Changes in the profile of prices in wholesale electricity markets prompt utilities to redesign their tariffs and adjust their time-of-use periods to ensure a more adequate cost recovery. However, changing the rate structures could adversely affect commercial consumers by increasing their electricity bills and hindering their ability to reduce costs using techniques like net energy metering. As time-of-use periods are adjusted, consumers will need to rely on the flexibility of distributed energy resources to achieve cost reductions. This paper explores the effect that Pacific Gas and Electric Company's redesigned rates have on the electricity bills of consumers with different demand profiles. Sensitivity analyses are conducted to examine the effect of asset sizing on reducing costs under each tariff. △ Less

Submitted 14 May, 2021; originally announced May 2021.

Comments: Accepted to the 2021 IEEE Power and Energy Society (PES) General Meeting

A Single Sensor Based Multispectral Imaging Camera using a Narrow Spectral Band Colour Mosaic Integrated on the Monochrome CMOS Image Sensor

Authors: Xin He, Ya**g Liu, Kumar Ganesan, Arman Ahnood, Paul Beckett, Fatima Eftekhari, Dan Smith, MD Hemayet Uddin, Efstratios Skafidas, Ampalavanapillai Nirmalathas, Ranjith Rajasekharan Unnithan

Abstract: A multispectral image camera captures image data within specific wavelength ranges in narrow wavelength bands across the electromagnetic spectrum. Images from a multispectral camera can extract additional information that the human eye or a normal camera fails to capture and thus may have important applications in precision agriculture, forestry, medicine and object identification. Conventional mu… ▽ More A multispectral image camera captures image data within specific wavelength ranges in narrow wavelength bands across the electromagnetic spectrum. Images from a multispectral camera can extract additional information that the human eye or a normal camera fails to capture and thus may have important applications in precision agriculture, forestry, medicine and object identification. Conventional multispectral cameras are made up of multiple image sensors each fitted with a narrow passband wavelength filter and optics, which makes them heavy, bulky, power hungry and very expensive. The multiple optics also create image co-registration problem. Here, we demonstrate a single sensor based three band multispectral camera using a narrow spectral band RGB colour mosaic in a Bayer pattern integrated on a monochrome CMOS sensor. The narrow band colour mosaic is made of a hybrid combination of plasmonic colour filters and heterostructured dielectric multilayer. The demonstrated camera technology has reduced cost, weight, size and power by almost n times (where n is the number of bands) compared to a conventional multispectral camera. △ Less

Submitted 2 December, 2020; originally announced December 2020.

Journal ref: APL Photonics 2020

An Incentive-compatible Energy Trading Framework for Neighborhood Area Networks with Shared Energy Storage

Authors: Chathurika P. Mediwaththe, Marnie Shaw, Saman Halgamuge, David B. Smith, Paul Scott

Abstract: Here, a novel energy trading system is proposed for demand-side management of a neighborhood area network (NAN) consisting of a shared energy storage (SES) provider, users with non-dispatchable energy generation, and an electricity retailer. In a leader-follower Stackelberg game, the SES provider first maximizes their revenue by setting a price signal and trading energy with the grid. Then, by fol… ▽ More Here, a novel energy trading system is proposed for demand-side management of a neighborhood area network (NAN) consisting of a shared energy storage (SES) provider, users with non-dispatchable energy generation, and an electricity retailer. In a leader-follower Stackelberg game, the SES provider first maximizes their revenue by setting a price signal and trading energy with the grid. Then, by following the SES provider's actions, the retailer minimizes social cost for the users, i.e., the sum of the total users' cost when they interact with the SES and the total cost for supplying grid energy to the users. A pricing strategy, which incorporates mechanism design, is proposed to make the system incentive-compatible by rewarding users who disclose true energy usage information. A unique Stackelberg equilibrium is achieved where the SES provider's revenue is maximized and the user-level social cost is minimized, which also rewards the retailer. A case study with realistic energy demand and generation data demonstrates 28\%~-~45\% peak demand reduction of the NAN, depending on the number of participating users, compared to a system without SES. Simulation results confirm that the retailer can also benefit financially, in addition to the SES provider and the users. △ Less

Submitted 21 August, 2020; originally announced August 2020.

Comments: Accepted in IEEE Transactions on Sustainable Energy

ESPRESSO: Entropy and ShaPe awaRe timE-Series SegmentatiOn for processing heterogeneous sensor data

Authors: Shohreh Deldari, Daniel V. Smith, Amin Sadri, Flora D. Salim

Abstract: Extracting informative and meaningful temporal segments from high-dimensional wearable sensor data, smart devices, or IoT data is a vital preprocessing step in applications such as Human Activity Recognition (HAR), trajectory prediction, gesture recognition, and lifelogging. In this paper, we propose ESPRESSO (Entropy and ShaPe awaRe timE-Series SegmentatiOn), a hybrid segmentation model for multi… ▽ More Extracting informative and meaningful temporal segments from high-dimensional wearable sensor data, smart devices, or IoT data is a vital preprocessing step in applications such as Human Activity Recognition (HAR), trajectory prediction, gesture recognition, and lifelogging. In this paper, we propose ESPRESSO (Entropy and ShaPe awaRe timE-Series SegmentatiOn), a hybrid segmentation model for multi-dimensional time-series that is formulated to exploit the entropy and temporal shape properties of time-series. ESPRESSO differs from existing methods that focus upon particular statistical or temporal properties of time-series exclusively. As part of model development, a novel temporal representation of time-series $WCAC$ was introduced along with a greedy search approach that estimate segments based upon the entropy metric. ESPRESSO was shown to offer superior performance to four state-of-the-art methods across seven public datasets of wearable and wear-free sensing. In addition, we undertake a deeper investigation of these datasets to understand how ESPRESSO and its constituent methods perform with respect to different dataset characteristics. Finally, we provide two interesting case-studies to show how applying ESPRESSO can assist in inferring daily activity routines and the emotional state of humans. △ Less

Submitted 24 July, 2020; originally announced August 2020.

Comments: 23 pages, 11 figures, accepted at IMWUT Volume(4) issue(3)

Dynamic Metasurface Antennas for 6G Extreme Massive MIMO Communications

Authors: Nir Shlezinger, George C. Alexandropoulos, Mohammadreza F. Imani, Yonina C. Eldar, David R. Smith

Abstract: Next generation wireless base stations and access points will transmit and receive using extremely massive numbers of antennas. A promising technology for realizing such massive arrays in a dynamically controllable and scalable manner with reduced cost and power consumption utilizes surfaces of radiating metamaterial elements, known as metasurfaces. To date, metasurfaces are mainly considered in t… ▽ More Next generation wireless base stations and access points will transmit and receive using extremely massive numbers of antennas. A promising technology for realizing such massive arrays in a dynamically controllable and scalable manner with reduced cost and power consumption utilizes surfaces of radiating metamaterial elements, known as metasurfaces. To date, metasurfaces are mainly considered in the context of wireless communications as passive reflecting devices, aiding conventional transceivers in sha** the propagation environment. This article presents an alternative application of metasurfaces for wireless communications as active reconfigurable antennas with advanced analog signal processing capabilities for next generation transceivers. We review the main characteristics of metasurfaces used for radiation and reception, and analyze their main advantages as well as their effect on the ability to reliably communicate in wireless networks. As current studies unveil only a portion of the potential of metasurfaces, we detail a list of exciting research and implementation challenges which arise from the application of metasurface antennas for wireless transceivers. △ Less

Submitted 16 June, 2020; v1 submitted 14 June, 2020; originally announced June 2020.

Topology Inference with Multivariate Cumulants: The Möbius Inference Algorithm

Authors: Kevin D. Smith, Saber Jafarpour, Ananthram Swami, Francesco Bullo

Abstract: Many tasks regarding the monitoring, management, and design of communication networks rely on knowledge of the routing topology. However, the standard approach to topology map**--namely, active probing with traceroutes--relies on cooperation from increasingly non-cooperative routers, leading to missing information. Network tomography, which uses end-to-end measurements of additive link metrics (… ▽ More Many tasks regarding the monitoring, management, and design of communication networks rely on knowledge of the routing topology. However, the standard approach to topology map**--namely, active probing with traceroutes--relies on cooperation from increasingly non-cooperative routers, leading to missing information. Network tomography, which uses end-to-end measurements of additive link metrics (like delays or log packet loss rates) across monitor paths, is a possible remedy. Network tomography does not require that routers cooperate with traceroute probes, and it has already been used to infer the structure of multicast trees. This paper goes a step further. We provide a tomographic method to infer the underlying routing topology of an arbitrary set of monitor paths using the joint distribution of end-to-end measurements, without making any assumptions on routing behavior. Our approach, called the Möbius Inference Algorithm (MIA), uses cumulants of this distribution to quantify high-order interactions among monitor paths, and it applies Möbius inversion to "disentangle" these interactions. In addition to MIA, we provide a more practical variant called Sparse Möbius Inference, which uses various sparsity heuristics to reduce the number and order of cumulants required to be estimated. We show the viability of our approach using synthetic case studies based on real-world ISP topologies. △ Less

Submitted 18 June, 2021; v1 submitted 16 May, 2020; originally announced May 2020.

Compositional Formal Analysis Based on Conventional Engineering Models

Authors: Tyler D. Smith, Ryan Peroutka, Robert Edman

Abstract: Applications of formal methods for state space exploration have been successfully applied to evaluate robust critical software systems. Formal methods enable discovery of error conditions that conventional testing may miss, and can aid in planning complex system operations. However, broad application of formal methods has been hampered by the effort required to generate formal specifications for r… ▽ More Applications of formal methods for state space exploration have been successfully applied to evaluate robust critical software systems. Formal methods enable discovery of error conditions that conventional testing may miss, and can aid in planning complex system operations. However, broad application of formal methods has been hampered by the effort required to generate formal specifications for real systems. In this paper we present State Linked Interface Compliance Engine for Data (SLICED), a methodology that addresses the complexity of formal state machine specification generation by leveraging conventional engineering models to derive compositional formal state models and to generate formal assertions on the state machines. We demonstrate SLICED using the Virtual ADAPT model published by NASA and validate our results by replicating them using Simulink. △ Less

Submitted 7 April, 2020; originally announced April 2020.

ACM Class: F.0

The Cost of Privacy in Asynchronous Differentially-Private Machine Learning

Authors: Farhad Farokhi, Nan Wu, David Smith, Mohamed Ali Kaafar

Abstract: We consider training machine learning models using Training data located on multiple private and geographically-scattered servers with different privacy settings. Due to the distributed nature of the data, communicating with all collaborating private data owners simultaneously may prove challenging or altogether impossible. In this paper, we develop differentially-private asynchronous algorithms f… ▽ More We consider training machine learning models using Training data located on multiple private and geographically-scattered servers with different privacy settings. Due to the distributed nature of the data, communicating with all collaborating private data owners simultaneously may prove challenging or altogether impossible. In this paper, we develop differentially-private asynchronous algorithms for collaboratively training machine-learning models on multiple private datasets. The asynchronous nature of the algorithms implies that a central learner interacts with the private data owners one-on-one whenever they are available for communication without needing to aggregate query responses to construct gradients of the entire fitness function. Therefore, the algorithm efficiently scales to many data owners. We define the cost of privacy as the difference between the fitness of a privacy-preserving machine-learning model and the fitness of trained machine-learning model in the absence of privacy concerns. We prove that we can forecast the performance of the proposed privacy-preserving asynchronous algorithms. We demonstrate that the cost of privacy has an upper bound that is inversely proportional to the combined size of the training datasets squared and the sum of the privacy budgets squared. We validate the theoretical results with experiments on financial and medical datasets. The experiments illustrate that collaboration among more than 10 data owners with at least 10,000 records with privacy budgets greater than or equal to 1 results in a superior machine-learning model in comparison to a model trained in isolation on only one of the datasets, illustrating the value of collaboration and the cost of the privacy. The number of the collaborating datasets can be lowered if the privacy budget is higher. △ Less

Submitted 29 June, 2020; v1 submitted 18 March, 2020; originally announced March 2020.

On the Convergence of the Dynamic Inner PCA Algorithm

Authors: Sungho Shin, Alex D. Smith, S. Joe Qin, Victor M. Zavala

Abstract: Dynamic inner principal component analysis (DiPCA) is a powerful method for the analysis of time-dependent multivariate data. DiPCA extracts dynamic latent variables that capture the most dominant temporal trends by solving a large-scale, dense, and nonconvex nonlinear program (NLP). A scalable decomposition algorithm has been recently proposed in the literature to solve these challenging NLPs. Th… ▽ More Dynamic inner principal component analysis (DiPCA) is a powerful method for the analysis of time-dependent multivariate data. DiPCA extracts dynamic latent variables that capture the most dominant temporal trends by solving a large-scale, dense, and nonconvex nonlinear program (NLP). A scalable decomposition algorithm has been recently proposed in the literature to solve these challenging NLPs. The decomposition algorithm performs well in practice but its convergence properties are not well understood. In this work, we show that this algorithm is a specialized variant of a coordinate maximization algorithm. This observation allows us to explain why the decomposition algorithm might work (or not) in practice and can guide improvements. We compare the performance of the decomposition strategies with that of the off-the-shelf solver Ipopt. The results show that decomposition is more scalable and, surprisingly, delivers higher quality solutions. △ Less

Submitted 12 March, 2020; originally announced March 2020.

Journal ref: In Proceedings of Foundations of Process Analytics and Machine Learning, 2019

A Multi-site Study of a Breast Density Deep Learning Model for Full-field Digital Mammography Images and Synthetic Mammography Images

Authors: Thomas P. Matthews, Sadanand Singh, Brent Mombourquette, Jason Su, Meet P. Shah, Stefano Pedemonte, Aaron Long, David Maffit, Jenny Gurney, Rodrigo Morales Hoil, Nikita Ghare, Douglas Smith, Stephen M. Moore, Susan C. Marks, Richard L. Wahl

Abstract: Purpose: To develop a Breast Imaging Reporting and Data System (BI-RADS) breast density deep learning (DL) model in a multi-site setting for synthetic two-dimensional mammography (SM) images derived from digital breast tomosynthesis exams using full-field digital mammography (FFDM) images and limited SM data. Materials and Methods: A DL model was trained to predict BI-RADS breast density using F… ▽ More Purpose: To develop a Breast Imaging Reporting and Data System (BI-RADS) breast density deep learning (DL) model in a multi-site setting for synthetic two-dimensional mammography (SM) images derived from digital breast tomosynthesis exams using full-field digital mammography (FFDM) images and limited SM data. Materials and Methods: A DL model was trained to predict BI-RADS breast density using FFDM images acquired from 2008 to 2017 (Site 1: 57492 patients, 187627 exams, 750752 images) for this retrospective study. The FFDM model was evaluated using SM datasets from two institutions (Site 1: 3842 patients, 3866 exams, 14472 images, acquired from 2016 to 2017; Site 2: 7557 patients, 16283 exams, 63973 images, 2015 to 2019). Each of the three datasets were then split into training, validation, and test datasets. Adaptation methods were investigated to improve performance on the SM datasets and the effect of dataset size on each adaptation method is considered. Statistical significance was assessed using confidence intervals (CI), estimated by bootstrap**. Results: Without adaptation, the model demonstrated substantial agreement with the original reporting radiologists for all three datasets (Site 1 FFDM: linearly-weighted $κ_w$ = 0.75 [95% CI: 0.74, 0.76]; Site 1 SM: $κ_w$ = 0.71 [95% CI: 0.64, 0.78]; Site 2 SM: $κ_w$ = 0.72 [95% CI: 0.70, 0.75]). With adaptation, performance improved for Site 2 (Site 1: $κ_w$ = 0.72 [95% CI: 0.66, 0.79], 0.71 vs 0.72, P = .80; Site 2: $κ_w$ = 0.79 [95% CI: 0.76, 0.81], 0.72 vs 0.79, P $<$ .001) using only 500 SM images from that site. Conclusion: A BI-RADS breast density DL model demonstrated strong performance on FFDM and SM images from two institutions without training on SM images and improved using few SM images. △ Less

Submitted 2 October, 2020; v1 submitted 23 January, 2020; originally announced January 2020.

MSC Class: 68T45 ACM Class: I.5.4; J.3; I.2.10; I.4.8

Peer-to-Peer Trading in Electricity Networks: An Overview

Authors: Wayes Tushar, Tapan K. Saha, Chau Yuen, David Smith, H. Vincent Poor

Abstract: Peer-to-peer trading is a next-generation energy management technique that economically benefits proactive consumers (prosumers) transacting their energy as goods and services. At the same time, peer-to-peer energy trading is also expected to help the grid by reducing peak demand, lowering reserve requirements, and curtailing network loss. However, large-scale deployment of peer-to-peer trading in… ▽ More Peer-to-peer trading is a next-generation energy management technique that economically benefits proactive consumers (prosumers) transacting their energy as goods and services. At the same time, peer-to-peer energy trading is also expected to help the grid by reducing peak demand, lowering reserve requirements, and curtailing network loss. However, large-scale deployment of peer-to-peer trading in electricity networks poses a number of challenges in modeling transactions in both the virtual and physical layers of the network. As such, this article provides a comprehensive review of the state-of-the-art in research on peer-to-peer energy trading techniques. By doing so, we provide an overview of the key features of peer-to-peer trading and its benefits of relevance to the grid and prosumers. Then, we systematically classify the existing research in terms of the challenges that the studies address in the virtual and the physical layers. We then further identify and discuss those technical approaches that have been extensively used to address the challenges in peer-to-peer transactions. Finally, the paper is concluded with potential future research directions. △ Less

Submitted 19 January, 2020; originally announced January 2020.

Comments: 15 pages, overview paper, accepted

Journal ref: IEEE Transactions on Smart Grid, 2020

Dynamic Metasurface Antennas for MIMO-OFDM Receivers with Bit-Limited ADCs

Authors: Hanqing Wang, Nir Shlezinger, Yonina C. Eldar, Shi **, Mohammadreza F. Imani, Insang Yoo, David R. Smith

Abstract: The combination of orthogonal frequency modulation (OFDM) and multiple-input multiple-output (MIMO) systems plays an important role in modern communication systems. In order to meet the growing throughput demands, future MIMO-OFDM receivers are expected to utilize a massive number of antennas, operate in dynamic environments, and explore high frequency bands, while satisfying strict constraints in… ▽ More The combination of orthogonal frequency modulation (OFDM) and multiple-input multiple-output (MIMO) systems plays an important role in modern communication systems. In order to meet the growing throughput demands, future MIMO-OFDM receivers are expected to utilize a massive number of antennas, operate in dynamic environments, and explore high frequency bands, while satisfying strict constraints in terms of cost, power, and size. An emerging technology to realize massive MIMO receivers of reduced cost and power consumption is based on dynamic metasurface antennas (DMAs), which inherently implement controllable compression in acquisition. In this work we study the application of DMAs for MIMO-OFDM receivers operating with bit-constrained analog-to-digital converters (ADCs). We present a model for DMAs which accounts for the configurable frequency selective profile of its metamaterial elements, resulting in a spectrally flexible hybrid structure. We then exploit previous results in task-based quantization to show how DMAs can be configured to improve recovery in the presence of constrained ADCs, and propose methods for adjusting the DMA parameters based on channel state information. Our numerical results demonstrate that the DMA-based receiver is capable of accurately recovering OFDM signals. In particular, we show that by properly exploiting the spectral diversity of DMAs, notable performance gains are obtained over existing designs of conventional hybrid architectures, demonstrating the potential of DMAs for MIMO-OFDM setups in realizing high performance massive antenna arrays of reduced cost and power consumption. △ Less

Submitted 14 December, 2019; originally announced December 2019.

Implementation and Characterization of a Two-Dimensional Printed Circuit Dynamic Metasurface Aperture for Computational Microwave Imaging

Authors: Timothy Sleasman, Mohammadreza F. Imani, Aaron V. Diebold, Michael Boyarsky, Kenneth P. Trofatter, David R. Smith

Abstract: We present the design, fabrication, and experimental characterization of a two-dimensional, dynamically tuned, metasurface aperture, emphasizing its potential performance in computational imaging applications. The dynamic metasurface aperture (DMA) consists of an irregular, planar cavity that feeds a multitude of tunable metamaterial elements, all fabricated in a compact, multilayer printed circui… ▽ More We present the design, fabrication, and experimental characterization of a two-dimensional, dynamically tuned, metasurface aperture, emphasizing its potential performance in computational imaging applications. The dynamic metasurface aperture (DMA) consists of an irregular, planar cavity that feeds a multitude of tunable metamaterial elements, all fabricated in a compact, multilayer printed circuit board process. The design considerations for the metamaterial element as a tunable radiator, the associated biasing circuitry, as well as cavity parameters are examined and discussed. A sensing matrix can be constructed from the measured transmit patterns, the singular value spectrum of which provides insight into the information capacity of the apertures. We investigate the singular value spectra of the sensing matrix over a variety of operating parameters, such as the number of metamaterial elements, number of masks, and number of radiating elements. After optimizing over these key parameters, we demonstrate computational microwave imaging of simple test objects. △ Less

Submitted 20 October, 2019; originally announced November 2019.

A Survey of Algorithms for Distributed Charging Control of Electric Vehicles in Smart Grid

Authors: Nanduni I. Nimalsiri, Chathurika P. Mediwaththe, Elizabeth L. Ratnam, Marnie Shaw, David B. Smith, Saman K. Halgamuge

Abstract: Electric vehicles (EVs) are an eco-friendly alternative to vehicles with internal combustion engines. Despite their environmental benefits, the massive electricity demand imposed by the anticipated proliferation of EVs could jeopardize the secure and economic operation of the power grid. Hence, proper strategies for charging coordination will be indispensable to the future power grid. Coordinated… ▽ More Electric vehicles (EVs) are an eco-friendly alternative to vehicles with internal combustion engines. Despite their environmental benefits, the massive electricity demand imposed by the anticipated proliferation of EVs could jeopardize the secure and economic operation of the power grid. Hence, proper strategies for charging coordination will be indispensable to the future power grid. Coordinated EV charging schemes can be implemented as centralized, decentralized, and hierarchical systems, with the last two, referred to as distributed charging control systems. This paper reviews the recent literature of distributed charging control schemes, where the computations are distributed across multiple EVs and/or aggregators. First, we categorize optimization problems for EV charging in terms of operational aspects and cost aspects. Then under each category, we provide a comprehensive discussion on algorithms for distributed EV charge scheduling, considering the perspectives of the grid operator, the aggregator, and the EV user. We also discuss how certain algorithms proposed in the literature cope with various uncertainties inherent to distributed EV charging control problems. Finally, we outline several research directions that require further attention. △ Less

Submitted 15 November, 2019; originally announced November 2019.

Comments: This article has been accepted for inclusion in a future issue of the journal - IEEE Transactions on Intelligent Transportation Systems (T-ITS), Oct. 2019. Content is final as presented, with the exception of pagination. There are 19 pages, 5 figures and 1 table

Switch-based Hybrid Beamforming for Massive MIMO Communications in mmWave Bands

Authors: Hamed Nosrati, Elias Aboutanios, Xiangrong Wang, David Smith

Abstract: Switch-based hybrid network is a promising implementation for beamforming in large-scale millimetre wave (mmWave) antenna arrays. By fully exploiting the sparse nature of the mmWave channel, such hybrid beamforming reduces complexity and power consumption when compared with a structure based on phase shifters. However, the difficulty of designing an optimum beamformer in the analog domain is prohi… ▽ More Switch-based hybrid network is a promising implementation for beamforming in large-scale millimetre wave (mmWave) antenna arrays. By fully exploiting the sparse nature of the mmWave channel, such hybrid beamforming reduces complexity and power consumption when compared with a structure based on phase shifters. However, the difficulty of designing an optimum beamformer in the analog domain is prohibitive due to the binary nature of such a switch-based structure. Thus, here we propose a new method for designing a switch-based hybrid beamformer for massive MIMO communications in mmWave bands. We first propose a method for decoupling the joint optimization of analog and digital beamformers by confining the problem to a rank-constrained subspace. We then approximate the solution through two approaches: norm maximization (SHD-NM), and majorization (SHD-QRQU). In the norm maximization method, we propose a modified sequential convex programming (SCP) procedure that maximizes the mutual information while addressing the mismatch incurred from approximating the log-determinant by a Frobenius norm. In the second method, we employ a lower bound on the mutual information by QR factorization. We also introduce linear constraints in order to include frequently-used partially-connected structures. Finally, we show the feasibility, and effectiveness of the proposed methods through several numerical examples. The results demonstrate ability of the proposed methods to track closely the spectral efficiency provided by unconstrained optimal beamformer and phase shifting hybrid beamformer, and outperform a competitor switch-based hybrid beamformer. △ Less

Submitted 29 August, 2019; v1 submitted 27 August, 2019; originally announced August 2019.

Comments: Submitted for publication

Dilated FCN: Listening Longer to Hear Better

Authors: Shuyu Gong, Zhewei Wang, Tao Sun, Yuanhang Zhang, Charles D. Smith, Li Xu, Jundong Liu

Abstract: Deep neural network solutions have emerged as a new and powerful paradigm for speech enhancement (SE). The capabilities to capture long context and extract multi-scale patterns are crucial to design effective SE networks. Such capabilities, however, are often in conflict with the goal of maintaining compact networks to ensure good system generalization. In this paper, we explore dilation operation… ▽ More Deep neural network solutions have emerged as a new and powerful paradigm for speech enhancement (SE). The capabilities to capture long context and extract multi-scale patterns are crucial to design effective SE networks. Such capabilities, however, are often in conflict with the goal of maintaining compact networks to ensure good system generalization. In this paper, we explore dilation operations and apply them to fully convolutional networks (FCNs) to address this issue. Dilations equip the networks with greatly expanded receptive fields, without increasing the number of parameters. Different strategies to fuse multi-scale dilations, as well as to install the dilation modules are explored in this work. Using Noisy VCTK and AzBio sentences datasets, we demonstrate that the proposed dilation models significantly improve over the baseline FCN and outperform the state-of-the-art SE solutions. △ Less

Submitted 27 July, 2019; originally announced July 2019.

Comments: 5 pages; will appear in WASPAA conference

Transient Stability of Droop-Controlled Inverter Networks with Operating Constraints

Authors: Kevin D. Smith, Saber Jafarpour, Francesco Bullo

Abstract: Due to the rise of distributed energy resources, the control of networks of grid-forming inverters is now a pressing issue for power system operation. Droop control is a popular control strategy in the literature for frequency control of these inverters. In this paper, we analyze transient stability in droop-controlled inverter networks that are subject to multiple operating constraints. Using a p… ▽ More Due to the rise of distributed energy resources, the control of networks of grid-forming inverters is now a pressing issue for power system operation. Droop control is a popular control strategy in the literature for frequency control of these inverters. In this paper, we analyze transient stability in droop-controlled inverter networks that are subject to multiple operating constraints. Using a physically-meaningful Lyapunov-like function, we provide two sets of criteria (one mathematical and one computational) to certify that a post-fault trajectory achieves frequency synchronization while respecting operating constraints. We show how to obtain less-conservative transient stability conditions by incorporating information from loop flows, i.e., net flows of active power around cycles in the network. Finally, we use these conditions to quantify the scale of parameter disturbances to which the network is robust. We illustrate our results with numerical case studies of the IEEE 24-bus system. △ Less

Submitted 6 September, 2020; v1 submitted 11 July, 2019; originally announced July 2019.

Multi-stage Antenna Selection for Adaptive Beamforming in MIMO Arrays

Authors: Hamed Nosrati, Elias Aboutanios, David Smith

Abstract: Increasing the number of transmit and receive elements in multiple-input-multiple-output (MIMO) antenna arrays imposes a substantial increase in hardware and computational costs. We mitigate this problem by employing a reconfigurable MIMO array where large transmit and receive arrays are multiplexed in a smaller set of k baseband signals. We consider four stages for the MIMO array configuration an… ▽ More Increasing the number of transmit and receive elements in multiple-input-multiple-output (MIMO) antenna arrays imposes a substantial increase in hardware and computational costs. We mitigate this problem by employing a reconfigurable MIMO array where large transmit and receive arrays are multiplexed in a smaller set of k baseband signals. We consider four stages for the MIMO array configuration and propose four different selection strategies to offer dimensionality reduction in post-processing and achieve hardware cost reduction in digital signal processing (DSP) and radio-frequency (RF) stages. We define the problem as a determinant maximization and develop a unified formulation to decouple the joint problem and select antennas/elements in various stages in one integrated problem. We then analyze the performance of the proposed selection approaches and prove that, in terms of the output SINR, a joint transmit-receive selection method performs best followed by matched-filter, hybrid and factored selection methods. The theoretical results are validated numerically, demonstrating that all methods allow an excellent trade-off between performance and cost. △ Less

Submitted 18 April, 2019; originally announced April 2019.

Comments: Submitted for publication

Towards Smart Wireless Body-Centric Networks

Authors: Samiya M. Shimly, David B. Smith

Abstract: We investigate the existence of 'long-memory' or long-range dependence (LRD) of the wireless body-centric channels, e.g., on-body, body-to-body (B2B), with real-life experimental dataset collected from 10 co-located wireless body area networks or BANs (people fitted with wearable sensors). We examine two different factors on that purpose such as: the pattern of the decaying autocorrelation functio… ▽ More We investigate the existence of 'long-memory' or long-range dependence (LRD) of the wireless body-centric channels, e.g., on-body, body-to-body (B2B), with real-life experimental dataset collected from 10 co-located wireless body area networks or BANs (people fitted with wearable sensors). We examine two different factors on that purpose such as: the pattern of the decaying autocorrelation function (ACF) and the Hurst exponent. From the experimental outcome, we show that, the ACF decay of the body-centric channels follows a power-like decay and the channels have a Hurst exponent much greater than 0.5 on average. These results indicate that the body-centric channels can possess long-memory or LRD characteristic which can be used for predictive analysis and intelligent decision making to build futuristic wireless human-centered networks that can sense and act autonomously. We also clarify whether the presence of the LRD property is sufficient for reliable prediction of the body-centric channels. △ Less

Submitted 31 January, 2019; originally announced February 2019.

Robust Wireless Body Area Networks Coexistence: A Game Theoretic Approach to Time-Division MAC

Authors: Yizhou Yang, David Smith

Abstract: The enabling of wireless body area networks (WBANs) coexistence by radio interference mitigation is very important due to a rapid growth in potential users, and a lack of a central coordinator among WBANs that are closely located. In this paper, we propose a TDMA based MAC layer Scheme, with a back-off mechanism that reduces packet collision probability; and estimate performance using a Markov cha… ▽ More The enabling of wireless body area networks (WBANs) coexistence by radio interference mitigation is very important due to a rapid growth in potential users, and a lack of a central coordinator among WBANs that are closely located. In this paper, we propose a TDMA based MAC layer Scheme, with a back-off mechanism that reduces packet collision probability; and estimate performance using a Markov chain model. Based on the MAC layer scheme, a novel non-cooperative game is proposed to jointly adjust sensor node's transmit power and rate. In comparison with the state-of-art, simulation that includes empirical data shows that the proposed approach leads to higher throughput and longer node lifespan as WBAN wearers dynamically move into each other's vicinity. Moreover, by adaptively tuning contention windows size an alternative game is developed, which significantly reduces the latency. Both proposed games provide robust transmission under strong inter-WBAN interferences, but are demonstrated to be applicable to different scenarios. The uniqueness and existence of Nash Equilibrium (NE), as well as close-to-optimum social efficiency, is also proven for both games. △ Less

Submitted 29 August, 2018; originally announced August 2018.

Comments: 31 pages, 17 figures, submitted for possible publication on ACM Transactions on Sensor Networks (TOSN)

Wide-Sense-Stationarity of Everyday Wireless Channels for Body-to-Body Networks

Authors: Samiya M. Shimly, David B. Smith, Samaneh Movassaghi

Abstract: The existence of wide-sense-stationarity (WSS) in narrowband wireless body-to-body networks is investigated for "everyday" scenarios using many hours of contiguous experimental data. We employ different parametric and non-parametric hypothesis tests for evaluating mean and variance stationarity, along with distribution consistency, of several body-to-body channels found from different on-body sens… ▽ More The existence of wide-sense-stationarity (WSS) in narrowband wireless body-to-body networks is investigated for "everyday" scenarios using many hours of contiguous experimental data. We employ different parametric and non-parametric hypothesis tests for evaluating mean and variance stationarity, along with distribution consistency, of several body-to-body channels found from different on-body sensor locations. We also estimate the variation of power spectrum to evaluate the time independence of the auto-covariance function. Our results show that, with 95% confidence, the assumption of WSS is met for at most 90% of the cases with window lengths of 5 seconds for the channels between the hubs of different BANs. Additionally, in the best-case scenario, the hub-to-hub channel remains reasonably stationary (with more than 80% probability of satisfying the null hypothesis) for longer window lengths of more than 10 seconds. The short time power spectral variation for body-to-body channels is also shown to be negligible. Moreover, we show that body-to-body channels can be considered wide-sense-stationary over significantly longer periods than on-body channels. △ Less

Submitted 15 March, 2018; originally announced March 2018.

Comments: 6 pages, 6 figures, International Conference on Communications (ICC) 2018

Game-Theoretic Electric Vehicle Charging Management Resilient to Non-Ideal User Behavior

Authors: Chathurika P. Mediwaththe, David B. Smith

Abstract: In this paper, an electric vehicle (EV) charging competition, among EV aggregators that perform coordinated EV charging, is explored while taking into consideration potential non-ideal actions of the aggregators. In the coordinated EV charging strategy presented in this paper, each aggregator determines EV charging start time and charging energy profiles to minimize overall EV charging energy cost… ▽ More In this paper, an electric vehicle (EV) charging competition, among EV aggregators that perform coordinated EV charging, is explored while taking into consideration potential non-ideal actions of the aggregators. In the coordinated EV charging strategy presented in this paper, each aggregator determines EV charging start time and charging energy profiles to minimize overall EV charging energy cost by including consideration of the actions of the neighboring aggregators. The competitive interactions of the aggregators are modeled by develo** a two-stage non-cooperative game among the aggregators. The game is then studied under prospect theory to examine the impacts of non-ideal actions of the aggregators in selecting EV charging start times according to subjectively evaluating their opponents' actions. It is shown that the non-cooperative interactions among the aggregators lead to a subgame perfect $ε$-Nash equilibrium when the game is played with either ideal, or non-ideal, actions of the aggregators. A case study presented demonstrates that the benefits of the coordinated EV charging strategy, in terms of energy cost savings and peak-to-average ratio reductions, are significantly resilient to non-ideal actions of the aggregators. △ Less

Submitted 18 December, 2017; originally announced December 2017.

Comments: Accepted to appear in IEEE Transactions on Intelligent Transportation Systems

Management of Renewable Energy for A Shared Facility Controller in Smart Grid

Authors: Wayes Tushar, Jian Andrew Zhang, Chau Yuen, David Smith, Naveed Ul Hassan

Abstract: This paper proposes an energy management scheme to maximize the use of solar energy in the smart grid. In this context, a shared facility controller (SFC) with a number of solar photovoltaic (PV) panels in a smart community is considered that has the capability to schedule the generated energy for consumption and trade to other entities. Particularly, a mechanism is designed for the SFC to decide… ▽ More This paper proposes an energy management scheme to maximize the use of solar energy in the smart grid. In this context, a shared facility controller (SFC) with a number of solar photovoltaic (PV) panels in a smart community is considered that has the capability to schedule the generated energy for consumption and trade to other entities. Particularly, a mechanism is designed for the SFC to decide on the energy surplus, if there is any, that it can use to charge its battery and sell to the households and the grid based on the offered prices. In this regard, a hierarchical energy management scheme is proposed with a view to reduce the total operational cost to the SFC. The concept of a virtual cost (VC) is introduced that aids the SFC to estimate its future operational cost based on some available current information. The energy management is conducted for three different cases and the optimal cost to the SFC is determined for each case via the theory of maxima and minima. A real-time algorithm is proposed to reach the optimal cost for all cases and some numerical examples are provided to demonstrate the beneficial properties of the proposed scheme. △ Less

Submitted 14 July, 2016; originally announced July 2016.

Comments: Journal paper

Energy Storage Sharing in Smart Grid: A Modified Auction Based Approach

Authors: Wayes Tushar, Bo Chai, Chau Yuen, Shisheng Huang, David Smith, H. Vincent Poor, Zaiyue Yang

Abstract: This paper studies the solution of joint energy storage (ES) ownership sharing between multiple shared facility controllers (SFCs) and those dwelling in a residential community. The main objective is to enable the residential units (RUs) to decide on the fraction of their ES capacity that they want to share with the SFCs of the community in order to assist them storing electricity, e.g., for fulfi… ▽ More This paper studies the solution of joint energy storage (ES) ownership sharing between multiple shared facility controllers (SFCs) and those dwelling in a residential community. The main objective is to enable the residential units (RUs) to decide on the fraction of their ES capacity that they want to share with the SFCs of the community in order to assist them storing electricity, e.g., for fulfilling the demand of various shared facilities. To this end, a modified auction-based mechanism is designed that captures the interaction between the SFCs and the RUs so as to determine the auction price and the allocation of ES shared by the RUs that governs the proposed joint ES ownership. The fraction of the capacity of the storage that each RU decides to put into the market to share with the SFCs and the auction price are determined by a noncooperative Stackelberg game formulated between the RUs and the auctioneer. It is shown that the proposed auction possesses the incentive compatibility and the individual rationality properties, which are leveraged via the unique Stackelberg equilibrium (SE) solution of the game. Numerical experiments are provided to confirm the effectiveness of the proposed scheme. △ Less

Submitted 23 December, 2015; originally announced December 2015.

Comments: Journal

Price discrimination for energy trading in smart grid: A game theoretic approach

Authors: Wayes Tushar, Chau Yuen, David Smith, H. Vincent Poor

Abstract: Pricing schemes are an important smart grid feature to affect typical energy usage behavior of energy users (EUs). However, most existing schemes use the assumption that a buyer pays the same price per unit of energy to all suppliers at any particular time when energy is bought. By contrast, here a discriminate pricing technique using game theory is studied. A cake cutting game is investigated, in… ▽ More Pricing schemes are an important smart grid feature to affect typical energy usage behavior of energy users (EUs). However, most existing schemes use the assumption that a buyer pays the same price per unit of energy to all suppliers at any particular time when energy is bought. By contrast, here a discriminate pricing technique using game theory is studied. A cake cutting game is investigated, in which participating EUs in a smart community decide on the price per unit of energy to charge a shared facility controller (SFC) in order to sell surplus energy. The focus is to study fairness criteria to maximize sum benefits to EUs and ensure an envy-free energy trading market. A benefit function is designed that leverages generation of discriminate pricing by each EU, according to the amount of surplus energy that an EU trades with the SFC and the EU's sensitivity to price. It is shown that the game possesses a socially optimal, and hence also Pareto optimal, solution. Further, an algorithm that can be implemented by each EU in a distributed manner to reach the optimal solution is proposed. Numerical case studies are given that demonstrate beneficial properties of the scheme. △ Less

Submitted 10 December, 2015; originally announced December 2015.

Comments: Journal

Cost Minimization of Charging Stations with Photovoltaics: An Approach with EV Classification

Authors: Wayes Tushar, Chau Yuen, Shisheng Huang, David Smith, H. Vincent Poor

Abstract: This paper proposes a novel electric vehicle (EV) classification scheme for a photovoltaic (PV) powered EV charging station (CS) that reduces the effect of intermittency of electricity supply as well as reducing the cost of energy trading of the CS. Since not all EV drivers would like to be environmentally friendly, all vehicles in the CS are divided into three categories: 1) premium, 2) conservat… ▽ More This paper proposes a novel electric vehicle (EV) classification scheme for a photovoltaic (PV) powered EV charging station (CS) that reduces the effect of intermittency of electricity supply as well as reducing the cost of energy trading of the CS. Since not all EV drivers would like to be environmentally friendly, all vehicles in the CS are divided into three categories: 1) premium, 2) conservative, and 3) green, according to their charging behavior. Premium and conservative EVs are considered to be interested only in charging their batteries, with noticeably higher rate of charging for premium EVs. Green vehicles are more environmentally friendly, and thus assist the CS to reduce its cost of energy trading by allowing the CS to use their batteries as distributed storage. A different charging scheme is proposed for each type of EV, which is adopted by the CS to encourage more EVs to be green. A basic mixed integer programming (MIP) technique is used to facilitate the proposed classification scheme. It is shown that the uncertainty in PV generation can be effectively compensated, along with minimization of total cost of energy trading to the CS, by consolidating more green EVs. Real solar and pricing data are used for performance analysis of the system. It is demonstrated that the total cost to the CS reduces considerably as the percentage of green vehicles increases, and also that the contributions of green EVs in winter are greater than those in summer. △ Less

Submitted 28 July, 2015; originally announced July 2015.

Comments: Journal

Feasibility of Using Discriminate Pricing Schemes for Energy Trading in Smart Grid

Authors: Wayes Tushar, Chau Yuen, Bo Chai, David B. Smith, H. Vincent Poor

Abstract: This paper investigates the feasibility of using a discriminate pricing scheme to offset the inconvenience that is experienced by an energy user (EU) in trading its energy with an energy controller in smart grid. The main objective is to encourage EUs with small distributed energy resources (DERs), or with high sensitivity to their inconvenience, to take part in the energy trading via providing in… ▽ More This paper investigates the feasibility of using a discriminate pricing scheme to offset the inconvenience that is experienced by an energy user (EU) in trading its energy with an energy controller in smart grid. The main objective is to encourage EUs with small distributed energy resources (DERs), or with high sensitivity to their inconvenience, to take part in the energy trading via providing incentive to them with relatively higher payment at the same time as reducing the total cost to the energy controller. The proposed scheme is modeled through a two-stage Stackelberg game that describes the energy trading between a shared facility authority (SFA) and EUs in a smart community. A suitable cost function is proposed for the SFA to leverage the generation of discriminate pricing according to the inconvenience experienced by each EU. It is shown that the game has a unique sub-game perfect equilibrium (SPE), under the certain condition at which the SFA's total cost is minimized, and that each EU receives its best utility according to its associated inconvenience for the given price. A backward induction technique is used to derive a closed form expression for the price function at SPE, and thus the dependency of price on an EU's different decision parameters is explained for the studied system. Numerical examples are provided to show the beneficial properties of the proposed scheme. △ Less

Submitted 21 July, 2014; originally announced July 2014.

Comments: 7 pages, 4 figures, 3 tables, conference paper

Three-Party Energy Management With Distributed Energy Resources in Smart Grid

Authors: Wayes Tushar, Bo Chai, Chau Yuen, David B. Smith, Kristin L. Wood, Zaiyue Yang, H. Vincent Poor

Abstract: In this paper, the benefits of distributed energy resources (DERs) are considered in an energy management scheme for a smart community consisting of a large number of residential units (RUs) and a shared facility controller (SFC). A non-cooperative Stackelberg game between RUs and the SFC is proposed in order to explore how both entities can benefit, in terms of achieved utility and minimizing tot… ▽ More In this paper, the benefits of distributed energy resources (DERs) are considered in an energy management scheme for a smart community consisting of a large number of residential units (RUs) and a shared facility controller (SFC). A non-cooperative Stackelberg game between RUs and the SFC is proposed in order to explore how both entities can benefit, in terms of achieved utility and minimizing total cost respectively, from their energy trading with each other and the grid. From the properties of the game, it is shown that the maximum benefit to the SFC in terms of reduction in total cost is obtained at the unique and strategy proof Stackelberg equilibrium (SE). It is further shown that the SE is guaranteed to be reached by the SFC and RUs by executing the proposed algorithm in a distributed fashion, where participating RUs comply with their best strategies in response to the action chosen by the SFC. In addition, a charging-discharging scheme is introduced for the SFC's storage device (SD) that can further lower the SFC's total cost if the proposed game is implemented. Numerical experiments confirm the effectiveness of the proposed scheme. △ Less

Submitted 22 June, 2014; originally announced June 2014.

Comments: 12 pages, Journal

Energy Management for a User Interactive Smart Community: A Stackelberg Game Approach

Authors: Wayes Tushar, Bo Chai, Chau Yuen, David B. Smith, H. Vincent Poor

Abstract: This paper studies a three party energy management problem in a user interactive smart community that consists of a large number of residential units (RUs) with distributed energy resources (DERs), a shared facility controller (SFC) and the main grid. A Stackelberg game is formulated to benefit both the SFC and RUs, in terms of incurred cost and achieved utility respectively, from their energy tra… ▽ More This paper studies a three party energy management problem in a user interactive smart community that consists of a large number of residential units (RUs) with distributed energy resources (DERs), a shared facility controller (SFC) and the main grid. A Stackelberg game is formulated to benefit both the SFC and RUs, in terms of incurred cost and achieved utility respectively, from their energy trading with each other and the grid. The properties of the game are studied and it is shown that there exists a unique Stackelberg equilibrium (SE). A novel algorithm is proposed that can be implemented in a distributed fashion by both RUs and the SFC to reach the SE. The convergence of the algorithm is also proven, and shown to always reach the SE. Numerical examples are used to assess the properties and effectiveness of the proposed scheme. △ Less

Submitted 21 February, 2014; originally announced February 2014.

Comments: 6 pages, 4 figures

Prioritizing Consumers in Smart Grid: A Game Theoretic Approach

Authors: Wayes Tushar, Jian A. Zhang, David Smith, H. Vincent Poor, Sylvie Thiebaux

Abstract: This paper proposes an energy management technique for a consumer-to-grid system in smart grid. The benefit to consumers is made the primary concern to encourage consumers to participate voluntarily in energy trading with the central power station (CPS) in situations of energy deficiency. A novel system model motivating energy trading under the goal of social optimality is proposed. A single-leade… ▽ More This paper proposes an energy management technique for a consumer-to-grid system in smart grid. The benefit to consumers is made the primary concern to encourage consumers to participate voluntarily in energy trading with the central power station (CPS) in situations of energy deficiency. A novel system model motivating energy trading under the goal of social optimality is proposed. A single-leader multiple-follower Stackelberg game is then studied to model the interactions between the CPS and a number of energy consumers (ECs), and to find optimal distributed solutions for the optimization problem based on the system model. The CPS is considered as a leader seeking to minimize its total cost of buying energy from the ECs, and the ECs are the followers who decide on how much energy they will sell to the CPS for maximizing their utilities. It is shown that the game, which can be implemented distributedly, possesses a socially optimal solution, in which the benefits-sum to all consumers is maximized, as the total cost to the CPS is minimized. Numerical analysis confirms the effectiveness of the game. △ Less

Submitted 2 December, 2013; originally announced December 2013.

Comments: 10 pages, 8 figures. IEEE Transactions on Smart Grid, 2013