Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2021.3140111
Abstract: Detectability is a fundamental property in partially observed dynamical systems. It describes whether one can use observed output sequences to determine the current and subsequent states. Delayed detectability generalizes detectability in the sense that when… read more here.
Keywords: time; polynomial time; strong detectability; detectability ... See more keywords
A Trisection Algorithm for Estimating Distance Measures for Strong Observability and Strong Detectability
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2022.3142120
Abstract: For reliably analyzing the properties of strong observability and strong detectability of a system, continuous distance measures can be used. When calculating these measures, it is necessary to find the global minimum of a nonconvex… read more here.
Keywords: strong detectability; distance measures; distance; observability strong ... See more keywords