arXiv Science⌕ Search

arXiv subjects

Yang Shi

Publications and source records attributed to Yang Shi.

At least 199 records · Page 11Linked to original sources
arXiv2019

Two variations on $(A_3\times A_1\times A_1)^{(1)}$ type discrete Painlevé equations

By considering the normalizers of reflection subgroups of types $A_1^{(1)}$ and $A_3^{(1)}$ in $\widetilde{W}\left(D_5^{(1)}\right)$, two normalizers: $\widetilde{W}\left(A_3\times A_1\right)^{(1)}\ltimes {W}(A_1^{(1)})$ and $\widetilde{W}\left(A_1\times A_1\right)^{(1)}\ltimes {W}(A_3^{(1)})$ can be constructed from a $(A_{3}\times A_1\times A_1)^{(1)}$ type subroot system. These two symmetries arose in the studies of discrete \Pa equations \cite{KNY:2002, Takenawa:03, OS:18}, where certain non-translational elements of infinite order were shown to give rise to discrete \Pa equations. We clarify the nature of these elements in terms of Brink-Howlett theory of normalizers of Coxeter groups \cite{BH}. This is the first of a series of studies which investigates the properties of discrete integrable equations via the theory of normalizers.

math-ph↗
arXiv2019

Connectivity-Preserving Swarm Teleoperation With A Tree Network

During swarm teleoperation, the human operator may threaten the distance-dependent inter-robot communications and, with them, the connectivity of the slave swarm. To prevent the harmful component of the human command from disconnecting the swarm network, this paper develops a constructive strategy to dynamically modulate the interconnections of, and the locally injected damping at, all slave robots. By Lyapunov-based set invariance analysis, the explicit law for updating that control gains has been rigorously proven to synchronize the slave swarm while preserving all interaction links in the tree network. By properly limiting the impact of the user command rather than rejecting it entirely, the proposed control law enables the human operator to guide the motion of the slave swarm to the extent to which it does not endanger the connectivity of the swarm network. Experiment results demonstrate that the proposed strategy can maintain the connectivity of the tree network during swarm teleoperation.

math.OC↗
arXiv2019

Dynamic Interconnection and Damping Injection for Input-to-State Stable Bilateral Teleoperation

In bilateral teleoperation, the human who operates the master and the environment which interacts with the slave are part of the force feedback loop. Yet, both have time-varying and unpredictable dynamics and are challenging to model. A conventional strategy for sidestepping the demand for their models in the stability analysis is to assume passive user and environment, and to control the master-communications-slave system to be passive as well. This paper circumvents the need to model the user and environment in a novel way: it regards their forces as external excitations for a semi-autonomous force feedback loop, which it outfits with a dynamic interconnection and damping injection controller that renders bilateral teleoperation with time-varying delays exponentially input-to-state stable. The controller uses the position and velocity measurements of the local robot and the delayed position transmitted from the other robot to robustly synchronize the master and slave under the user and environment perturbations. Lyapunov-Krasovskii stability analysis shows that the proposed strategy (i) can confine the position error between the master and slave to an invariant set, and (ii) can drive it exponentially to a globally attractive set. Thus, the dynamic interconnection and damping injection approach has practical relevance for telemanipulation tasks with given precision requirements.

math.OC↗
arXiv2019

Metaflow: A DAG-Based Network Abstraction for Distributed Applications

In the past decade, increasingly network scheduling techniques have been proposed to boost the distributed application performance. Flow-level metrics, such as flow completion time (FCT), are based on the abstraction of flows yet they cannot capture the semantics of communication in a cluster application. Being aware of this problem, coflow is proposed as a new network abstraction. However, it is insufficient to reveal the dependencies between computation and communication. As a result, the real application performance can be hurt, especially in the absence of hard barriers. Based on the computation DAG of the application, we propose an expressive abstraction namely metaflow that resides in the middle of the two extreme points of flows and coflows. Evaluation results show that metaflow-based scheduling can outperform the coflow-based algorithm by 1.78x.

cs.NI↗
arXiv2018

Deep neural network based i-vector mapping for speaker verification using short utterances

Text-independent speaker recognition using short utterances is a highly challenging task due to the large variation and content mismatch between short utterances. I-vector based systems have become the standard in speaker verification applications, but they are less effective with short utterances. In this paper, we first compare two state-of-the-art universal background model training methods for i-vector modeling using full-length and short utterance evaluation tasks. The two methods are Gaussian mixture model (GMM) based and deep neural network (DNN) based methods. The results indicate that the I-vector_DNN system outperforms the I-vector_GMM system under various durations. However, the performances of both systems degrade significantly as the duration of the utterances decreases. To address this issue, we propose two novel nonlinear mapping methods which train DNN models to map the i-vectors extracted from short utterances to their corresponding long-utterance i-vectors. The mapped i-vector can restore missing information and reduce the variance of the original short-utterance i-vectors. The proposed methods both model the joint representation of short and long utterance i-vectors by using autoencoder. Experimental results using the NIST SRE 2010 dataset show that both methods provide significant improvement and result in a max of 28.43% relative improvement in Equal Error Rates from a baseline system, when using deep encoder with residual blocks and adding an additional phoneme vector. When further testing the best-validated models of SRE10 on the Speaker In The Wild dataset, the methods result in a 23.12% improvement on arbitrary-duration (1-5 s) short-utterance conditions.

eess.AS↗
arXiv2018

Question Type Guided Attention in Visual Question Answering

Visual Question Answering (VQA) requires integration of feature maps with drastically different structures and focus of the correct regions. Image descriptors have structures at multiple spatial scales, while lexical inputs inherently follow a temporal sequence and naturally cluster into semantically different question types. A lot of previous works use complex models to extract feature representations but neglect to use high-level information summary such as question types in learning. In this work, we propose Question Type-guided Attention (QTA). It utilizes the information of question type to dynamically balance between bottom-up and top-down visual features, respectively extracted from ResNet and Faster R-CNN networks. We experiment with multiple VQA architectures with extensive input ablation studies over the TDIUC dataset and show that QTA systematically improves the performance by more than 5% across multiple question type categories such as "Activity Recognition", "Utility" and "Counting" on TDIUC dataset. By adding QTA on the state-of-art model MCB, we achieve 3% improvement for overall accuracy. Finally, we propose a multi-task extension to predict question types which generalizes QTA to applications that lack of question type, with minimal performance loss.

cs.CV↗
arXiv2018

Bounded Connectivity-Preserving Coordination of Networked Euler-Lagrange Systems

This paper derives sufficient conditions for bounded distributed connectivity-preserving coordination of Euler-Lagrange systems with only position measurements and with system uncertainties, respectively. The paper proposes two strategies that suitably scale conventional gradient-based controls to account for the actuation bounds and to reserve sufficient actuation for damping injection. For output feedback control of networked systems with only position measurements, the paper incorporates a first-order filter to estimate velocities and to inject damping for stability. For networks of uncertain systems, the paper augments conventional linear filter-based adaptive compensation with damping injection to maintain the local connectivity of the network. Analyses based on monotonically decreasing Lyapunov-like functions and Barbalat's lemma lead to sufficient conditions for bounded local connectivity-preserving coordination of Euler-Lagrange networks under the two strategies. The sufficient conditions clarify the interrelationships among the bounded actuations, initial system velocities and initial inter-system distances. Simulation results validate these conditions.

math.OC↗
arXiv2018

Connectivity-Preserving Consensus of Multi-Agent Systems with Bounded Actuation

This paper investigates the impact of bounded actuation on the connectivity-preserving consensus of two classes of multi-agent systems, with kinematic agents and with Euler- Lagrange agents. The investigation establishes that: (1) there exists a class of gradient-based controls which drive kinematic multi-agent systems to connectivity-preserving consensus even if they saturate; (2) actuator saturation restricts the initial states from which Euler-Lagrange multi-agent systems can be synchronized while preserving their local connectivity; (3) Euler-Lagrange multi-agent systems with unbounded actuation can achieve connectivity-preserving consensus without velocity measurements or exact system dynamics; and (4) a proposed indirect coupling control strategy drives Euler-Lagrange multi-agent systems with limited actuation and starting from rest to connectivitypreserving consensus without requiring velocity measurements and including in the presence of uncertain dynamics and timevarying delays.

math.OC↗
arXiv2018

Connectivity-Preserving Coordination Control of Multi-Agent Systems with Time-Varying Delays

This paper presents a distributed position synchronization strategy that also preserves the initial communication links for single-integrator multi-agent systems with time-varying delays. The strategy employs a coordinating proportional control derived from a specific type of potential energy, augmented with damping injected through a dynamic filter. The injected damping maintains all agents within the communication distances of their neighbours, and asymptotically stabilizes the multi-agent system, in the presence of time delays. Regarding the closed-loop single-integrator multi-agent system as a double-integrator system suggests an extension of the proposed strategy to connectivity-preserving coordination of Euler-Lagrange networks with time-varying delays. Lyapunov stability analysis and simulation results validate the two designs.

math.OC↗
arXiv2018

Globally Stable Output Feedback Synchronization of Teleoperation with Time-Varying Delays

This paper presents a globally stable teleoperation control strategy for systems with time-varying delays that eliminates the need for velocity measurements through novel augmented Immersion and Invariance velocity observers. The new observers simplify a recent constructive Immersion and Invariance velocity observer to achieve globally convergent velocity estimation with only $n+2$ states, where $n$ is the number of degrees of freedom of the master and slave robots. They introduce dynamic scaling factors to accelerate the speed of convergence of the velocity estimates and, thus, to limit the energy generated by the velocity estimation errors and to guarantee sufficient estimate-based damping injection to dissipate the energy generated by the time-varying delays. The paper shows that Proportional plus damping control with the simplified and augmented Immersion and Invariance-based velocity observers can synchronize the free master and slave motions in the presence of time-varying delays without using velocity measurements. Numerical results illustrate the estimation performance of the new observers and the stability of a simulated two degrees-of-freedom nonlinear teleoperation system with time-varying delays under the proposed output feedback Proportional plus damping control.

eess.SY↗
arXiv2017

Geometric description of discrete power function associated with the sixth Painlevé equation

In this paper, we consider the discrete power function associated with the sixth Painlevé equation. This function is a special solution of the so-called cross-ratio equation with a similarity constraint. We show in this paper that this system is embedded in a cubic lattice with $\widetilde{W}(3A_1^{(1)})$ symmetry. By constructing the action of $\widetilde{W}(3A_1^{(1)})$ as a subgroup of $\widetilde{W}(D_4^{(1)})$, i.e., the symmetry group of P$_{\rm VI}$, we show how to relate $\widetilde{W}(D_4^{(1)})$ to the symmetry group of the lattice. Moreover, by using translations in $\widetilde{W}(3A_1^{(1)})$, we explain the odd-even structure appearing in previously known explicit formulas in terms of the $τ$ function.

math-ph↗
arXiv2017

Decentralized Charging Control of Electric Vehicles in Residential Distribution Networks

Electric vehicle (EV) charging can negatively impact electric distribution networks by exceeding equipment thermal ratings and causing voltages to drop below standard ranges. In this paper, we develop a decentralized EV charging control scheme to achieve "valley-filling" (i.e., flattening demand profile during overnight charging), meanwhile meeting heterogeneous individual charging requirements and satisfying distribution network constraints. The formulated problem is an optimization problem with a non-separable objective function and strongly coupled inequality constraints. We propose a novel shrunken primal-dual subgradient (SPDS) algorithm to support the decentralized control scheme, derive conditions guaranteeing its convergence, and verify its efficacy and convergence with a representative distribution network model.

math.OC↗
arXiv2017

Robustness Analysis of Asynchronous Sampled-Data Multi-Agent Networks With Time-Varying Delays

In this paper, we study the simultaneous stability problem of a finite number of locally inter-connected linear subsystems under practical constraints, including asynchronous and aperiodic sampling, time-varying delays, and measurement errors. We establish a new Lyapunov-based stability result for such a decentralized system. This system has a particular simple structure of interconnections, but it captures some key characteristics of a large class of intermediate models derived from the consensus analysis of multi-agent systems. The stability result is applicable to the estimation of the maximum allowable inter-sampling periods and time delays based on individual dynamics and coupling structures in the scenarios of consensus control via asynchronous sampling of relative states and asynchronous broadcasting of self-sampled states respectively. The asynchrony of aperiodic sampling and the existence of measurement errors allow the utilization of some kinds of quantizing devices, such as Logarithmic quantizers, in the process of data sampling, and allow the introduction of a period of dwell time after each update of state measurement to eliminate the Zeno behavior of events in event-based control. The extension in the case with input saturations and input delays is also discussed.

math.OC↗
arXiv2017

Compact Tensor Pooling for Visual Question Answering

Performing high level cognitive tasks requires the integration of feature maps with drastically different structure. In Visual Question Answering (VQA) image descriptors have spatial structures, while lexical inputs inherently follow a temporal sequence. The recently proposed Multimodal Compact Bilinear pooling (MCB) forms the outer products, via count-sketch approximation, of the visual and textual representation at each spatial location. While this procedure preserves spatial information locally, outer-products are taken independently for each fiber of the activation tensor, and therefore do not include spatial context. In this work, we introduce multi-dimensional sketch ({MD-sketch}), a novel extension of count-sketch to tensors. Using this new formulation, we propose Multimodal Compact Tensor Pooling (MCT) to fully exploit the global spatial context during bilinear pooling operations. Contrarily to MCB, our approach preserves spatial context by directly convolving the MD-sketch from the visual tensor features with the text vector feature using higher order FFT. Furthermore we apply MCT incrementally at each step of the question embedding and accumulate the multi-modal vectors with a second LSTM layer before the final answer is chosen.

cs.CV↗
arXiv2017

Leak Event Identification in Water Systems Using High Order CRF

Today, detection of anomalous events in civil infrastructures (e.g. water pipe breaks and leaks) is time consuming and often takes hours or days. Pipe breakage as one of the most frequent types of failure of water networks often causes community disruptions ranging from temporary interruptions in services to extended loss of business and relocation of residents. In this project, we design and implement a two-phase approach for leak event identification, which leverages dynamic data from multiple information sources including IoT sensing data (pressure values and/or flow rates), geophysical data (water systems), and human inputs (tweets posted on Twitter). In the approach, a high order Conditional Random Field (CRF) is constructed that enforces predictions based on IoT observations consistent with human inputs to improve the performance of event identifications. Considering the physical water network as a graph, a CRF model is built and learned by the Structured Support Vector Machine (SSVM) using node features such as water pressure and flow rate. After that, we built the high order CRF system by enforcing twitter leakage detection information. An optimal inference algorithm is proposed for the adapted high order CRF model. Experimental results show the effectiveness of our system.

cs.LG↗
arXiv2016

Tensor Contractions with Extended BLAS Kernels on CPU and GPU

Tensor contractions constitute a key computational ingredient of numerical multi-linear algebra. However, as the order and dimension of tensors grow, the time and space complexities of tensor-based computations grow quickly. Existing approaches for tensor contractions typically involves explicit copy and transpose operations. In this paper, we propose and evaluate a new BLAS-like primitive STRIDEDBATCHEDGEMM that is capable of performing a wide range of tensor contractions on CPU and GPU efficiently. Through systematic benchmarking, we demonstrate the advantages of our approach over conventional approaches. Concretely, we implement the Tucker decomposition and show that using our kernels yields 100x speedup as compared to the implementation using existing state-of-the-art libraries.

cs.DC↗
arXiv2016

Reflection groups and discrete integrable systems

We present a method of constructing discrete integrable systems with crystallographic reflection group (Weyl) symmetries, thus clarifying the relationship between different discrete integrable systems in terms of their symmetry groups. Discrete integrable systems are associated with space-filling polytopes arise from the geometric representation of the Weyl groups in the $n$-dimensional real Euclidean space $\mathbb{R}^n$. The "multi-dimensional consistency" property of the discrete integrable system is shown to be inherited from the combinatorial properties of the polytope; while the dynamics of the system is described by the affine translations of the polytopes on the weight lattices of the Weyl groups. The connections between some well-known discrete systems such as the multi-dimensional consistent systems of quad-equations \cite{abs:03} and discrete Painlevé equations \cite{sak:01} are obtained via the geometric constraints that relate the polytope of one symmetry group to that of another symmetry group, a procedure which we call geometric reduction.

nlin.SI↗