The smart grid has been revolutionizing electrical generation and consumption through a two-way flow of power and information. As an important information source from the demand side, Advanced Metering Infrastructure (AMI) has gained increasing popularity all over the world. By making full use of the data gathered by AMI, stakeholders of the electrical industry can have a better understanding of electrical consumption behavior. This is a significant strategy to improve operation efficiency an...

As computers continue to advance, they are becoming more capable of sensing, interacting, and communicating with the physical and cyber world. Medical devices, electronic braking systems in automotive applications, and industrial control systems are examples of the many Cyber-Physical Systems (CPS) that utilize these computing capabilities. Given the potential consequences of software related failures in such systems, a high degree of safety, security, and reliability is often required. Progr...

While remote zone 3 protection relays are essential to power systems, their false trips are also one of main causes related to cascading blackouts. Although many methods have been developed on traditional power systems to address this issue, the past cascading failure events showed the ineffectiveness of these methods. With the development of Smart Grid (SG), new agent-based methods have been proposed to address this issue by utilizing SG real-time communications. We found that these solution...

In this paper, we consider the design of linear precoding in Multiple Input Multiple Output (MIMO) Power Line Communication (PLC) systems with finite-alphabet input. First, we derive mutual information of MIMO-PLC systems with impulsive noise. Considering the non-concavity of the objective function and the low-cost requirement of PLC systems, we choose the lower bound of the mutual information as the objective function. Subsequently, we propose a novel approach to design the precoding scheme ...

In this paper, a methodology, Self-Developing and Self-Adaptive Fuzzy Neural Networks using Type-2 Fuzzy Bayesian Ying-Yang Learning (SDSA-FNN-T2FBYYL) algorithm and multi-objective optimization is proposed. The features of this methodology are as follows: (1) A Bayesian Ying-Yang Learning (BYYL) algorithm is used to construct a compact but high-performance system automatically. (2) A novel multi-objective T2FBYYL is presented that integrates the T2 fuzzy theory with BYYL to automatically con...

Traditional Amplitude Phase Shift Keying (APSK) consists of rings with points uniformly spaced. By giving up this uniform-spacing feature, we propose an APSK optimization method based on the uniform APSK with Gray labeling (Gray-APSK). The aim of the optimization is to maximize the Generalized Mutual Information (GMI) of Bit-Interleaved Coded Modulation (BICM) for the targeted code rate and channel. We show that our optimized non-uniform APSK could offer further performance gain compared with...

The diversity provided by disjoint paths can increase the survivability of communication networks. This paper considers the allocation of network error correction flow on a network that consists of disjoint paths from the source node to the destination node. Specifically, we propose an algorithm of allocating the path-flows to support the given rate with minimum cost. Our analysis shows that the asymptotic time complexity of this algorithm is linearithmic, and this algorithm is optimal in gen...

Motion planning issues encountered in assembling airplanes by employing the 6PURU parallel mechanism are analyzed in this paper. A sine curve of the change rate of acceleration, which is called as jerk in the following text, is proposed for uniaxial flexible acceleration and deceleration planning based on the optimal time and velocity and acceleration constraints. Compared with other curves, the proposed curve can realize a continuous n-order derivative and the smooth change of the spe...

In this paper, we propose the Hyper Basis Function (HBF) neural network on the basis of Radial Basis Function (RBF) neural network. Compared with RBF, HBF neural networks have a more generalized ability with different activation functions. A decision tree algorithm is used to determine the network center. Subsequently, we design an adaptive observer based on HBF neural networks and propose a fault detection and diagnosis method based on the observer for the nonlinear modeling ability of the n...

This study investigates the consensus problem of second-order multi-agent systems subject to time-varying interval-like delays. The notion of consensus is extended to networks containing antagonistic interactions modeled by negative weights on the communication graph. A unified framework is established to address both the stationary and dynamic consensus issues in sampled-data settings. Using the reciprocally convex approach, a sufficient condition for consensus is derived in terms of matrix ...

Formal verification of VHSIC Hardware Description Language (VHDL) in Field-Programmable Gate Array (FPGA) design has been discussed for many years. In this paper we provide a practical approach to do so. We present a semi-automatic way to verify FPGA VHDL software deadlocks, especially those that reside in automata. A domain is defined to represent the VHDL modules that will be verified; these modules will be transformed into Verilog models and be verified by SMV tools. By analyzing the verif...