Observability and observer design for switched linear systems

Hybrid vehicles, HVAC systems in new/old buildings, power networks, and the like require safe, robust control that includes switching the mode of operation to meet environmental and performance objectives. Such switched systems consist of a set of continuous-time dynamical behaviors whose sequence of operational modes is driven by an underlying decision process. This thesis investigates feasibility conditions and a methodology for state and mode reconstruction given input-output measurements (not including mode sequence). An application herein considers insulation failures in permanent magnet synchronous machines (PMSMs) used in heavy hybrid vehicles. Leveraging the feasibility literature for switched linear time-invariant systems, this thesis introduces two additional feasibility results: 1) detecting switches from safe modes into failure modes and 2) state and mode estimation for switched linear time-varying systems. This thesis also addresses the robust observability problem of computing the smallest structured perturbations to system matrices that causes observer infeasibility (with respect to the Frobenius norm). This robustness framework is sufficiently general to solve related robustness problems including controllability, stabilizability, and detectability. Having established feasibility, real-time observer reconstruction of the state and mode sequence becomes possible. We propose the embedded moving horizon observer (EMHO), which re-poses the reconstruction as an optimization using an embedded state model which relaxes the range of the mode sequence estimates into a continuous space. Optimal state and mode estimates minimize an L2-norm between the measured output and estimated output of the associated embedded state model. Necessary conditions for observer convergence are developed. The EMHO is adapted to solve the surface PMSM fault detection problem

Detection of Sensor Attack and Resilient State Estimation for Uniformly Observable Nonlinear Systems having Redundant Sensors

This paper presents a detection algorithm for sensor attacks and a resilient state estimation scheme for a class of uniformly observable nonlinear systems. An adversary is supposed to corrupt a subset of sensors with the possibly unbounded signals, while the system has sensor redundancy. We design an individual high-gain observer for each measurement output so that only the observable portion of the system state is obtained. Then, a nonlinear error correcting problem is solved by collecting all the information from those partial observers and exploiting redundancy. A computationally efficient, on-line monitoring scheme is presented for attack detection. Based on the attack detection scheme, an algorithm for resilient state estimation is provided. The simulation results demonstrate the effectiveness of the proposed algorithm

Observability Normal Forms for a class of switched systems with zeno phenomena

International audienceThis paper deals with necessary and sufficient conditions to transform a class of switched systems to a particular form dedicated to observer design with and without zeno phenomena. Meanwhile, sufficient observability conditions for switched system with or without zeno phenomena are given. In the last section, some observer structures are proposed upon two academical examples

Robust output stabilization: improving performance via supervisory control

We analyze robust stability, in an input-output sense, of switched stable systems. The primary goal (and contribution) of this paper is to design switching strategies to guarantee that input-output stable systems remain so under switching. We propose two types of {\em supervisors}: dwell-time and hysteresis based. While our results are stated as tools of analysis they serve a clear purpose in design: to improve performance. In that respect, we illustrate the utility of our findings by concisely addressing a problem of observer design for Lur'e-type systems; in particular, we design a hybrid observer that ensures ``fast'' convergence with ``low'' overshoots. As a second application of our main results we use hybrid control in the context of synchronization of chaotic oscillators with the goal of reducing control effort; an originality of the hybrid control in this context with respect to other contributions in the area is that it exploits the structure and chaotic behavior (boundedness of solutions) of Lorenz oscillators.Comment: Short version submitted to IEEE TA