Guaranteed state estimation by zonotopes
نویسندگان
چکیده
This paper presents a new approach to guaranteed state estimation for non linear discrete-time systems with a bounded description of noise and parameters. The main result is an algorithm to compute a set that contains the states consistent with the measured output and the given noise and parameters. This set is represented by a zonotope. The volume of the zonotope is minimized each sample instant solving a convex optimization problem. Interval arithmetic is used to calculate a guaranteed trajectory of the state process. Two examples have been provided for clarifying the algorithm.
منابع مشابه
A New Approach for Guaranteed State Estimation by Zonotopes
This paper proposes a methodology for guaranteed state estimation of linear discretetime systems in the presence of bounded disturbances and noises. This aims at computing an outer approximation of the state estimation domain represented by a zonotope. A new criterion is used to reduce the size of the zonotope at each sample time. An illustrative example is analyzed in order to highlight the ad...
متن کاملLeak Detection, Isolation and Estimation in Pressurized Water Pipe Networks Using LPV Models and Zonotopes
In this paper, a leak detection, isolation and estimation methodology in pressurized water pipe networks is proposed. The methodology is based on computing residuals which are obtained comparing measured pressures (heads) in selected points of the network with their estimated values by means of a Linear Parameter Varying (LPV) model and zonotopes. The structure of the LPV model is obtained from...
متن کاملVerification of Uncertain Embedded Systems by Computing Reachable Sets Based on Zonotopes
Formal verification using reachability analysis has been shown to be useful for detecting design failures for controlled embedded systems, and thus to improve dependability. If the state space is hybrid, however, the growth of complexity with the dimension of the continuous dynamics limits the applicability significantly. This paper proposes an efficient approach to computing reachable sets for...
متن کاملInput design for guaranteed fault diagnosis using zonotopes
An input design method is presented for guaranteeing the diagnosability of faults from the outputs of a system. Faults are modeled by discrete switches between linear models with bounded disturbances and measurement errors. Zonotopes are used to efficiently characterize the set of inputs that are guaranteed to lead to outputs that are consistent with at most one fault scenario. Provided that th...
متن کاملSub-optimal Estimation of HIV Time-delay Model using State-Dependent Impulsive Observer with Time-varying Impulse Interval: Application to Continuous-time and Impulsive Inputs
Human Immunodeficiency Virus (HIV) weakens the immune system in confronting various diseases by attacking to CD4+T cells. In modeling HIV behavior, the number of CD4+T cells is considered as the output. But, continuous-time measurement of these cells is not possible in practice, and the measurement is only available at variable intervals that are several times bigger than sampling time. In this...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Automatica
دوره 41 شماره
صفحات -
تاریخ انتشار 2005