Sleep Analytics and Online Selective Anomaly Detection

We introduce a new problem, the Online Selective Anomaly Detection (OSAD), to model a specific scenario emerging from research in sleep science. Scientists have segmented sleep into several stages and stage two is characterized by two patterns (or anomalies) in the EEG time series recorded on sleep subjects. These two patterns are sleep spindle (SS) and K-complex. The OSAD problem was introduced to design a residual system, where all anomalies (known and unknown) are detected but the system only triggers an alarm when non-SS anomalies appear. The solution of the OSAD problem required us to combine techniques from both machine learning and control theory. Experiments on data from real subjects attest to the effectiveness of our approach.Comment: Submitted to 20th ACM SIGKDD Conference on Knowledge Discovery and Data Mining 201

<i>H</i>₂ and mixed <i>H</i>₂/<i>H</i>_∞ Stabilization and Disturbance Attenuation for Differential Linear Repetitive Processes

Repetitive processes are a distinct class of two-dimensional systems (i.e., information propagation in two independent directions) of both systems theoretic and applications interest. A systems theory for them cannot be obtained by direct extension of existing techniques from standard (termed 1-D here) or, in many cases, two-dimensional (2-D) systems theory. Here, we give new results towards the development of such a theory in H2 and mixed H2/H∞ settings. These results are for the sub-class of so-called differential linear repetitive processes and focus on the fundamental problems of stabilization and disturbance attenuation

Using the event calculus for tracking the normative state of contracts

In this work, we have been principally concerned with the representation of contracts so that their normative state may be tracked in an automated fashion over their deployment lifetime. The normative state of a contract, at a particular time, is the aggregation of instances of normative relations that hold between contract parties at that time, plus the current values of contract variables. The effects of contract events on the normative state of a contract are specified using an XML formalisation of the Event Calculus, called ecXML. We use an example mail service agreement from the domain of web services to ground the discussion of our work. We give a characterisation of the agreement according to the normative concepts of: obligation, power and permission, and show how the ecXML representation may be used to track the state of the agreement, according to a narrative of contract events. We also give a description of a state tracking architecture, and a contract deployment tool, both of which have been implemented in the course of our work.

Severity-sensitive norm-governed multi-agent planning

This research was funded by Selex ES. The software developed during this research, including the norm analysis and planning algorithms, the simulator and harbour protection scenario used during evaluation is freely available from doi:10.5258/SOTON/D0139Peer reviewedPublisher PD