Guaranteed State Estimation in CORA 2021

15 pages•Published: December 6, 2021

Abstract

Tool presentation: Safety-critical systems often require guaranteed state estimation instead of estimating the most-likely state. While a lot of research on guaranteed state estimation has been conducted, there exists no tool for this purpose. Since guaranteed state estimation is in many cases a reachability problem or closely related to reachability analysis,
this paper presents its implementation in the continuous reachability analyzer (CORA). We present how we integrated different types of observers, different set representations, and linear as well as nonlinear dynamics. The scalability and usefulness of the implemented
observers is demonstrated for a scalable tank system.

Keyphrases: constrained zonotopes, ellipsoids, guaranteed state estimation, interval observers, propagation based observers, reachability analysis, strip based observers, zonotopes

In: Goran Frehse and Matthias Althoff (editors). 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), vol 80, pages 161-175.

Links:	https://easychair.org/publications/paper/hMPK
	https://doi.org/10.29007/7m2k

BibTeX entry

@inproceedings{ARCH21:Guaranteed_State_Estimation_CORA,
  author    = {Matthias Althoff},
  title     = {Guaranteed State Estimation in CORA 2021},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/hMPK},
  doi       = {10.29007/7m2k},
  pages     = {161-175},
  year      = {2021}}

Download PDF Open PDF in browser