A new kernel-based approach to system identification with quantized output data

In this paper we introduce a novel method for linear system identification with quantized output data. We model the impulse response as a zero-mean Gaussian process whose covariance (kernel) is given by the recently proposed stable spline kernel, which encodes information on regularity and exponential stability. This serves as a starting point to cast our system identification problem into a Bayesian framework. We employ Markov Chain Monte Carlo methods to provide an estimate of the system. In particular, we design two methods based on the so-called Gibbs sampler that allow also to estimate the kernel hyperparameters by marginal likelihood maximization via the expectation-maximization method. Numerical simulations show the effectiveness of the proposed scheme, as compared to the state-of-the-art kernel-based methods when these are employed in system identification with quantized data.Comment: 10 pages, 4 figure

Quantifying 'causality' in complex systems: Understanding Transfer Entropy

'Causal' direction is of great importance when dealing with complex systems. Often big volumes of data in the form of time series are available and it is important to develop methods that can inform about possible causal connections between the different observables. Here we investigate the ability of the Transfer Entropy measure to identify causal relations embedded in emergent coherent correlations. We do this by firstly applying Transfer Entropy to an amended Ising model. In addition we use a simple Random Transition model to test the reliability of Transfer Entropy as a measure of `causal' direction in the presence of stochastic fluctuations. In particular we systematically study the effect of the finite size of data sets

Multiple Disorder Problems for Wiener and Compound Poisson Processes With Exponential Jumps

The multiple disorder problem consists of finding a sequence of stopping times which are as close as possible to the (unknown) times of "disorder" when the distribution of an observed process changes its probability characteristics. We present a formulation and solution of the multiple disorder problem for a Wiener and a compound Poisson process with exponential jumps. The method of proof is based on reducing the initial optimal switching problems to the corresponding coupled optimal stopping problems and solving the equivalent coupled free-boundary problems by means of the smooth- and continuous-fit conditions.Multiple disorder problem, Wiener process, compound Poisson process, optimal switching, coupled optimal stopping problem, (integro-differential) coupled free-boundary problem, smooth and continuous fit, Ito-Tanaka-Meyer formula.

Characterization of Model-Based Detectors for CPS Sensor Faults/Attacks

A vector-valued model-based cumulative sum (CUSUM) procedure is proposed for identifying faulty/falsified sensor measurements. First, given the system dynamics, we derive tools for tuning the CUSUM procedure in the fault/attack free case to fulfill a desired detection performance (in terms of false alarm rate). We use the widely-used chi-squared fault/attack detection procedure as a benchmark to compare the performance of the CUSUM. In particular, we characterize the state degradation that a class of attacks can induce to the system while enforcing that the detectors (CUSUM and chi-squared) do not raise alarms. In doing so, we find the upper bound of state degradation that is possible by an undetected attacker. We quantify the advantage of using a dynamic detector (CUSUM), which leverages the history of the state, over a static detector (chi-squared) which uses a single measurement at a time. Simulations of a chemical reactor with heat exchanger are presented to illustrate the performance of our tools.Comment: Submitted to IEEE Transactions on Control Systems Technolog

Diffusive limits on the Penrose tiling

In this paper random walks on the Penrose lattice are investigated. Heat kernel estimates and the invariance principle are shown