Search

This paper presents a distributionally robust network-constrained unit commitment (DR-NCUC) model considering AC network modeling and uncertainties of demands and renewable productions. The proposed model characterizes uncertain parameters using a data-driven ambiguity set constructed by training samples. The non-convex AC power flow equations are approximated by convex quadratic and McCormick relaxations. Since the proposed min-max-min DR-NCUC problem cannot be solved directly by available solvers, a new decomposition algorithm with proof of convergence is reported in this paper. The master problem of this algorithm is solved using both primal and dual cuts, while the max-min sub-problem is solved using the primal-dual hybrid gradient method, obviating the need for using duality theory. Also, an active set strategy is proposed to enhance the tractability of the decomposition algorithm by ignoring the subset of inactive constraints. The proposed model is applied to a 6-bus test system and the IEEE 118-bus test system under different conditions. These case studies illustrate the performance of the proposed DR-NCUC model to characterize uncertainties and the superiority of the proposed decomposition algorithm over other decomposition approaches using either primal or dual cuts. [ABSTRACT FROM AUTHOR]

This paper investigates the stochastic optimization problem focusing on developing scalable parallel algorithms for deep learning tasks. Our solution involves a reformation of the objective function for stochastic optimization in neural network models, along with a novel parallel computing strategy, coined the weighted aggregating stochastic gradient descent (WASGD). Following a theoretical analysis on the characteristics of the new objective function, WASGD introduces a decentralized weighted aggregating scheme based on the performance of local workers. Without any center variable, the new method automatically gauges the importance of local workers and accepts them by their contributions. Furthermore, we have developed an enhanced version of the method, WASGD+, by (1) implementing a designed sample order and (2) upgrading the weight evaluation function. To validate the new method, we benchmark our pipeline against several popular algorithms including the state-of-the-art deep neural network classifier training techniques (e.g., elastic averaging SGD). Comprehensive validation studies have been conducted on four classic datasets: CIFAR-100, CIFAR-10, Fashion-MNIST, and MNIST. Subsequent results have firmly validated the superiority of the WASGD scheme in accelerating the training of deep architecture. Better still, the enhanced version, WASGD+, is shown to be a significant improvement over its prototype. [ABSTRACT FROM AUTHOR]

Deadbeat predictive current control (DPCC) can predict motor behavior based on SPMSM model. However, during the operation of motor system, motor parameters (such as stator inductance and flux linkage) vary frequently according to different working conditions, which may lead to controller parameter mismatch, causing current harmonic content to increase and efficiency to decrease. In order to solve these problems caused by parameter variation, first, this paper proposes a current prediction error model by considering uncertainties of model parameters. Second, stator inductance and flux linkage are decoupled based on current prediction error model, which can reduce the interaction between parameters. Finally, the Kalman Filter (KF) algorithm is presented to filter the decoupled parameters. It is shown that the stator inductance and flux linkage can be identified accurately and the complexity of computation can be simplified. The traditional DPCC method, Extended Kalman Filter (EKF) based DPCC method and the proposed DPCC method are comparatively analyzed in this paper. Simulation and experiment indicate that the proposed parameter decoupling identification method can effectively reduce current harmonic content, current fluctuation and current tracking errors caused by parameter mismatch. [ABSTRACT FROM AUTHOR]

Online social networks have become major battlegrounds for political campaigns, viral marketing, and the dissemination of news. As a consequence, “bad actors” are increasingly exploiting these platforms, which is a key challenge for their administrators, businesses and society in general. The spread of fake news is a classical example of the abuse of social networks by these bad actors. While some have advocated for stricter policies to control the spread of misinformation in social networks, this often happens in detriment of their democratic and organic structure. In this paper, we aim to limit the influence of a target group in a social network via the removal of a few users/links. We formulate the influence limitation problem in a data-driven fashion, by taking into account past propagation traces. More specifically, our algorithms find critical edges to be removed in order to decrease the influence of a target group based on past data. The idea is to control the diffusion processes while minimizing the amount of disturbance in the network structure. Moreover, we consider two types of constraints over edge removals, a budget constraint and also a, more general, set of matroid constraints. These problems lead to interesting challenges in terms of algorithm design. For instance, we are able to show that influence limitation is APX-hard and propose deterministic and probabilistic approximation algorithms for the budgeted and the matroid version of the problem, respectively. Experiments show that the proposed approaches outperform several baselines. [ABSTRACT FROM AUTHOR]

This paper introduces a novel frequency domain technique to globally evaluate the accuracy of electro-magnetic transient simulations. It is shown that simulation accuracy at low frequencies can sometimes be poorer than at high frequency. A modified approach which quantifies accuracy from a driving point as a function of frequency is also introduced that uses the Bilinear Transformation and Norton equivalents, to produce a “simulation accuracy spectrum”. This approach can be applied to large systems without explicitly forming state space equations. It also permits the accuracy analysis of networks with distributed components such as frequency dependent transmission lines. Two examples are used to verify the proposed technique, a small network with a frequency dependent transmission line modeled by the universal line model; and the IEEE 39 bus system connected with an LCC-HVdc system. [ABSTRACT FROM AUTHOR]

Autonomous vehicles will generate data from the variety of sensors they employ to track the surrounding environment. This data is inherently valuable, as it gives algorithm designers the potential to leverage prior experience in order to improve driving performance over time. This paper uses the lens of autonomous racing to provide an example of how data from previous iterations of driving can be used to improve quantitative metrics of performance. Two complementary algorithms are demonstrated in this paper. The first algorithm uses iterative learning control (ILC) to simultaneously improve lateral and longitudinal tracking of the desired racing trajectory over multiple laps, while the second algorithm is focused on altering the trajectory itself using a search method. When driven experimentally at the limits of handling, the result is a reduction in lap time of nearly 1.4 seconds, a major improvement. [ABSTRACT FROM AUTHOR]

Addressing non-convexity plays a fundamental role in solving the optimal electricity-gas flow models. In this paper, an improved spatial branch-and-bound algorithm is proposed to solve the non-convex problem, which is formulated as a mixed-integer bilinear programming, for its exact solution. The core of the algorithm is to divide the non-convex model into convex and small sub-models by branching on specific continuous variables, so that the non-convex problem can be equivalent to a rooted tree for exploration. The exactness of the algorithm is guaranteed by the same criterion as the classical branch-and-bound algorithm. To alleviate the computational burden, a novel two-stage spatial branching strategy is developed to improve the effectiveness and efficiency of the branching operations. The performance of the proposed algorithm is verified on two integrated electricity-gas systems with different sizes. Numerical results demonstrate that our method achieves a balance among feasibility, optimality, and efficiency. The comparison with another 6 convexification-based methods, 3 state-of-the-art non-convex optimization solvers, and 2 spatial branch-and-bound algorithms with classical branching rules further shows the superiority of our algorithm. [ABSTRACT FROM AUTHOR]

Distributed optimization algorithms for security-constrained economic dispatch (SCED) problems have been the subject of significant research interest in recent years. However, existing distributed SCED algorithms can be ineffective in the presence of malicious participants and inefficient in the absence of a coordinator. On the other hand, blockchain, an emerging technique known as the trust machine, has not shown its potential to address the above challenges in state-of-the-art literature. This paper proposes a blockchain-based distributed SCED algorithm. Using blockchain to form a coordination committee and enable balance among committee members, the proposed method allows the use of hierarchical SCED algorithms in the absence of a coordinator and can disable malicious participants. Numerical results show the robustness and necessity of the proposed blockchain-based SCED algorithm, by comparing the SCED results with and without blockchain. [ABSTRACT FROM AUTHOR]

The Cole model is widely used in bioimpedance spectroscopy (BIS) applications for evaluating the contents and status of biological tissues. Traditional frequency-domain fitting methods for Cole parameter estimation (CPE) often need wideband direct or indirect BIS measurements. The newly emerged time-domain fitting methods do not require BIS measurement, but they usually have unsatisfactory estimation accuracy and heavily rely on some specific excitations. This paper proposes a novel time-domain fitting method based on the fractional operational matrix (FOM) for CPE. First, the Cole model is represented as a FOM-based algebraic equation. Then, the model-based voltage response can be calculated as the product of the sampled current excitation and the FOM-based Cole equation. Finally, the Cole parameter can be estimated by minimizing the sum of squares error between the sampled voltage response and the model-based voltage response using an iterative nonlinear least-squares fitting algorithm. Experimental measurements are verified on three 2R1C circuits and in vivo leg muscle of a healthy volunteer. The results show that the Cole parameter can be accurately estimated by the proposed FOM-based fitting method directly using the sampled current and voltage signals. This paper establishes an effective time-domain fitting method for CPE, which could greatly simplify the hardware and software designs without the need for the BIS measurement. [ABSTRACT FROM AUTHOR]

This paper deals with stabilization of an ideal transformer model (ITM) circuit, used as an interfacing algorithm for hardware-in-the-loop simulations. The ITM allows for the distribution of simulation model computations over multiple processors or can be used in power hardware-in-the-loop simulations. When specific impedance conditions of the partitioned circuit are not met, this interfacing algorithm becomes unstable. This paper first presents a new theoretical approach for representing the ITM interfacing algorithm that is based on delay differential equations. With a stability analysis of the obtained time-delay system, a stabilization method is proposed, which increases the stability boundaries of the ITM algorithm. Simulation examples, including the scenario of a two-level inverter system, are provided. [ABSTRACT FROM AUTHOR]

In this paper, we consider the policy evaluation problem in reinforcement learning with agents on a decentralized and directed network. In order to evaluate the quality of a fixed policy in this decentralized setting, one option is for agents to run decentralized temporal-difference (TD) collaboratively. To account for the practical scenarios where the state and action spaces are large and malicious attacks emerge, we focus on the decentralized TD learning with linear function approximation in the presence of malicious agents (often termed as Byzantine agents). We propose a trimmed mean-based Byzantine-resilient decentralized TD algorithm to perform policy evaluation in this setting. We establish the finite-time convergence rate, as well as the asymptotic learning error that depends on the number of Byzantine agents. Numerical experiments corroborate the robustness of the proposed algorithm. [ABSTRACT FROM AUTHOR]

This paper presents a unified propagation method for dealing with both the classic Eikonal equation, where the motion direction does not affect the propagation, and the more general static Hamilton-Jacobi equations, where it does. While classic Fast Marching Method (FMM) techniques achieve the solution to the Eikonal equation with a O(M log M) (or O(M) assuming some modifications), solving the more general static Hamilton-Jacobi equation requires a higher complexity. The proposed framework maintains the O(M log M) complexity for both problems, while achieving higher accuracy than available state-of-the-art. The key idea behind the proposed method is the creation of ‘mini wave-fronts’, where the solution is interpolated to minimize the discretization error. Experimental results show how our algorithm can outperform the state-of-the-art both in precision and computational cost. [ABSTRACT FROM AUTHOR]

Electric power grids regularly experience uncertain fluctuations from load demands and renewables, which poses a risk of violating operational limits designed to safeguard the system. In this paper, we consider the robust AC OPF problem that minimizes the generation cost while requiring a certain level of system security in the presence of uncertainty. The robust AC OPF problem requires that the system satisfy operational limits for all uncertainty realizations within a specified uncertainty set. Guaranteeing robustness is particularly challenging due to the non-convex, nonlinear AC power flow equations, which may not always have a solution. In this work, we extend a previously developed convex restriction to a robust convex restriction, which is a convex inner approximation of the non-convex feasible region of the AC OPF problem that accounts for uncertainty in the power injections. We then use the robust convex restriction in an algorithm that obtains robust solutions to AC OPF problems by solving a sequence of convex optimization problems. We demonstrate our algorithm and its ability to control robustness versus operating cost trade-offs using PGLib test cases. [ABSTRACT FROM AUTHOR]

With continuing advances in high-performance parallel computing platforms, parallel algorithms have become powerful tools for development of faster than real-time power system dynamic simulations. In particular, it has been demonstrated in recent years that parallel-in-time (Parareal) algorithms have the potential to achieve such an ambitious goal. The selection of a fast and reasonably accurate coarse operator of the Parareal algorithm is crucial for its effective utilization and performance. This paper examines semi-analytical solution (SAS) methods as the coarse operators of the Parareal algorithm and explores performance of the SAS methods to the standard numerical time integration methods. Two promising time-power series-based SAS methods were considered; Adomian decomposition method and Homotopy analysis method with a windowing approach for improving the convergence. Numerical performance case studies on 10-generator 39-bus system and 327-generator 2383-bus system were performed for these coarse operators over different disturbances, evaluating the number of Parareal iterations, computational time, and stability of convergence. All the coarse operators tested with different scenarios have converged to the same corresponding true solution (if they are convergent) and the SAS methods provide comparable computational speed, while having more stable convergence to the true solution in many cases. [ABSTRACT FROM AUTHOR]

The nonlinear programming (NLP) problem to solve distribution-level optimal power flow (D-OPF) poses convergence issues and does not scale well for unbalanced distribution systems. The existing scalable D-OPF algorithms either use approximations that are not valid for an unbalanced power distribution system, or apply relaxation techniques to the nonlinear power flow equations that do not guarantee a feasible power flow solution. In this paper, we propose scalable D-OPF algorithms that simultaneously achieve optimal and feasible solutions by solving multiple iterations of approximate, or relaxed, D-OPF subproblems of low complexity. The first algorithm is based on a successive linear approximation of the nonlinear power flow equations around the current operating point, where the D-OPF solution is obtained by solving multiple iterations of a linear programming (LP) problem. The second algorithm is based on the relaxation of the nonlinear power flow equations as conic constraints together with directional constraints, which achieves optimal and feasible solutions over multiple iterations of a second-order cone programming (SOCP) problem. It is demonstrated that the proposed algorithms are able to reach an optimal and feasible solution while significantly reducing the computation time as compared to an equivalent NLP D-OPF model for the same distribution system. [ABSTRACT FROM AUTHOR]

This paper proposes a new decentralized data-driven load restoration (DDLR) scheme for transmission and distribution (TD) systems with high penetration of wind power. Robust DDLR models are constructed in order to handle uncertainties and ensure the feasibility of decentralized schemes. The Wasserstein metric is used to describe the ambiguity sets of probability distributions in order to build the complete DDLR model and realize computationally tractable formulation. A data-driven model-nested analytical target cascading (DATC) algorithm is developed to obtain the final load restoration result by iteratively solving small-scale mathematical models. The proposed DDLR scheme provides load restoration results with adjustable robustness, and performance efficiency is independent from the amount of data. The DDLR scheme makes full use of the available data while respecting information privacy requirements of independent operated systems, and ensures the feasibility of a decentralized load restoration strategy even in the worst-case condition. The effectiveness of the proposed method is validated using a small-scale TD system and a large-scale system with the IEEE 118-bus TS and thirty IEEE-33 DSs, showing high computational efficiency and superior restoration performance. [ABSTRACT FROM AUTHOR]

With the introduction of massive renewable energy sources and storage devices, the traditional process of grid operation must be improved in order to be safe, reliable, fast responsive and cost efficient, and in this regard power flow solvers are indispensable. In this paper, we introduce an Interior Point-based (IP) Multi-Period AC Optimal Power Flow (MPOPF) solver for the integration of Stationary Energy Storage Systems (SESS) and Electric Vehicles (EV). The primary methodology is based on: 1) analytic and exact calculation of partial differential equations of the Lagrangian sub-problem, and 2) exploiting the sparse structure and pattern of the coefficient matrix of Newton-Raphson approach in the IP algorithm. Extensive results of the application of proposed methods on several benchmark test systems are presented and elaborated, where the advantages and disadvantages of different existing algorithms for the solution of MPOPF, from the standpoint of computational efficiency, are brought forward. We compare the computational performance of the proposed Schur-Complement algorithm with a direct sparse LU solver. The comparison is performed for two different applicational purposes: SESS and EV. The results suggest the substantial computational performance of Schur-Complement algorithm in comparison with that of a direct LU solver when the number of storage devices and optimisation horizon increase for both cases of SESS and EV. Also, some situations where computational performance is inferior are discussed. [ABSTRACT FROM AUTHOR]

To improve the accuracy of faulty feeder selection based on zero sequence current mutation, distribution networks with inverter-interfaced distributed generators (IIDGs) are analyzed in detail. It is found that the IIDGs cannot be completely equivalent to a positive sequence current source due to their boosting increments. Thereby, a more accurate IIDG current estimation model based on the Gauss-Seidel method that considers the control strategy at the moment of fault is established. Moreover, a real-time estimation algorithm is introduced for faulty feeder detection to adjust the compensation degree of the Petersen coil. On this basis, this paper proposes a novel faulty feeder detection approach using the zero-sequence current space relative distance between the increments of each feeder and an estimation of the faulty path generated by Kalman filtering (KAF). The feasibility of the proposed approach is demonstrated in both a PSCAD/EMTDC simulation and a MATLAB experimental laboratory. The test results indicate that the proposed approach can achieve a high speed when employed for different fault conditions. [ABSTRACT FROM AUTHOR]

In this paper a statistical modeling, based on stochastic differential equations (SDEs), is proposed for retinal Optical Coherence Tomography (OCT) images. In this method, pixel intensities of image are considered as discrete realizations of a Levy stable process. This process has independent increments and can be expressed as response of SDE to a white symmetric alpha stable (s $\boldsymbol {\alpha }\text{s}$) noise. Based on this assumption, applying appropriate differential operator makes intensities statistically independent. Mentioned white stable noise can be regenerated by applying fractional Laplacian operator to image intensities. In this way, we modeled OCT images as s $\boldsymbol {\alpha }\text{s}$ distribution. We applied fractional Laplacian operator to image and fitted s $\boldsymbol {\alpha }\text{s}$ to its histogram. Statistical tests were used to evaluate goodness of fit of stable distribution and its heavy tailed and stability characteristics. We used modeled s $\boldsymbol {\alpha }\text{s}$ distribution as prior information in maximum a posteriori (MAP) estimator in order to reduce the speckle noise of OCT images. Such a statistically independent prior distribution simplified denoising optimization problem to a regularization algorithm with an adjustable shrinkage operator for each image. Alternating Direction Method of Multipliers (ADMM) algorithm was utilized to solve the denoising problem. We presented visual and quantitative evaluation results of the performance of this modeling and denoising methods for normal and abnormal images. Applying parameters of model in classification task as well as indicating effect of denoising in layer segmentation improvement illustrates that the proposed method describes OCT data more accurately than other models that do not remove statistical dependencies between pixel intensities. [ABSTRACT FROM AUTHOR]

This paper presents a unified power flow algorithm for large and complex mixed ac/dc power systems based on the partitioning of power grids, a version of the two-level Newton method, and the modified nodal analysis formulation. Partitioning significantly increases numerical efficiency without altering the accuracy of the power flow solution. This approach can be applied to any combination of multiple dc and possibly non-synchronized ac systems. It considers the steady-state interaction of ac and dc systems for a wide range of converter representations and control functions. Simplification of elements within the converter stations is not required. Both dc and ac-side converter losses are adequately accounted for by using a generalized converter loss model. The steady-state converter equations are derived in their most general form, with the ac and/or dc-side power exchange or voltages defined as controlled quantities. [ABSTRACT FROM AUTHOR]

Dynamic battery modeling uncertainties, even if low, may lead to significant performance degradation or even divergence of the state-of-charge estimation algorithm. This paper investigates the integration of the extended-Kalman-filter with the smooth-variable-structure-filter algorithms for state-of-charge estimation of lithium-ion batteries. The robustness of the presented approach to modeling uncertainty is assessed for batteries operating in highly dynamic environments. The presented approach combines the benefit of the smooth- variable-structure-filter in its robustness to model uncertainty with the benefit of the extended-Kalman-filter in its near-optimality for a given dynamics and measurement noise sequences. The algorithm is rigorously tested using various datasets including standardrized and artificial drive cycles with added dynamics. The drive cycle power profile is calculated for an electric Ford F150 truck and scaled for the 18650PF cell used in the tests. Experimental validation is performed by investigating four different scenarios in which knowledge of the initial conditions as well as accuracy of the battery model were varied. The results demonstrate a substantially enhanced estimation accuracy achieved by the adopted approach through its optimality to measurement and model noise as well as its robustness to model uncertainty. The adopted approach results in a reduction in the complexity of the state-of-charge control algorithm and therefore enhances the battery management system. [ABSTRACT FROM AUTHOR]

Unmanned Aerial Vehicle (UAV) or drone, is an evolving technology in today's market with an enormous number of applications. Mini UAVs are developed in order to compensate the performance constraints imposed by larger UAVs during emergency situations. Multiple mini autonomous UAVs require communication and coordination for ubiquitous coverage and relaying during deployment. Multi-UAV coordination or swarm optimization is required for reliable connectivity among UAVs, due to its high mobility and dynamic topology. In this paper, a Secured UAV (S-UAV) model is proposed which takes the location of the UAVs as inputs to form a Wireless Mesh Network (WMN) among multiple drones with the help of a centralized controller. After WMN formation, efficient communication takes place using A* search, an intelligent algorithm that finds the shortest communication path among UAVs. Further, the S-UAV model utilizes cryptographic techniques such as Advanced Encryption Standard (AES) and Blowfish to overcome the security attacks efficiently. Simulation results show that the S-UAV model offers higher throughput, reduced power consumption and guaranteed message transmission with reduced encryption and decryption time. [ABSTRACT FROM AUTHOR]

Grayscale mask creation has for the most part been restricted to over-simplified optical and resist models usually based on a contrast curve approach. While this technique has proven to work for microstructures of large dimensions (ten to hundreds of micrometers), its capability has not been assessed for microstructures with smaller dimensions. In this paper, a rigorous lithographic model has been developed in Python to simulate the process of imaging, exposure and development of an i-line photoresist. Using this model, a mask data preparation algorithm capable of optimizing simultaneously both the size and position of the dots on a grayscale mask has been implemented. Experimental results after development of the photoresist confirm the capability of our mask data preparation algorithm to achieve microstructures with dimensions ranging between 1 to 3 μm. [2021-0018] [ABSTRACT FROM AUTHOR]

Alternating direction method of multipliers (ADMM) is an efficient implementation of linear programming (LP) decoding for low-density parity-check (LDPC) codes. By adding penalty terms to the objective function of the LP decoding model, ADMM variable node (VN) penalized decoding can suppress the non-integral solutions and improve the frame error rate (FER) performance in the low signal-to-noise ratio (SNR) region. In this paper, we propose a novel ADMM check node (CN) penalized decoding algorithm. Codeword solutions which satisfy all parity-check equations will have smaller penalty values than non-codeword solutions, including the non-integral solutions. We discuss the required properties of CN-penalty functions, propose a few functions that satisfy those properties, and study their performance/complexity trade-offs. We also investigate the convergence properties of the proposed algorithm and prove that its performance is independent of the transmitted codeword. Using Monte Carlo simulations and instanton analysis, we then demonstrate that the proposed CN-penalized decoder outperforms ADMM VN penalized decoders in both waterfall and error floor regions. This comes at the expense of some increase in the decoding complexity. [ABSTRACT FROM AUTHOR]

Underwater environments create a challenging channel for communications. In this paper, we design a novel receiver system by exploring the machine learning technique–Deep Belief Network (DBN) – to combat the signal distortion caused by the Doppler effect and multi-path propagation. We evaluate the performance of the proposed receiver system in both simulation experiments and sea trials. Our proposed receiver system comprises of DBN based de-noising and classification of the received signal. First, the received signal is segmented into frames before the each of these frames is individually pre-processed using a novel pixelization algorithm. Then, using the DBN based de-noising algorithm, features are extracted from these frames and used to reconstruct the received signal. Finally, DBN based classification of the reconstructed signal occurs. Our proposed DBN based receiver system does show better performance in channels influenced by the Doppler effect and multi-path propagation with a performance improvement of 13.2dB at 10−3 Bit Error Rate (BER). [ABSTRACT FROM AUTHOR]

For a hybrid ac/dc power system incorporating voltage source converter-based multi-terminal direct current (VSC-MTDC) grids, it is essential to solve the power flow problems efficiently for reliable operation. This paper presents an efficient ac/dc power flow algorithm considering the complementary constraints of VSC's reactive power limit and ac node voltage. It can be distinguished from the existing works in terms of both modeling and algorithm aspects. First, the VSC model is formulated, in which the interactions between the reactive power limit and the ac node voltage of VSC are viewed as complementary relations. The complementary relations are expressed using a smooth Fischer-Burmeister function. Then, power flow models of the ac grid and dc grid with a constant Jacobian matrix are formulated based on the VSC model, respectively. To efficiently solve the power flow of an ac/dc grid, the structure characteristic of the Jacobian matrix of ac/dc power flow computation is analyzed. It shows that the Jacobian matrix can be approximated as a block-upper triangular one. Based on this characteristic, a decoupled ac/dc power flow computation algorithm is provided. Test results on two hybrid ac/dc systems under different scenarios validate the correctness, convergence, and efficiency of the proposed power flow algorithm. [ABSTRACT FROM AUTHOR]

For the quantitative applications of the Suomi National Polar-orbiting Partnership (SNPP) Advanced Technology Microwave Sounder (ATMS), the geolocation accuracy of its sensor data records must be quantified during its on-orbit operation. In this paper, a refined coastline inflection point method is used to evaluate the on-orbit geolocation accuracy of SNPP ATMS. It is disclosed that for SNPP ATMS, the static error term with scan-angle-dependent feature is a dominant part among all the geolocation error sources. A mathematical model is then developed to convert the in-track and cross-track geolocation errors to the beam pointing Euler angles defined in the spacecraft coordinate system, which can be further used to construct the correction matrix for on-orbit geolocation process. By using the correction matrix built in this paper, the geolocation error is obviously reduced both at nadir and at the edge of the scan. The total geolocation error at nadir before/after correction is 3.8/0.8 km at K-band, 5.6/0.8 km at Ka-band, 3.3/0.4 km at V-band, and 1.5/0.1 km at W-band. The geolocation bias at the edge of the scan line before/after correction is 4.6/1.3 km at K-band, 9.4/1.8 km at Ka-band, 4.4/2.4 km at V-band, and 3.2/0.8 km at W-band. After correction, the scan-angle-dependent feature in geolocation error is also largely reduced. [ABSTRACT FROM AUTHOR]

Avionics and air traffic management (ATM) systems are evolving with the introduction of progressively higher levels of automation, toward attaining the ambitious operational, technical, and safety enhancements required to sustain the present growth of global air traffic. This paper presents novel 4-Dimensional Trajectory (4DT) functionalities that are being developed for integration in ATM and avionics systems to support trajectory based operations (TBO). The 4DT planning process, which is the main focus of the paper, is supported by a custom multiobjective variant of state-of-the-art optimal control algorithms, incorporating various operational, economic, and environmental factors. Capitalizing on the higher theoretical accuracy offered by optimal control algorithms compared to other methods, a key feature of the proposed approach is the introduction of a postprocessing stage to ensure that the mathematically optimal trajectories are translated into a set of standardized 4DT descriptors, which can be flown by state-of-the-art automatic flight control systems. Additionally, to support air-ground 4DT intent negotiation and validation in the TBO context, the 4DT postprocessing ensures that optimal trajectories are synthetically described by a limited number of parameters, minimizing the bandwidth requirements imposed on airborne data links. Simulation-based verification activities addressing operational efficiency improvements and computational performance in the terminal area ATM context support the viability of the proposed 4DT planning functionality for online tactical TBO. [ABSTRACT FROM AUTHOR]

This paper investigates the use of large-scale wayside energy storage to reduce operational costs of ac electric traction power networks. This paper also introduces a method of estimating the battery capacity, based on manufacturer's charging and discharging specifications. The battery model is simple and easy to incorporate into load flow simulation algorithms. The concept and the battery model are validated through a feasibility study within Aurizon's heavy haul electric railway network. [ABSTRACT FROM AUTHOR]

Inclusion of power electronics allows increased controllability and stability in power systems. The simulation of such systems on a large-scale is challenging due to the presence of a large number of switches and nonlinear devices. This paper presents an advanced simulation algorithm to solve the aforementioned problem. The algorithm considers separation of differential algebraic equations (DAEs) on the basis of numerical stiffness and applies hybrid discretization algorithms to simulate the DAEs. The DAEs, in this paper, represent the nonlinear nonautonomous switched system dynamics of power systems. Stability analysis is performed on a general class of nonlinear nonautonomous switched systems to show the constraints under which the proposed algorithm is stable. To show the validity of the proposed algorithm, two case studies are considered: 1) single high-voltage direct current (HVdc) substation based on the modular multilevel converter (MMC); and 2) an example three-terminal MMC-HVdc system. Relaxation techniques are introduced to create a stable interface for the separated DAEs. The developed algorithms are also validated with PSCAD/EMTDC-detailed reference models. [ABSTRACT FROM AUTHOR]

Bar-plate configuration has a vital function in the intensive study of corona discharge mechanism. To study the discharge characteristics of the steady current stage in this configuration, this paper proposes a hybrid numerical algorithm composed by the finite-element method and the finite-volume method. The former solves Poisson’s equation and calculates the value of onset field intensity. The latter solves the current continuity equation, in which a time-varying charge item is added. This charge item can increase the stability of the hybrid algorithm. This paper also proposes a new selection strategy for the initial charge and inception voltage on the bar electrode surface. Based on this algorithm, corona current under different electrode radii, gap distances, and applied voltages was calculated. In this way, the distribution characteristics of an electric field intensity and space charge density along the whole gap in the model can be obtained through the experiment. To verify the validity of the algorithm, the related experiment is carried out in the laboratory. The simulation results have a good consistency with the experimental results, verifying the validity of the algorithm proposed in this paper. [ABSTRACT FROM AUTHOR]

Simultaneous localization and planning (SLAP) is a crucial ability for an autonomous robot operating under uncertainty. In its most general form, SLAP induces a continuous partially observable Markov decision process (POMDP), which needs to be repeatedly solved online. This paper addresses this problem and proposes a dynamic replanning scheme in belief space. The underlying POMDP, which is continuous in state, action, and observation space, is approximated offline via sampling-based methods, but operates in a replanning loop online to admit local improvements to the coarse offline policy. This construct enables the proposed method to combat changing environments and large localization errors, even when the change alters the homotopy class of the optimal trajectory. It further outperforms the state-of-the-art Feedback-based Information RoadMap (FIRM) method by eliminating unnecessary stabilization steps. Applying belief space planning to physical systems brings with it a plethora of challenges. A key focus of this paper is to implement the proposed planner on a physical robot and show the SLAP solution performance under uncertainty, in changing environments and in the presence of large disturbances, such as a kidnapped robot situation. [ABSTRACT FROM AUTHOR]

Autonomous driving technologies can provide greater safety, comfort, and efficiency for future transportation systems. Until now, much of the research effort has been devoted to developing different sensing and control algorithms. However, there has been limited research on how to handle sensor errors efficiently. A simple error in the sensor may lead to an unexpected failure in the whole autonomous driving function. In those cases, the vehicle is then recommended to be sent back to the manufacturer for repair, which costs time and money. This paper introduces an efficient automatic online sensor correction method. The method includes four major functions: sensor error detection, human teaching, vehicle learning, and vehicle self-evaluation. The first function is assumed to be ready and the major contribution of this paper is the human-vehicle teaching and learning framework, which utilizes human-vehicle interaction to collaboratively adjust the parameter in the control model in order to compensate for the errors of the sensors. The self-evaluation function is also briefly introduced. The applications of this method to radar and vision sensors to recover adaptive cruise control and lane keeping functions are introduced in detail. Experimental results acquired from high-fidelity 1/10-scale autonomous driving vehicles illustrate the effectiveness and advantages of the proposed approach. [ABSTRACT FROM AUTHOR]

Torque safety is one of the key elements of functional safety for future automobile development. For drive-by-wire systems that are commonly used in modern vehicles, pedal signals are critical for the vehicle supervisory controller to generate appropriate torque request to the powertrain, in order to keep the vehicle speed as desired. Problems with pedals or pedal sensors will result in incorrect torque request sent to the drivetrain, possibly resulting in torque safety problems, such as sudden unintended acceleration. This paper proposes a fault detection and isolation strategy based on structural analysis as well as fault mitigation methods for torque safety of drive-by-wire systems, with focus on pedal mechanical stiction fault and pedal sensor faults. Before the diagnostic strategy is designed, fault modeling for these two types of faults are introduced to assist the design of diagnostic tests. In addition, for pedal mechanical stiction fault, this paper introduces an effective approach to calibrate the thresholds in the fault diagnostic system in order to achieve the desired tradeoff between false alarm rate and detection delay. The detection and mitigation strategies are calibrated and validated through model-in-the-loop and hardware-in-the-loop simulations using realistic pedal profiles from the testing results of the EcoCAR2 prototype vehicle developed at the authors’ institution. [ABSTRACT FROM AUTHOR]

The use of aerial swarms to solve real-world problems has been increasing steadily, accompanied by falling prices and improving performance of communication, sensing, and processing hardware. The commoditization of hardware has reduced unit costs, thereby lowering the barriers to entry to the field of aerial swarm robotics. A key enabling technology for swarms is the family of algorithms that allow the individual members of the swarm to communicate and allocate tasks amongst themselves, plan their trajectories, and coordinate their flight in such a way that the overall objectives of the swarm are achieved efficiently. These algorithms, often organized in a hierarchical fashion, endow the swarm with autonomy at every level, and the role of a human operator can be reduced, in principle, to interactions at a higher level without direct intervention. This technology depends on the clever and innovative application of theoretical tools from control and estimation. This paper reviews the state of the art of these theoretical tools, specifically focusing on how they have been developed for, and applied to, aerial swarms. Aerial swarms differ from swarms of ground-based vehicles in two respects: they operate in a three-dimensional space and the dynamics of individual vehicles adds an extra layer of complexity. We review dynamic modeling and conditions for stability and controllability that are essential in order to achieve cooperative flight and distributed sensing. The main sections of this paper focus on major results covering trajectory generation, task allocation, adversarial control, distributed sensing, monitoring, and mapping. Wherever possible, we indicate how the physics and subsystem technologies of aerial robots are brought to bear on these individual areas. [ABSTRACT FROM AUTHOR]

Suppose that ${ { y}}= \lvert \text {A} { x}_{0}\rvert +\eta $ where ${ x}_{0}\in {\mathbb R} ^{{d}}$ is the target signal and $\eta \in {\mathbb R}^{{m}}$ is a noise vector. The aim of phase retrieval is to estimate ${x}_{0}$ from ${ { y}}$. A popular model for estimating ${ x}_{0}$ is the nonlinear least squares ${\widehat { {x}}}:={\mathrm{ argmin}}_{ x} \| \lvert \text {A} { x}\rvert - { { y}}\|_{2}$. One has already developed many efficient algorithms for solving the model, such as the seminal error reduction algorithm. In this paper, we present the estimation performance of the model with proving that $\| {\widehat { {x}}}- { x}_{0}\|\lesssim {\|\eta \|_{2}}/{\sqrt {{m}}}$ under the assumption of A being a Gaussian random matrix. We also prove the reconstruction error ${\|\eta \|_{2}}/{\sqrt {{m}}}$ is sharp. For the case where ${ x}_{0}$ is sparse, we study the estimation performance of both the nonlinear Lasso of phase retrieval and its unconstrained version. Our results are non-asymptotic, and we do not assume any distribution on the noise $\eta $. To the best of our knowledge, our results represent the first theoretical guarantee for the nonlinear least squares and for the nonlinear Lasso of phase retrieval. [ABSTRACT FROM AUTHOR]

In this paper, a novel adaptive dynamic programming (ADP) algorithm is developed for the infinite-horizon ($H_{\infty}$) optimal control problems with unknown continuous-time (CT) nonlinear systems subject to external disturbances. To facilitate the implementation of the algorithm, generalized fuzzy hyperbolic models (GFHMs) are utilized to establish an identifier–critic architecture, where the identifier is designed to reconstruct the unknown system dynamics, and the GFHM-based critic network is employed to approximate the value functions. The CT $H_{\infty}$ optimal control issue is converted into a two-player zero-sum game and the corresponding Hamilton–Jacobi–Isaacs equation is derived. The learning procedure of the critic design is adaptively implemented with the help of the reconstructed model, thus the requirement of the complete system dynamics is relaxed. Furthermore, by the means of Lyapunov direct method, the uniform ultimate boundedness stability analysis of the closed-loop control system is explicitly provided. Finally, to compare the control performances and disturbance attenuation properties of the proposed method and the existing ADP algorithms, two numerical examples are given. [ABSTRACT FROM AUTHOR]

A method to find the minimized state machine cover of live and safe Petri nets (PNs) is proposed in this paper. It is required that a cover be obtained in some implementation methods of PN-based control algorithms and other applications such as data mining. Most of the known methods of its computation have at least exponential time and space complexity; this is true not only for the methods which guarantee a minimal cover is obtained but also for some methods of finding approximate solutions. The proposed algorithm is an approximation algorithm and has polynomial computational complexity. The experimental verification shows a very high efficiency of the presented technique. The proposed method is especially valuable in the case of large systems where a solution is obtained hundreds of times quicker than by other methods. [ABSTRACT FROM AUTHOR]

The demand for faster protection algorithms is growing due to the increasingly faster dynamics in the system. The majority of existing algorithms require empirically selected set-points, which may reduce sensitivity to internal faults and cause security problems. This paper addresses these challenges by proposing a settingless time-domain unit protection algorithm for medium-voltage lines. The main idea of the algorithm is to identify which model of a protected line, i.e. healthy or with an internal fault, is more consistent with the input measurements. This is done by solving a number of small-scale convex optimization problems, which at the same time determine the characteristics of an internal fault that best fit the measurements. Thus, the proposed algorithm merges protection, fault location, and fault type identification functionalities. The algorithm's performance is extensively tested on a small grid model in MATLAB Simulink and on the IEEE 34-bus distribution grid in EMTP-RV for different types of generation and grid operating conditions. The results demonstrate that the algorithm can operate quickly and reliably, and accurately estimate fault characteristics even in the presence of noisy measurements, non-ideal communication network conditions and the mismatch in the line model assumed by the algorithm and the model utilized for grid simulations. [ABSTRACT FROM AUTHOR]

Multi-terminal HVDC systems equipped with multiple DC breakers require a protection system that selectively detects faults within a few milliseconds. In the development and application of such protection algorithms, time-domain simulation studies of various faults are essential when determining the setting and verifying the performance. However, when such protections are applied in practice, it should be expected that the models will not perfectly represent the behavior of the real system or transmission line, thereby possibly causing protections to operate unreliably. This paper presents a simulation process that evaluates the consequences for a protection algorithm when the transmission line parameters are varied. More specifically, the false differential current due to cable model parameter errors is evaluated in a traveling-wave differential protection applied in a multi-terminal HVDC system during an external fault. The purpose is to identify the most critical parameters and evaluate how inaccuracies influence the protection performance when applied in practice. It is shown that the parameters which significantly influence the propagation delay are critical for achieving the ideal performance – a strictly zero differential current during external faults. [ABSTRACT FROM AUTHOR]

Precise positioning of a robot plays an very important role in advanced industrial applications, and this paper presents a new kinematic calibration method based on the extended Kalman filter (EKF) and particle filter (PF) algorithm that can significantly improves the positioning accuracy of the robot. Kinematic and its error models of a robot are established, and its kinematic parameters are identified by using the EKF algorithm first. But the EKF algorithm has a kind of linear truncation error and it is useful for the Gauss noise system in general, so its identified accuracy will be affected for the highly nonlinear robot kinematic system with a non-Gauss noise system. The PF algorithm can solve this with non-Gauss noise and a high nonlinear problem well, but its calibration accuracy and efficiency are affected by the prior distribution of the initial values. Therefore, this paper proposes to use the calibration value of the EKF algorithm as the prior value of the PF algorithm, and then, the PF algorithm is used further to calibrate the kinematic parameters of the robot. Enough experiments have been carried out, and the experimental results validated the viability of the proposed method with the robot positioning accuracy improved significantly. [ABSTRACT FROM AUTHOR]

Simulated ultrasound data is a valuable tool for development and validation of quantitative image analysis methods in echocardiography. Unfortunately, simulation time can become prohibitive for phantoms consisting of a large number of point scatterers. The COLE algorithm by Gao et al. is a fast convolution-based simulator that trades simulation accuracy for improved speed. We present highly efficient parallelized CPU and GPU implementations of the COLE algorithm with an emphasis on dynamic simulations involving moving point scatterers. We argue that it is crucial to minimize the amount of data transfers from the CPU to achieve good performance on the GPU. We achieve this by storing the complete trajectories of the dynamic point scatterers as spline curves in the GPU memory. This leads to good efficiency when simulating sequences consisting of a large number of frames, such as B-mode and tissue Doppler data for a full cardiac cycle. In addition, we propose a phase-based subsample delay technique that efficiently eliminates flickering artifacts seen in B-mode sequences when COLE is used without enough temporal oversampling. To assess the performance, we used a laptop computer and a desktop computer, each equipped with a multicore Intel CPU and an NVIDIA GPU. Running the simulator on a high-end TITAN X GPU, we observed two orders of magnitude speedup compared to the parallel CPU version, three orders of magnitude speedup compared to simulation times reported by Gao et al. in their paper on COLE, and a speedup of 27000 times compared to the multithreaded version of Field II, using numbers reported in a paper by Jensen. We hope that by releasing the simulator as an open-source project we will encourage its use and further development. [ABSTRACT FROM AUTHOR]

The problem of allocating limited resources to maintain components of a multicomponent system, known as selective maintenance, is naturally formulated as a high-dimensional Markov decision process (MDP). Unfortunately, these problems are difficult to solve exactly for realistically sized systems. With this motivation, we contribute an approximate dynamic programming (ADP) algorithm for solving the selective maintenance problem for a series–parallel system with binary-state components. To the best of our knowledge, this paper describes the first application of ADP to maintain multicomponent systems. Our ADP is compared, using a numerical example from the literature, against exact solutions to the corresponding MDP. We then summarize the results of a more comprehensive set of experiments that demonstrate the ADP's favorable performance on larger instances in comparison to both the exact (but computationally intensive) MDP approach and the heuristic (but computationally faster) one-step-lookahead approach. Finally, we demonstrate that the ADP is capable of solving an extension of the basic selective maintenance problem in which maintenance resources are permitted to be shared across stages. [ABSTRACT FROM AUTHOR]