Guaranteed State Estimation in CORA 2021 | Zendy

Matthias Althoff | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Guaranteed 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 , set (abstract data type) , nonlinear system , theoretical computer science , mathematical optimization , data mining , algorithm , mathematics , programming language , engineering , systems engineering , physics , 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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research