Constrained zonotopes: a new tool for set-based estimation and fault detection. (English) Zbl 1338.93119
Summary: This article introduces a new class of sets, called constrained zonotopes, that can be used to enclose sets of interest for estimation and control. The numerical representation of these sets is sufficient to describe arbitrary convex polytopes when the complexity of the representation is not limited. At the same time, this representation permits the computation of exact projections, intersections, and Minkowski sums using very simple identities. Efficient and accurate methods for computing an enclosure of one constrained zonotope by another of lower complexity are provided. The advantages and disadvantages of these sets are discussed in comparison to ellipsoids, parallelotopes, zonotopes, and convex polytopes in halfspace and vertex representations. Moreover, extensive numerical comparisons demonstrate significant advantages over other classes of sets in the context of set-based state estimation and fault detection.
MSC:
| 93B27 | Geometric methods |
| 93B03 | Attainable sets, reachability |
| 93E10 | Estimation and detection in stochastic control theory |
Software:
MPTReferences:
| [1] | Alamo, T.; Bravo, J. M.; Camacho, E. F., Guaranteed state estimation by zonotopes, Automatica, 41, 6, 1035-1043 (2005) · Zbl 1091.93038 |
| [3] | Althoff, M.; Stursberg, O.; Buss, M., Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes, Nonlinear Analysis-Hybrid Systems, 4, 2, 233-249 (2010) · Zbl 1201.93017 |
| [4] | Bertsekas, D. P.; Rhodes, I. B., Recursive state estimation for a set-membership description of uncertainty, IEEE Transactions on Automatic Control, 16, 2, 117-128 (1971) |
| [5] | Blanchini, F.; Miani, S., Set-theoretic methods in control (2008), Springer International Publishing · Zbl 1140.93001 |
| [6] | Bravo, J. M.; Alamo, T.; Camacho, E. F., Bounded error identification of systems with time-varying parameters, IEEE Transactions on Automatic Control, 51, 1144-1150 (2006) · Zbl 1366.93121 |
| [7] | Chernousko, F. L., Optimal guaranteed estimates of indeterminacies with the aid of ellipsoids. Parts I-II, Engineering Cybernetics, 18, 1-9 (1980) · Zbl 0481.49034 |
| [8] | Chisci, L.; Garulli, A.; Zappa, G., Recursive state bounding by parallelotopes, Automatica, 32, 7, 1049-1055 (1996) |
| [10] | Durieu, C.; Walter, E.; Polyak, B., Multi-input multi-output ellipsoidal state bounding, Journal of Optimization Theory and Applications, 111, 2, 273-303 (2001) · Zbl 1080.93656 |
| [11] | Fogel, E.; Huang, F., On the value of information in system identification—Bounded noise case, Automatica, 18, 229-238 (1982) · Zbl 0433.93062 |
| [12] | Hagemann, W., Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems, Mathematics in Computer Science, 9, 3, 283-325 (2015) · Zbl 1341.68293 |
| [13] | Ingimundarson, A.; Bravo, J. M.; Puig, V.; Alamo, T.; Guerra, P., Robust fault detection using zonotope-based set-membership consistency test, International Journal of Adaptive Control and Signal Processing, 23, 4, 311-330 (2009) · Zbl 1160.93318 |
| [14] | Jones, C. N.; Kerrigan, E. C.; Maciejowski, J. M., On polyhedral projection and parametric programming, Journal of Optimization Theory and Applications, 138, 2, 207-220 (2008) · Zbl 1211.90119 |
| [15] | Kuhn, W., Rigorously computed orbits of dynamical systems without the wrapping effect, Computing, 61, 1, 47-67 (1998) · Zbl 0910.65052 |
| [16] | Kurzhanski, A. B., Hamiltonian techniques for the problem of set-membership state estimation, International Journal of Adaptive Control and Signal Processing, 25, 3, 249-263 (2011) · Zbl 1222.93217 |
| [17] | Kvasnica, M.; Grieder, P.; Baotić, M.; Morari, M., Multi-parametric toolbox (MPT), (Hybrid systems: computation and control (2004), Springer), 448-462 · Zbl 1135.93332 |
| [18] | Le, V. T.H.; Stoica, C.; Alamo, T.; Camacho, E. F.; Dumur, D., Zonotopic guaranteed state estimation for uncertain systems, Automatica, 49, 11, 3418-3424 (2013) · Zbl 1315.93077 |
| [19] | Liu, X. Q.; Zhang, H. Y.; Liu, J.; Yang, J., Fault detection and diagnosis of permanent-magnet DC motor based on parameter estimation and neural network, IEEE Transactions on Industrial Electronics, 47, 5, 1021-1030 (2000) |
| [20] | Mayne, D. Q.; Rakovic, S. V.; Findeisen, R.; Allgower, F., Robust output feedback model predictive control of constrained linear systems, Automatica, 42, 7, 1217-1222 (2006) · Zbl 1116.93032 |
| [21] | McMullen, P., On zonotopes, Transactions of the American Mathematical Society, 159, 91-109 (1971) · Zbl 0223.52007 |
| [22] | Neumaier, A., Interval methods for systems of equations (1990), Cambridge University Press: Cambridge University Press Cambridge · Zbl 0706.15009 |
| [23] | Ocampo-Martinez, C.; Guerra, P.; Puig, V.; Quevedo, J., Actuator fault-tolerance evaluation of linear constrained model-predictive control using zonotope-based set computations, Journal of Systems and Control Engineering, 221, 6, 915-926 (2007) |
| [26] | Schweppe, F., Recursive state estimation: Unknown but bounded errors and system inputs, IEEE Transactions on Automatic Control, 13, 1, 22-28 (1968) |
| [27] | Scott, J. K.; Barton, P. I., Bounds on the reachable sets of nonlinear control systems, Automatica, 49, 93-100 (2013) · Zbl 1257.93015 |
| [28] | Scott, J. K.; Findeisen, R.; Braatz, R. D.; Raimondo, D. M., Input design for guaranteed fault diagnosis using zonotopes, Automatica, 50, 6, 1580-1589 (2014) · Zbl 1296.93019 |
| [29] | Shamma, J. S.; Tu, K.-Y., Set-valued observers and optimal disturbance rejection, IEEE Transactions on Automatic Control, 44, 253-264 (1999) · Zbl 0958.93013 |
| [30] | Tabatabaeipour, S. M., Active fault detection and isolation of discrete-time linear time-varying systems: a set-membership approach, International Journal of Systems Science, 46, 11, 1917-1933 (2015) · Zbl 1332.94121 |
| [31] | Tabatabaeipour, S. M.; Odgaard, P. F.; Bak, T.; Stoustrup, J., Fault detection of wind turbines with uncertain parameters: A set-membership approach, Energies, 5, 2424-2448 (2012) |
| [32] | Tiwary, H. R., On the hardness of computing intersection, union and Minkowski sum of polytopes, Discrete & Computational Geometry, 40, 3, 469-479 (2008) · Zbl 1155.52008 |
| [33] | Tornil-Sin, S.; Ocampo-Martinez, C.; Puig, V.; Escobet, T., Robust fault detection of non-linear systems using set-membership state estimation based on constraint satisfaction, Engineering Applications of Artificial Intelligence, 25, 1, 1-10 (2012) |
| [34] | Walter, E.; Piet-Lahanier, H., Exact recursive polyhedral description of the feasible parameter set for bounded-error models, IEEE Transactions on Automatic Control, 34, 8, 911-915 (1989) · Zbl 0698.93017 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
