Analysis of strong and strong periodic detectability of bounded labeled Petri nets
Sign Up to like & getrecommendations! Published in 2021 at "Nonlinear Analysis: Hybrid Systems"
DOI: 10.1016/j.nahs.2021.101087
Abstract: Abstract Detectability describes the property of a system to uniquely determine, after a finite number of observations, the current and the subsequent states. Different notions of detectability have been proposed in the literature. In this… read more here.
Keywords: strong periodic; periodic detectability; petri nets; labeled petri ... See more keywords
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