带有乘性过程噪声和模式观测时滞离散马氏跳线性系统的状态估计

研究受乘性过程噪声干扰的离散马氏跳线性系统状态估计问题. 系统可得到的观测包括两部分: 模式观测和输出观测, 其中模式观测受到固定时滞的影响. 利用贝叶斯定理及所得到的一些结果, 提出一种新颖的最小均方误差意义下次优状态估计算法. 该次优算法是回归的, 并且不随着时间增加而加重计算存储负荷. 通过计算机仿真来评估所提出次优算法的性能, 仿真结果验证了该算法的优越性.

     

State estimation for linear discrete-time systems using quantized measurements

In this paper, we consider the problem of state estimation for linear discrete-time dynamic systems using quantized measurements. This problem arises when state estimation needs to be done using information transmitted over a digital communication channel. We investigate how to design the quantizer and the estimator jointly. We consider the use of a logarithmic quantizer, which is motivated by the fact that the resulting quantization error acts as a multiplicative noise, an important feature in many applications. Both static and dynamic quantization schemes are studied. The results in the paper allow us to understand the tradeoff between performance degradation due to quantization and quantization density (in the infinite-level quantization case) or number of quantization levels (in the finite-level quantization case).     

量测随机延迟下带相关乘性噪声的非线性系统分布式估计

本文提出了乘性噪声和加性噪声相关下的量测随机延迟非线性系统分布式状态估计.在所考虑系统中,相关状态被多传感器簇构成的传感器网所观测.所得理想量测被传送到远程分布式处理网,并伴随服从一阶马尔可夫过程的随机延迟.在此基础上,本文提出了分布式高斯信息滤波(distributed Gaussian-information filter,DGIF),来实现估计精度与计算时间的折中.在单处理节点/单元中,以估计误差协方差最小化为准则,设计了相应的高斯递推滤波,并实现了延迟概率的在线递推估计.进一步地,在分布式处理网中,基于非线性量测方程的统计线性回归,结合一致性算法,给出了一种分布式信息滤波形式,有效实现了分布式融合.分别在单处理单元和分布式处理网中仿真验证了所提算法的有效性.     

Optimal control with constrained total variance for Markov jump linear systems with multiplicative noises

We consider in this paper the stochastic optimal control problem of discrete-time linear systems subject to Markov jumps and multiplicative noises (MJLS-mn for short). Our objective is to present an optimal policy for the problem of maximising the system's total expected output over a finite-time horizon while restricting the weighted sum of its variance to a pre-specified upper-bound value. We obtain explicit conditions for the existence of an optimal control law for this problem as well as an algorithm for obtaining it, extending previous results in the literature. The paper is concluded by applying our results to a portfolio selection problem subject to regime switching.     

State and unknown input estimation for linear discrete-time systems

In this paper, a state and unknown input delayed estimator is designed for discrete-time linear systems even if some well-known matching condition does not hold. This result is obtained using a constructive algorithm that analyzes the state observability and the left invertibility of the systems with unknown inputs and that provides a suitable canonical transformation for the design of the estimator.     

Distributed multiple model estimation for jump Markov linear systems with missing measurements

This paper is concerned with distributed multiple model estimation for jump Markov linear systems with missing measurements over a sensor network. Two independent Markov chains are used to describe the switching of dynamic models and the missing of measurements, respectively. Under the assumption that each sensor can only communicate with its neighbours, a distributed filter is developed by applying the basic interacting multiple model (IMM) approach in the Bayesian estimation framework. To circumvent the difficulty of exponentially growing filters by exchanging local measurements between neighbouring sensors, the mode-conditioned estimates are exchanged instead of local measurements and the covariance intersection method is adopted to fuse mode-conditioned estimates. A multi-sensor manoeuvering target tracking example is provided to verify the effectiveness of the proposed filter.     

A novel suboptimal algorithm for state estimation of Markov jump linear systems

This paper is concerned with state estimation problem for Markov jump linear systems where the disturbances involved in the systems equations and measurement equations are assumed to be Gaussian noise sequences.Based on two properties of conditional expectation,orthogonal projective theorem is applied to the state estimation problem of the considered systems so that a novel suboptimal algorithm is obtained.The novelty of the algorithm lies in using orthogonal projective theorem instead of Kalman filters to estimate the state.A numerical comparison of the algorithm with the interacting multiple model algorithm is given to illustrate the effectiveness of the proposed algorithm.     

具有乘性噪声的线性离散时间随机控制系统综述

具有乘性噪声的随机不确定系统的控制问题有着广泛的应用背景. 本文概述了具有乘性噪声的线性离散时间随机系统的稳定性分析、均方镇定、最优控制以及最优估计问题和相关结论. 同时, 本文研究了具有状态与控制乘性噪声的线性多变量离散时间系统的均方镇定和最优控制问题, 分析了这两个问题之间的联系, 并讨论了最优状态反馈控制器的设计算法.     

Almost sure estimation and synthesis of ultimate bounds for discrete-time Markov jump linear systems

This paper is concerned with the problems of almost sure ultimate bound estimation and controller design for Markov jump linear systems with bounded stochastic disturbances. By utilising a Lyapunov-based scheme proposed in this paper, an almost sure estimation of ellipsoidal ultimate bound (EUB) of the system is obtained through tractable matrix inequalities. On the basis of the estimation results, the problem of designing mode-dependent state feedback controllers that make the closed-loop system admit a prescribed ellipsoid as an EUB is considered. The obtained results on estimation and synthesis are then extended to the case of systems with deficient mode information. Finally, a practical example in DC motor devices is presented to demonstrate the applicability of the obtained results.     

On the detectability and observability of discrete-time Markov jump linear systems

This paper presents a new detectability concept for discrete-time Markov jump linear systems with finite Markov state, which generalizes the MS-detectability concept found in the literature. The new sense of detectability can similarly assure that the solution of the coupled algebraic Riccati equation associated to the quadratic control problem is a stabilizing solution. In addition, the paper introduces a related observability concept that also generalizes previous concepts. A test for detectability based on a coupled matrix equation is derived from the definition, and a test for observability is presented, which can be performed in a finite number of steps. The results are illustrated by examples, including one that shows that a system may be detectable in the new sense but not in the MS sense.     

Indefinite quadratic with linear costs optimal control of Markov jump with multiplicative noise systems

In this paper we consider the stochastic optimal control problem of discrete-time Markov jump with multiplicative noise linear systems. The performance criterion is assumed to be formed by a linear combination of a quadratic part and a linear part in the state and control variables. The weighting matrices of the state and control for the quadratic part are allowed to be indefinite. We present a necessary and sufficient condition under which the problem is well posed and a state feedback solution can be derived from a set of coupled generalized Riccati difference equations interconnected with a set of coupled linear recursive equations. For the case in which the quadratic-term matrices are non-negative, this necessary and sufficient condition can be written in a more explicit way. The results are applied to a problem of portfolio optimization.     

Sliding mode control for Markov jump linear uncertain systems with partly unknown transition rates

In this paper, based on sliding mode control approach, the robust stabilisation problem for a class of continuous-time Markovian jump linear uncertain systems with partly unknown transition rates is investigated. The transition rate matrix under consideration covers completely known, boundary known and completely unknown elements. By making use of linear matrix inequalities technique, sufficient conditions are presented to derive the linear switching surface and guarantee the stochastic stability of sliding mode dynamics. Then a sliding mode control law is designed to drive the state trajectory of the closed-loop system to the specified linear switching surface in finite time in spite of the existing uncertainties and unknown transition rates. Finally, an example is given to verify the validity of the theoretical results.     

Sliding mode control-based linear functional observers for discrete-time stochastic systems

Sliding mode control (SMC) is one of the most popular techniques to stabilise linear discrete-time stochastic systems. However, application of SMC becomes difficult when the system states are not available for feedback. This paper presents a new approach to design a SMC-based functional observer for discrete-time stochastic systems. The functional observer is based on the Kronecker product approach. Existence conditions and stability analysis of the proposed observer are given. The control input is estimated by a novel linear functional observer. This approach leads to a non-switching type of control, thereby eliminating the fundamental cause of chatter. Furthermore, the functional observer is designed in such a way that the effect of process and measurement noise is minimised. Simulation example is given to illustrate and validate the proposed design method.     

Output feedback of Markov jump linear systems with no mode observation: An automotive throttle application

The note presents an output feedback control strategy for Markov jump linear systems with no mode observation. Based on minimizing a finite‐time quadratic cost, we derive an algorithm that generates output feedback gains that satisfy a necessary optimality condition. These gains can be computed off‐line relying only on the initial condition of the system. This result expands a previous one from the literature that considered state‐feedback only. To illustrate the usefulness of the approach, real‐time laboratory experiments were performed to control an automotive electronic throttle valve subject to Markov‐driven voltage fluctuations. Copyright © 2015 John Wiley & Sons, Ltd.     

Recursive linear optimal filter for Markovian jump linear systems with multi-step correlated noises and multiplicative random parameters

This paper presents the state estimation problem for discrete-time Markovian jump linear systems with multi-step correlated additive noises and multiplicative random parameters (termed as MCNMP). A recursive linear optimal filter for the considered MCNMP (which is abbreviated as RLMMF) is derived based on state augmentation between the original state and mode uncertainty, with the help of estimating the multi-step correlated additive noises online simultaneously. A maneuvering target tracking example under one-step and two-step correlated additive noises scenarios with different cases (i.e. Gaussian/Gaussian mixture distribution and no multiplicative noises) is simulated to validate the designed filter.     

Linear minimum mean square filter for discrete-time linear systems with Markov jumps and multiplicative noises

In this paper we obtain the linear minimum mean square estimator (LMMSE) for discrete-time linear systems subject to state and measurement multiplicative noises and Markov jumps on the parameters. It is assumed that the Markov chain is not available. By using geometric arguments we obtain a Kalman type filter conveniently implementable in a recurrence form. The stationary case is also studied and a proof for the convergence of the error covariance matrix of the LMMSE to a stationary value under the assumption of mean square stability of the system and ergodicity of the associated Markov chain is obtained. It is shown that there exists a unique positive semi-definite solution for the stationary Riccati-like filter equation and, moreover, this solution is the limit of the error covariance matrix of the LMMSE. The advantage of this scheme is that it is very easy to implement and all calculations can be performed offline.     

一类离散Markov跳变奇异系统的镇定控制

针对一类离散的Markov跳变奇异系统,研究了其稳定性与镇定控制问题.系统模式跳变的转移概率是部分未知的,包含转移概率完全已知和完全未知两种情形,具有更好的泛化性.以严格线性矩阵不等式的形式,给出了保证该类Markov跳变奇异系统正则、因果、随机稳定的充分性判据,并设计了相应的状态反馈与输出反馈控制器.最后,通过数值仿真表明了所提出方法的有效性.