In iterative learning control (ILC), a common assumption is that the initial states in each repetitive operation should be inside a given ball centered at the desired initial states which may be unknown. This assumption is critical to the stability analysis, and the size of the ball will directly affect the final output trajectory tracking errors. In this paper, this assumption is removed by us...

The effects of auditory information on 4-month-old infants' perception of trajectory continuity.

Detecting stops is an important task in trajectory analysis. Stops can reveal interesting aspects of a moving object behavior such as its daily routine, bottlenecks in traffic jams, or visiting times of touristic places. In order to record those traces, trajectories must be sampled and, in some cases, post-processed. This process from collecting raw data to storing them may vary according to th...

Generalised Symbolic Trajectory Evaluation (GSTE) is a high-capacity formal verification technique for hardware. GSTE is an extension of Symbolic Trajectory Evaluation (STE). The difference is that STE is limited to properties ranging over finite time-intervals whereas GSTE can deal with properties over unbounded time. GSTE uses abstraction, meaning that details of the circuit behaviour are rem...

This paper presents analysis and design results for control systems subject to oscillatory inputs, i.e., inputs of large amplitude and high frequency. The key analysis results are a series expansion characterizing the averaged system and various Lie-algebraic conditions that guarantee the series can be summed. Various example systems provide insight into the results. With regards to design, we ...

Discovering repetitive patterns is important in a wide range of research areas, such as bioinformatics and human movement analysis. This study puts forward a new methodology to identify, visualise and interpret repetitive motion patterns in groups of Moving Point Objects (MPOs). The methodology consists of three steps. First, motion patterns are qualitatively described using the Qualitative Tra...

We present a SAT-based algorithm for assisting users of Symbolic Trajectory Evaluation (STE) in manual abstraction refinement. We demonstrate the usefulness of the algorithm on a larger case study (the verification of a CAM).

We present a system to determine ground-plane parameters in densely crowded scenes where use of geometric features such as parallel lines or reliable estimates of agent dimensions are not possible. Using feature points tracked over short intervals, together with some plausible scene assumptions, we can estimate the parameters of the ground-plane to a sufficient degree of accuracy to correct use...

In general, video quality adaptation and video quality evaluation are distinct activities. Most adaptive delivery mechanisms for streaming multimedia content do not explicitly consider user-perceived quality when making adaptation decisions. Equally, video quality evaluation techniques are not designed to evaluate instantaneous quality where the quality is changing over time. We propose that an...

This paper describes a method for melody detection in polyphonic musical signals. Our approach starts by obtaining a set of pitch candidates for each time frame, with recourse to an auditory model. Trajectories of the most salient pitches are then constructed. Next, note candidates are obtained by trajectory segmentation (in terms of frequency and pitch salience variations). Too short, low-sali...