Online recognition of sketched arrow-connected diagrams

We introduce a new, online, stroke-based recognition system for hand-drawn diagrams which belong to a group of documents with an explicit structure obvious to humans but only loosely defined from the machine point of view. We propose a model for recognition by selection of symbol candidates, based on evaluation of relations between candidates using a set of predicates. It is suitable for simpler structures where the relations are explicitly given by symbols, arrows in the case of diagrams. Knowledge of a specific diagram domain is used—the two domains are flowcharts and finite automata. Although the individual pipeline steps are tailored for these, the system can readily be adapted for other domains. Our entire diagram recognition pipeline is outlined. Its core parts are text/non-text separation, symbol segmentation, their classification and structural analysis. Individual parts have been published by the authors previously and so are described briefly and referenced. Thorough evaluation on benchmark databases shows the accuracy of the system reaches the state of the art and is ready for practical use. The paper brings several contributions: (a) the entire system and its state-of-the-art performance; (b) the methodology exploring document structure when it is loosely defined; (c) the thorough experimental evaluation; (d) the new annotated database for online sketched flowcharts and finite automata diagrams.     

Robust Adaptive Neural Control for a Class of Time‐Varying Delay Systems with Backlash‐like Hysteresis Input

This paper proposes a robust adaptive dynamic surface control (DSC) scheme for a class of time‐varying delay systems with backlash‐like hysteresis input. The main features of the proposed DSC method are that 1) by using a transformation function, the prescribed transient performance of the tracking error can be guaranteed; 2) by estimating the norm of the unknown weighted vector of the neural network, the computational burden can be greatly reduced; 3) by using the DSC method, the explosion of complexity problem is eliminated. It is proved that the proposed scheme guarantees all the closed‐loop signals being uniformly ultimately bounded. The simulation results show the validity of the proposed control scheme.     

Tracking Performance Bound with Finite Control Energy and Erasure Channel Energy Constraint

This paper studies the tracking performance of the single‐input single‐output (SISO), finite dimensional, linear and time‐invariant (LTI) system under the channel input energy constraint over the Erasure channel. A new performance index is proposed which is minimized over all two‐degree‐of‐freedom stabilizing controllers. The explicit expressions of the lower bound of the performance index and the minimum of the signal‐to‐noise ratio are obtained. The results show that the performance bound is correlated to unstable poles, non‐minimum phase zeros and the packet loss probability. Finally, examples are given to validate the conclusions derived.     

Consensus in second‐order Markovian jump multi‐agent systems via impulsive control using sampled information with heterogenous delays

This paper investigates the consensus problem of second‐order Markovian jump multi‐agent systems with delays. Both network‐induced random delay and node‐induced state delay are considered, where the network‐induced random delay, subjected to a Markov chain, exists in the switching signal and the node‐induced state delay, related to switching topologies, is heterogeneous between any two linked agents. In order to reduce communication and control energy, an impulsive protocol is proposed, where each agent only can get delayed relative positions to neighbors and the velocity of itself at impulsive instants. By performing three steps of model transformation and introducing a mapping for two independent Markov chains, the consensus problem of the original continuous‐time system is equivalent to the stability problem of a discrete‐time expand error system with two Markovian jumping parameters and a necessary and sufficient criterion is derived. A numerical example is given to illustrate the effectiveness of the theoretical result.@@@@This work is supported by the National Natural Science Foundation of China under Grants 61374171, 61572210, and 51537003, the Fundamental Research Funds for the Central Universities (2015TS030), and the Program for Changjiang Scholars and Innovative Research Team in University (IRT1245).     

Generating test case chains for reactive systems

Testing of reactive systems is challenging because long input sequences are often needed to drive them into a state to test a desired feature. This is particularly problematic in on-target testing, where a system is tested in its real-life application environment and the amount of time required for resetting is high. This article presents an approach to discovering a test case chain—a single software execution that covers a group of test goals and minimizes overall test execution time. Our technique targets the scenario in which test goals for the requirements are given as safety properties. We give conditions for the existence and minimality of a single test case chain and minimize the number of test case chains if a single test case chain is infeasible. We report experimental results with our ChainCover tool for C code generated from Simulink models and compare it to state-of-the-art test suite generators.     

Robust H∞ Tracking Control of Uncertain Robotic Systems with Periodic Disturbances

This paper addresses the problem of designing robust tracking control for a large class of uncertain robotic systems. A more general model of the external disturbance is employed in the sense that the external disturbance can be expressed as the sum of a modeled disturbance and an unmodeled disturbance, for example, any periodic disturbance can be expressed in this general form. An adaptive neural network system is constructed to approximate the behavior of unknown robot dynamics. An adaptive control algorithm is designed to estimate the behavior of the modeled disturbance, and in turn the robust H_∞ control algorithm is required to attenuate the effects of the unmodeled disturbance only. Consequently, an intelligent adaptive/robust tracking control scheme is constructed such that an H_∞ tracking control is achieved in the sense that all the states and signals of the closed‐loop system are bounded and the effect due to the unmodeled disturbance on the tracking error can be attenuated to any preassigned level. Finally, simulations are provided to demonstrate the effectiveness and performance of the proposed control algorithm.     

Scalable digital hardware for a trapped ion quantum computer

Quantum Information Processing - Many of the challenges of scaling quantum computer hardware lie at the interface between the qubits and the classical control signals used to manipulate them....     

Measuring the role of age in user performance during interaction with computers

The influence of aging on computer interaction has been widely analyzed in human–computer interaction research literature. Despite this, there are no age-based user maps that could support the user-interface customization. Studying the specific needs and constraints of these groups is crucial in order to adapt a user interface to the user’s interaction requirements. This work studies the performance of a sample of participants on three different basic tasks (pointing, dragging and dropping, and text selection) and the influence of age for each of them. It is concluded that this influence differs between specific activities. A group profile map that can support automatic classification in the future has been obtained.     

Psychometric Evaluation of the EMO and the SUS in the Context of a Large-Sample Unmoderated Usability Study

This article describes the psychometric properties of the Emotional Metric Outcomes (EMO) questionnaire and the System Usability Scale (SUS) using data collected as part of a large-sample unmoderated usability study (n = 471). The EMO is a concise multifactor standardized questionnaire that provides an assessment of transaction-driven personal and relationship emotional outcomes, both positive and negative. The SUS is a well-known standardized usability questionnaire designed to assess perceived usability. In previous research, psychometric evaluation using data from a series of online surveys showed that the EMO and its component scales had high reliability and concurrent validity with loyalty and overall experience metrics but did not find the expected four-factor structure. Previous structural analyses of the SUS have had mixed results. Analysis of the EMO data from the usability study revealed the expected four-factor structure. The factor structure of the SUS appeared to be driven by item tone. The estimated reliability of the SUS (.90) was consistent with previous estimates. The EMO and its subscales were also quite reliable, with the estimates of reliability for the various EMO scales ranging from .86 to .96. Regression analysis using SUS, EMO, and Effort as predictors revealed different key drivers for the outcome metrics of Satisfaction and Likelihood-to-Recommend. The key recommendations are to include the EMO as part of the battery of poststudy standardized questionnaires, along with the SUS (or similar questionnaire), but to be cautious in reporting SUS subscales such as Usable and Learnable.     

A disturbance observer based practical coordinated tracking controller for uncertain heterogeneous multi‐agent systems

This paper presents a coordinated tracking controller for multi‐agent systems. We assume that agents are uncertain, nonidentical, and affected by external disturbances. The information available to the tracking controller is a weighted sum of relative measurements. A coordinated tracking controller based on the disturbance observer, which is known as a robust output feedback controller, is designed so that the disturbances acting on agents are attenuated and at the same time the weighted sum of relative measurements approximately satisfies a differential equation defined by the leader's dynamics, which results in practical coordinated tracking. Systematic design procedures of the controller as well as numerical simulations are provided. Copyright © 2014 John Wiley & Sons, Ltd.