This paper presents new methods for set-valued state estimation of nonlinear discrete-time systems with unknown-but-bounded uncertainties. A single time step involves propagating an enclosure of the system states through the nonlinear dynamics (prediction), and then enclosing the intersection of this set with a bounded-error measurement (update). When these enclosures are represented by simple sets such as intervals, ellipsoids, parallelotopes, and zonotopes, certain set operations can be very conservative. Yet, using general convex polytopes is much more computationally demanding. To address this, we present in this paper two new methods, a mean value extension and a first-order Taylor extension, for efficiently propagating constrained zonotopes through nonlinear mappings. These extend existing methods for zonotopes in a consistent way. Examples show that these extensions yield tighter prediction enclosures than zonotopic estimation methods, while largely retaining the computational benefits of zonotopes. Moreover, they enable tighter update enclosures because constrained zonotopes can represent intersections much more accurately than zonotopes.

Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems

Raimondo D. M.
2020-01-01

Abstract

This paper presents new methods for set-valued state estimation of nonlinear discrete-time systems with unknown-but-bounded uncertainties. A single time step involves propagating an enclosure of the system states through the nonlinear dynamics (prediction), and then enclosing the intersection of this set with a bounded-error measurement (update). When these enclosures are represented by simple sets such as intervals, ellipsoids, parallelotopes, and zonotopes, certain set operations can be very conservative. Yet, using general convex polytopes is much more computationally demanding. To address this, we present in this paper two new methods, a mean value extension and a first-order Taylor extension, for efficiently propagating constrained zonotopes through nonlinear mappings. These extend existing methods for zonotopes in a consistent way. Examples show that these extensions yield tighter prediction enclosures than zonotopic estimation methods, while largely retaining the computational benefits of zonotopes. Moreover, they enable tighter update enclosures because constrained zonotopes can represent intersections much more accurately than zonotopes.
2020
3-ott-2019
Pubblicato
File in questo prodotto:
File Dimensione Formato  
1-s2.0-S0005109819304753-main.pdf

Accesso chiuso

Tipologia: Documento in Versione Editoriale
Licenza: Copyright Editore
Dimensione 1.34 MB
Formato Adobe PDF
1.34 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11368/3073213
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 49
  • ???jsp.display-item.citation.isi??? 42
social impact