Robust fault detection for networked systems with communication delay and data missing

n this paper, the robust fault detection problem is investigated for a class of discrete-time networked systems with unknown input and multiple state delays. A novel measurement model is utilized to represent both the random measurement delays and the stochastic data missing phenomenon, which typically result from the limited capacity of the communication networks. The network status is assumed to vary in a Markovian fashion and its transition probability matrix is uncertain but resides in a known convex set of a polytopic type. The main purpose of this paper is to design a robust fault detection filter such that, for all unknown inputs, possible parameter uncertainties and incomplete measurements, the error between the residual signal and the fault signal is made as small as possible. By casting the addressed robust fault detection problem into an auxiliary robust H∞ filtering problem of a certain Markovian jumping system, a sufficient condition for the existence of the desired robust fault detection filter is established in terms of linear matrix inequalities. A numerical example is provided to illustrate the effectiveness and applicability of the proposed technique

Robust H∞ filtering for markovian jump systems with randomly occurring nonlinearities and sensor saturation: The finite-horizon case

This article is posted with the permission of IEEE - Copyright @ 2011 IEEEThis paper addresses the robust H∞ filtering problem for a class of discrete time-varying Markovian jump systems with randomly occurring nonlinearities and sensor saturation. Two kinds of transition probability matrices for the Markovian process are considered, namely, the one with polytopic uncertainties and the one with partially unknown entries. The nonlinear disturbances are assumed to occur randomly according to stochastic variables satisfying the Bernoulli distributions. The main purpose of this paper is to design a robust filter, over a given finite-horizon, such that the H∞ disturbance attenuation level is guaranteed for the time-varying Markovian jump systems in the presence of both the randomly occurring nonlinearities and the sensor saturation. Sufficient conditions are established for the existence of the desired filter satisfying the H∞ performance constraint in terms of a set of recursive linear matrix inequalities. Simulation results demonstrate the effectiveness of the developed filter design scheme.This work was supported in part by the National Natural Science Foundation of China under Grants 61028008, 60825303, and 61004067, National 973 Project under Grant 2009CB320600, the Key Laboratory of Integrated Automation for the Process Industry (Northeastern University) from the Ministry of Education of China, the Engineering and Physical Sciences Research Council (EPSRC) of the U.K., under Grant GR/S27658/01, the Royal Society of the U.K., and the Alexander von Humboldt Foundation of Germany

Static output-feedback stabilization of discrete-time Markovian jump linear systems: a system augmentation approach

This paper studies the static output-feedback (SOF) stabilization problem for discrete-time Markovian jump systems from a novel perspective. The closed-loop system is represented in a system augmentation form, in which input and gain-output matrices are separated. By virtue of the system augmentation, a novel necessary and sufficient condition for the existence of desired controllers is established in terms of a set of nonlinear matrix inequalities, which possess a monotonic structure for a linearized computation, and a convergent iteration algorithm is given to solve such inequalities. In addition, a special property of the feasible solutions enables one to further improve the solvability via a simple D-K type optimization on the initial values. An extension to mode-independent SOF stabilization is provided as well. Compared with some existing approaches to SOF synthesis, the proposed one has several advantages that make it specific for Markovian jump systems. The effectiveness and merit of the theoretical results are shown through some numerical example

Stabilization of markovian systems via probability rate synthesis and output feedback

This technical note is concerned with the stabilization problem of Markovian jump linear systems via designing switching probability rate matrices and static output-feedback gains. A novel necessary and sufficient condition is established to characterize the switching probability rate matrices that guarantee the mean square stability of Markovian jump linear systems. Based on this, a necessary and sufficient condition is provided for the existence of desired controller gains and probability rate matrices. Extensions to the polytopic uncertain case are also provided. All the conditions are formulated in terms of linear matrix inequalities with some equality constraints, which can be solved by two modified cone complementarity linearization algorithms. Examples are given to show the effectiveness of the proposed method. © 2010 IEEE.published_or_final_versio

Parameter estimation and inference for stochastic reaction-diffusion systems: application to morphogenesis in D. melanogaster

Background: Reaction-diffusion systems are frequently used in systems biology to model developmental and signalling processes. In many applications, count numbers of the diffusing molecular species are very low, leading to the need to explicitly model the inherent variability using stochastic methods. Despite their importance and frequent use, parameter estimation for both deterministic and stochastic reaction-diffusion systems is still a challenging problem. Results: We present a Bayesian inference approach to solve both the parameter and state estimation problem for stochastic reaction-diffusion systems. This allows a determination of the full posterior distribution of the parameters (expected values and uncertainty). We benchmark the method by illustrating it on a simple synthetic experiment. We then test the method on real data about the diffusion of the morphogen Bicoid in Drosophila melanogaster. The results show how the precision with which parameters can be inferred varies dramatically, indicating that the ability to infer full posterior distributions on the parameters can have important experimental design consequences. Conclusions: The results obtained demonstrate the feasibility and potential advantages of applying a Bayesian approach to parameter estimation in stochastic reaction-diffusion systems. In particular, the ability to estimate credibility intervals associated with parameter estimates can be precious for experimental design. Further work, however, will be needed to ensure the method can scale up to larger problems