Output feedback receding horizon control of constrained systems

This paper considers output feedback control of linear discrete-time systems with convex state and input constraints which are subject to bounded state disturbances and output measurement errors. We show that the non-convex problem of finding a constraint admissible affine output feedback policy over a finite horizon, to be used in conjunction with a fixed linear state observer, can be converted to an equivalent convex problem. When used in the design of a time-varying robust receding horizon control law, we derive conditions under which the resulting closed-loop system is guaranteed to satisfy the system constraints for all time, given an initial state estimate and bound on the state estimation error. When the state estimation error bound matches the minimal robust positively invariant (mRPI) set for the system error dynamics, we show that this control law is time-invariant, but its calculation generally requires solution of an infinite-dimensional optimization problem. Finally, using an invariant outer approximation to the mRPI error set, we develop a time-invariant control law that can be computed by solving a finite-dimensional tractable optimization problem at each time step that guarantees that the closed-loop system satisfies the constraints for all time.     

On Consistency of Subspace Methods for System Identification

Subspace methods for identification of linear time-invariant dynamical systems typically consist of two main steps. First, a so-called subspace estimate is constructed. This first step usually consists of estimating the range space of the extended observability matrix. Secondly, an estimate of system parameters is obtained, based on the subspace estimate. In this paper, the consistency of a large class of methods for estimating the extended observability matrix is analyzed. Persistence of excitation conditions on the input signal are given which guarantee consistent estimates for systems with only measurement noise. For systems with process noise, it is shown that a persistence of excitation condition on the input is not sufficient. More precisely, an example for which the subspace methods fail to give a consistent estimate of the transfer function is given. This failure occurs even if the input is persistently exciting of any order. It is also shown that this problem can be eliminated if stronger conditions on the input signal are imposed.     

An iterative Kalman smoother/least-squares algorithm for the identification of delta-ARX models

Additive measurement noise on the output signal is a significant problem in the δ-domain and disrupts parameter estimation of auto-regressive exogenous (ARX) models. This article deals with the identification of δ-domain linear time-invariant models of ARX structure (i.e. driven by known input signals and additive process noise) by using an iterative identification scheme, where the output is also corrupted by additive measurement noise. The identification proceeds by mapping the ARX model into a canonical state-space framework, where the states are the measurement noise-free values of the underlying variables. A consequence of this mapping is that the original parameter estimation task becomes one of both a state and parameter estimation problem. The algorithm steps between state estimation using a Kalman smoother and parameter estimation using least squares. This approach is advantageous as it avoids directly differencing the noise-corrupted ‘raw’ signals for use in the estimation phase and uses different techniques to the common parametric low-pass filters in the literature. Results of the algorithm applied to a simulation test problem as well as a real-world problem are given, and show that the algorithm converges quite rapidly and with accurate results.     

Event-based input and state estimation for linear discrete time-varying systems

In this paper, the joint input and state estimation problem is considered for linear discrete-time stochastic systems. An event-based transmission scheme is proposed with which the current measurement is released to the estimator only when the difference from the previously transmitted one is greater than a prescribed threshold. The purpose of this paper is to design an event-based recursive input and state estimator such that the estimation error covariances have guaranteed upper bounds at all times. The estimator gains are calculated by solving two constrained optimisation problems and the upper bounds of the estimation error covariances are obtained in form of the solution to Riccati-like difference equations. Special efforts are made on the choices of appropriate scalar parameter sequences in order to reduce the upper bounds. In the special case of linear time-invariant system, sufficient conditions are acquired under which the upper bound of the error covariance of the state estimation is asymptomatically bounded. Numerical simulations are conducted to illustrate the effectiveness of the proposed estimation algorithm.     

A note on interval observer design for unknown input estimation

This paper addresses the problem of interval observer design for unknown input estimation in linear time-invariant systems. Although the problem of unknown input estimation has been widely studied in the literature, the design of joint state and unknown input observers has not been considered within a set-membership context. While conventional interval observers could be used to propagate with some additional conservatism, unknown inputs by considering them as disturbances, the proposed approach allows their estimation. Under the assumption that the measurement noise and the disturbances are bounded, lower and upper bounds for the unmeasured state and unknown inputs are computed. Numerical simulations are presented to show the efficiency of the proposed approach.     

Optimal state reconstruction algorithms for linear discrete-time systems

This paper deals with optimal time-invariant reconstruction of the state of a linear time-invariant discrete-time system from output measurements. The problem is analysed in two settings, depending on whether or not the present output measurement is available for the estimation of the present state. The results prove complete separation of observer and controller design for the optimal dynamic output feedback control with respect to a quadratic cost.     

Fuzzy linear pulse-transfer function-based sliding-mode control fornonlinear discrete-time systems

In this paper, a nonlinear discrete-time system in the presence of input disturbance and measurement noise is approximated by N subsystems described by the linear pulse-transfer functions. Although the input disturbance and the measurement noise are unknown, they are modeled as known pulse-transfer functions. The approximation error between the nonlinear discrete-time system and the fuzzy linear pulse-transfer function system is represented by the linear time-invariant dynamic system in every subsystem, whose degree can be larger than that of the corresponding subsystem. Besides the input disturbance and the measurement noise, uncertainties are caused by the approximation error of the fuzzy-model and the interconnected dynamics resulting from the other subsystems. Owing to the presence of input disturbance, measurement noise, or uncertainties, a disadvantageous response occurs. Based on Lyapunov redesign, the switching control in every subsystem is designed to reinforce the system performance. Due to the time-invariant feature for a constant reference input, the operating point can approach the sliding surface in the manner of finite-time steps. The stability of the overall system is verified by Lyapunov stability theory     

Self-tuning weighted measurement fusion white noise deconvolution estimator and its convergence analysis

White noise deconvolution or input white noise estimation has a wide range of applications including oil seismic exploration, communication, signal processing, and state estimation. For the multisensor linear discrete time-invariant stochastic systems with correlated measurement noises, and with unknown ARMA model parameters and noise statistics, the on-line AR model parameter estimator based on the Recursive Instrumental Variable (RIV) algorithm, the on-line MA model parameter estimator based on Gevers–Wouters algorithm and the on-line noise statistic estimator by using the correlation method are presented. Using the Kalman filtering method, a self-tuning weighted measurement fusion white noise deconvolution estimator is presented based on the self-tuning Riccati equation. It is proved that the self-tuning fusion white noise deconvolution estimator converges to the optimal fusion steady-state white noise deconvolution estimator in a realization by using the dynamic error system analysis (DESA) method, so that it has the asymptotic global optimality. The simulation example for a 3-sensor system with the Bernoulli–Gaussian input white noise shows its effectiveness.     

Frequency-domain application of an input-error method to estimate aircraft longitudinal parameters

An input-error method for estimating parameters of a single-input-multi-output linear time-invariant system is formulated in the frequency domain. The input-error method includes the Gauss-Newton minimization technique as a part of the estimation procedure. Two possible ways of defining the objective function are presented and the results obtained from these two approaches are compared. The method is applied to extract the longitudinal stability and control derivatives (parameters) of an aircraft from simulated flight data. Flight data for the short-period dynamics of the aircraft are analysed for different control input forms to identify the effect of the input forms on the accuracy of estimation. The effect of the variations in the intensity of noise present in the input and/or output data and the effect of the choice of initial values to start the identification process, on the accuracy of estimation, is also studied. The method is shown to be quite robust to estimate parameters from flight data having high intensity noise in both the input and the output signals.     

Realization and identification of autonomous linear periodically time-varying systems

The subsampling of a linear periodically time-varying system results in a collection of linear time-invariant systems with common poles. This key fact, known as “lifting”, is used in a two-step realization method. The first step is the realization of the time-invariant dynamics (the lifted system). Computationally, this step is a rank-revealing factorization of a block-Hankel matrix. The second step derives a state space representation of the periodic time-varying system. It is shown that no extra computations are required in the second step. The computational complexity of the overall method is therefore equal to the complexity for the realization of the lifted system. A modification of the realization method is proposed, which makes the complexity independent of the parameter variation period. Replacing the rank-revealing factorization in the realization algorithm by structured low-rank approximation yields a maximum likelihood identification method. Existing methods for structured low-rank approximation are used to identify efficiently a linear periodically time-varying system. These methods can deal with missing data.     

Identification Scheme for Fractional Hammerstein Models With the Delayed Haar Wavelet

The parameter identification of a nonlinear Hammerstein-type process is likely to be complex and challenging due to the existence of significant nonlinearity at the input side. In this paper, a new parameter identification strategy for a block-oriented Hammerstein process is proposed using the Haar wavelet operational matrix(HWOM). To determine all the parameters in the Hammerstein model, a special input excitation is utilized to separate the identification problem of the linear subsystem from the complete nonlinear process. During the first test period, a simple step response data is utilized to estimate the linear subsystem dynamics. Then, the overall system response to sinusoidal input is used to estimate nonlinearity in the process. A single-pole fractional order transfer function with time delay is used to model the linear subsystem. In order to reduce the mathematical complexity resulting from the fractional derivatives of signals, a HWOM based algebraic approach is developed. The proposed method is proven to be simple and robust in the presence of measurement noises. The numerical study illustrates the efficiency of the proposed modeling technique through four different nonlinear processes and results are compared with existing methods.     

基于Kalman滤波的白噪声估计理论

应用Kalman滤波方法,首次提出了一种统一的和通用的白噪声估计理论.它可统一处 理线性离散时变和定常随机系统的输入白噪声和观测白噪声的滤波、平滑和预报问题.提出了最 优和稳态白噪声估值器,且提出了白噪声新息滤波器和Wiener滤波器.它们可应用于石油勘探 地震数据处理,且为解决状态和信号估计问题提供一种新工具.两个仿真例子说明了其有效性.     

Direct solution to the general reduced-order stochastic observation problem

The stochastic optimal state observation problem is considered for a general linear, continuous, time-invariant system with unmeasurable stationary inputs and measurement outputs that may be, at least in part, perfect. A general solution to the problem is obtained by processing the perfect measurements through a specific differentiation-transformation scheme in order to extract the maximum accurate information on the system states. Using this information the original system is transformed to a new reduced-order model whose measurements are corrupted by a white noise of non-singular intensity matrix. A minimum-order full-state estimator to the original system is then constructed by combining the outputs of any full-order observer to the reduced-order model and the perfect combinations of the system states that were derived by the differentiation-transformation scheme. A solution to the general singular Kalman filtering problem is then obtained by minimizing the variance of the estimation error of the observer to the reduced-order model.     

Noncausal minimax linear state estimation for systems with uncertain second-order statistics

This note considers the problem of minimax state estimation of the states of a linear time-invariant system which is driven by and observed in the presence of noise processes with uncertain second-order statistics. When the process noise and observations are scalars, the problem is shown to be equivalent to a scalar minimax estimation problem. The existence of a minimax solution is thereby established, and the minimax filter is shown to be a linear transformation of the minimax filter for the scalar problem.     

Identification of probabilistic system uncertainty regions byexplicit evaluation of bias and variance errors

A procedure is developed for identification of probabilistic system uncertainty regions for a linear time-invariant system with unknown dynamics, on the basis of time sequences of input and output data. The classical framework is handled in which the system output is contaminated by a realization of a stationary stochastic process. Given minor and verifiable prior information on the system and the noise process, frequency response, pulse response, and step response confidence regions are constructed by explicitly evaluating the bias and variance errors of a linear regression estimate. In the model parametrizations, use is made of general forms of basis functions. Conservatism of the uncertainty regions is limited by focusing on direct computational solutions rather than on closed-form expressions. Using an instrumental variable method for identification, the procedure is suitable also for input-output data obtained from closed-loop experiments     

Unknown disturbance inputs estimation based on a state functional observer design

We consider the problem of function of state plus unknown input estimation of a linear time-invariant system using only the measured outputs. Two reduced-order input estimators built upon a state functional observer are proposed. The first is an extension of a state/input estimator, while the second is based on adaptive observer design technique. The proposed estimator can be designed under less restrictive conditions than those of the previous work, and unlike some of the past studies the proposed observer can be designed for certain nonminimum phase systems.     

Data-driven output-feedback fault-tolerant control for unknown dynamic systems with faults changing system dynamics

This paper studies the data-driven output-feedback fault-tolerant control (FTC) problem for unknown dynamic systems with faults changing system dynamics. In a framework of active FTC, two basic issues are addressed: the fault detection employing only the measured input–output information; the controller reconfiguration to achieve optimal output-feedback control in the presence of multiple faults. To detect faults and write the system state via the input–output data, an approach to data-driven design of a residual generator with a full-rank transformation matrix is presented. An output-feedback approximate dynamic programming method is developed to solve the optimal control problem under the condition that the unknown linear time-invariant discrete-time plant has multiple outputs. According to the above results and the proposed input–output data-based value function approximation structure of time-varying plants, a model-free output-feedback FTC scheme considering optimal performance is given. Finally, two numerical examples and a practical example of a DC motor control system are used to demonstrate the effectiveness of the proposed methods.     

Linear dynamic filtering with noisy input and output

State estimation problems for linear time-invariant systems with noisy inputs and outputs are considered. An efficient recursive algorithm for the smoothing problem is presented. The equivalence between the optimal filter and an appropriately modified Kalman filter is established. The optimal estimate of the input signal is derived from the optimal state estimate. The result shows that the noisy input/output filtering problem is not fundamentally different from the classical Kalman filtering problem.     

A game-theoretic approach to a finite-time disturbance attenuationproblem

A disturbance attenuation problem over a finite-time interval is considered by a game theoretic approach where the control, restricted to a function of the measurement history, plays against adversaries composed of the process and measurement disturbances, and the initial state. A zero-sum game, formulated as a quadratic cost criterion subject to linear time-varying dynamics and measurements, is solved by a calculus of variation technique. By first maximizing the quadratic cost criterion with respect to the process disturbance and initial state, a full information game between the control and the measurement residual subject to the estimator dynamics results. The resulting solution produces an n-dimensional compensator which expresses the controller as a linear combination of the measurement history. A disturbance attenuation problem is solved based on the results of the game problem. For time-invariant systems it is shown that under certain conditions the time-varying controller becomes time-invariant on the infinite-time interval. The resulting controller satisfies an H _∞ norm bound     

Data-driven simulation and control

Classical linear time-invariant system simulation methods are based on a transfer function, impulse response, or input/state/output representation. We present a method for computing the response of a system to a given input and initial conditions directly from a trajectory of the system, without explicitly identifying the system from the data. Similar to the classical approach for simulation, the classical approach for control is model-based: first a model representation is derived from given data of the plant and then a control law is synthesised using the model and the control specifications. We present an approach for computing a linear quadratic tracking control signal that circumvents the identification step. The results are derived assuming exact data and the simulated response or control input is constructed off-line.