Removing Two Fundamental Assumptions in Verifying Strong Periodic (D-)Detectability of Discrete-Event Systems
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Control Systems Letters"
DOI: 10.1109/lcsys.2023.3273472
Abstract: In this letter, in discrete-event systems modeled by labeled finite-state automata (LFSAs), we show new thinking on the tools of detector and concurrent composition and derive two new algorithms for verifying strong periodic detectability (SPD)… read more here.
Keywords: strong periodic; verifying strong; inline formula; tex math ... See more keywords