A Multi-Observer Based Estimation Framework for Nonlinear Systems under Sensor Attacks

We address the problem of state estimation and attack isolation for general discrete-time nonlinear systems when sensors are corrupted by (potentially unbounded) attack signals. For a large class of nonlinear plants and observers, we provide a general estimation scheme, built around the idea of sensor redundancy and multi-observer, capable of reconstructing the system state in spite of sensor attacks and noise. This scheme has been proposed by others for linear systems/observers and here we propose a unifying framework for a much larger class of nonlinear systems/observers. Using the proposed estimator, we provide an isolation algorithm to pinpoint attacks on sensors during sliding time windows. Simulation results are presented to illustrate the performance of our tools.Comment: arXiv admin note: text overlap with arXiv:1806.0648

Yet Another Tutorial of Disturbance Observer: Robust Stabilization and Recovery of Nominal Performance

This paper presents a tutorial-style review on the recent results about the disturbance observer (DOB) in view of robust stabilization and recovery of the nominal performance. The analysis is based on the case when the bandwidth of Q-filter is large, and it is explained in a pedagogical manner that, even in the presence of plant uncertainties and disturbances, the behavior of real uncertain plant can be made almost similar to that of disturbance-free nominal system both in the transient and in the steady-state. The conventional DOB is interpreted in a new perspective, and its restrictions and extensions are discussed

Parameter estimation in kinetic reaction models using nonlinear observers facilitated by model extensions

An essential part of mathematical modelling is the accurate and reliable estimation of model parameters. In biology, the required parameters are particularly difficult to measure due to either shortcomings of the measurement technology or a lack of direct measurements. In both cases, parameters must be estimated from indirect measurements, usually in the form of time-series data. Here, we present a novel approach for parameter estimation that is particularly tailored to biological models consisting of nonlinear ordinary differential equations. By assuming specific types of nonlinearities common in biology, resulting from generalised mass action, Hill kinetics and products thereof, we can take a three step approach: (1) transform the identification into an observer problem using a suitable model extension that decouples the estimation of non-measured states from the parameters; (2) reconstruct all extended states using suitable nonlinear observers; (3) estimate the parameters using the reconstructed states. The actual estimation of the parameters is based on the intrinsic dependencies of the extended states arising from the definitions of the extended variables. An important advantage of the proposed method is that it allows to identify suitable measurements and/or model structures for which the parameters can be estimated. Furthermore, the proposed identification approach is generally applicable to models of metabolic networks, signal transduction and gene regulation

State-space model identification and feedback control of unsteady aerodynamic forces

Unsteady aerodynamic models are necessary to accurately simulate forces and develop feedback controllers for wings in agile motion; however, these models are often high dimensional or incompatible with modern control techniques. Recently, reduced-order unsteady aerodynamic models have been developed for a pitching and plunging airfoil by linearizing the discretized Navier-Stokes equation with lift-force output. In this work, we extend these reduced-order models to include multiple inputs (pitch, plunge, and surge) and explicit parameterization by the pitch-axis location, inspired by Theodorsen's model. Next, we investigate the na\"{\i}ve application of system identification techniques to input--output data and the resulting pitfalls, such as unstable or inaccurate models. Finally, robust feedback controllers are constructed based on these low-dimensional state-space models for simulations of a rigid flat plate at Reynolds number 100. Various controllers are implemented for models linearized at base angles of attack $\alpha_0=0^\circ, \alpha_0=10^\circ$, and $\alpha_0=20^\circ$. The resulting control laws are able to track an aggressive reference lift trajectory while attenuating sensor noise and compensating for strong nonlinearities.Comment: 20 pages, 13 figure

Time Complexity of Decentralized Fixed-Mode Verification

Given an interconnected system, this note is concerned with the time complexity of verifying whether an unrepeated mode of the system is a decentralized fixed mode (DFM). It is shown that checking the decentralized fixedness of any distinct mode is tantamount to testing the strong connectivity of a digraph formed based on the system. It is subsequently proved that the time complexity of this decision problem using the proposed approach is the same as the complexity of matrix multiplication. This work concludes that the identification of distinct DFMs (by means of a deterministic algorithm, rather than a randomized one) is computationally very easy, although the existing algorithms for solving this problem would wrongly imply that it is cumbersome. This note provides not only a complexity analysis, but also an efficient algorithm for tackling the underlying problem

Feedback control of unstable steady states of flow past a flat plate using reduced-order estimators

We present an estimator-based control design procedure for flow control, using reduced-order models of the governing equations, linearized about a possibly unstable steady state. The reduced models are obtained using an approximate balanced truncation method that retains the most controllable and observable modes of the system. The original method is valid only for stable linear systems, and we present an extension to unstable linear systems. The dynamics on the unstable subspace are represented by projecting the original equations onto the global unstable eigenmodes, assumed to be small in number. A snapshot-based algorithm is developed, using approximate balanced truncation, for obtaining a reduced-order model of the dynamics on the stable subspace. The proposed algorithm is used to study feedback control of 2-D flow over a flat plate at a low Reynolds number and at large angles of attack, where the natural flow is vortex shedding, though there also exists an unstable steady state. For control design, we derive reduced-order models valid in the neighborhood of this unstable steady state. The actuation is modeled as a localized body force near the leading edge of the flat plate, and the sensors are two velocity measurements in the near-wake of the plate. A reduced-order Kalman filter is developed based on these models and is shown to accurately reconstruct the flow field from the sensor measurements, and the resulting estimator-based control is shown to stabilize the unstable steady state. For small perturbations of the steady state, the model accurately predicts the response of the full simulation. Furthermore, the resulting controller is even able to suppress the stable periodic vortex shedding, where the nonlinear effects are strong, thus implying a large domain of attraction of the stabilized steady state.Comment: 36 pages, 17 figure

Using discrete-time hyperchaotic-based asymmetric encryption and decryption keys for secure signal transmission

In this paper, a framework for the synchronization of two non-identical discrete-time hyperchaotic systems, namely the 3D Baier-Klein and the 3D Hitzel-Zele maps, based on the use of hybrid output feedback concept and aggregation techniques, is employed to design a two-channel secure communication system. New sufficient conditions for synchronization are obtained by the use of Borne and Gentina practical criterion for stabilization study associated to the forced arrow form matrix for system description. The efficiency of the proposed approach to confidentially recover the transmitted message signal is shown via an application to the hyperchaotic Baier-Klein and Hitzel-Zele systems, considered as generators of asymmetric encryption and decryption keys