Open AccessGuaranteed State Estimation in CORA 2021
Author(s) -
Matthias Althoff
Publication year - 2021
Publication title -
epic series in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 2398-7340
DOI - 10.29007/7m2k
Subject(s) - reachability , scalability , computer science , state (computer science) , estimation , nonlinear system , set (abstract data type) , mathematical optimization , control theory (sociology) , theoretical computer science , algorithm , artificial intelligence , mathematics , control (management) , programming language , engineering , physics , systems engineering , database , quantum mechanics
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.