Zonotopes and Kalman observers: Gain optimality under distinct uncertainty paradigms and robust convergence

被引:317
作者
Combastel, Christophe [1 ]
机构
[1] ENSEA, ECS Lab Elect & Control Syst Lab, EA 3649, F-95014 Cergy Pontoise, France
关键词
Observers; Uncertainty; Dynamic systems; Kalman filters; Intervals; Robust stability; State estimation; Zonotopes; GUARANTEED STATE ESTIMATION; INTERVAL OBSERVERS; LINEAR-SYSTEMS; STABILITY;
D O I
10.1016/j.automatica.2015.03.008
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
State bounding observation based on zonotopes is the subject of this paper. Dealing with zonotopes is motivated by set operations resulting in simple matrix calculations with regard to the often huge number of facets and vertices of the equivalent polytopes. Discrete-time LTV/LPV systems with state and measurement uncertainties are considered. Based on a new zonotope size criterion called F-W-radius, and by merging optimal and robust observer gain designs, a Zonotopic Kalman Filter (ZKF) is proposed with a proof of robust convergence. The notion of covariation is introduced and results in an explicit bridge between the zonotopic set-membership and the stochastic paradigms for Kalman Filtering. No intersection is used and the influence of the reduction operator limiting to a tunable maximum the size of the matrices involved in the zonotopic set computations is fully taken into account in the LMI-based robust stability analysis. A numerical example illustrates the effectiveness of the proposed ZKF. (C) 2015 Elsevier Ltd. All rights reserved.
引用
收藏
页码:265 / 273
页数:9
相关论文
共 33 条
[1]   Guaranteed state estimation by zonotopes [J].
Alamo, T ;
Bravo, JM ;
Camacho, EF .
AUTOMATICA, 2005, 41 (06) :1035-1043
[2]  
[Anonymous], 2001, APPL INTERVAL ANAL
[3]  
[Anonymous], AAAI
[4]  
[Anonymous], 2007, Technical Report
[5]   RECURSIVE STATE ESTIMATION FOR A SET-MEMBERSHIP DESCRIPTION OF UNCERTAINTY [J].
BERTSEKAS, DP ;
RHODES, IB .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1971, AC16 (02) :117-+
[6]   Explicit MPC for LPV Systems: Stability and Optimality [J].
Besselmann, Thomas ;
Lofberg, Johan ;
Morari, Manfred .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (09) :2322-2332
[7]  
Boyd S., 1994, Linear matrix inequalities in system and control theory, V15
[8]   Recursive state bounding by parallelotopes [J].
Chisci, L ;
Garulli, A ;
Zappa, G .
AUTOMATICA, 1996, 32 (07) :1049-1055
[9]  
Combastel C, 2005, IEEE DECIS CONTR P, P7228
[10]  
Combastel C., 2003, P EUR CONTR C ECC