Browsing by Subject "Diagnosability"
Now showing items 1-5 of 5
-
Conference Object
Decentralized failure diagnosis in discrete event systems
(2006)In this paper, we develop and analyze decentralized failure diagnosis schemes for systems that can be modeled as finite state machines (FSMs). We consider a scenario where we are given multiple local diagnosers (with partial ...
-
Conference Object
Detectability in stochastic discrete event systems
(IFAC Secretariat, 2014)In this paper we define and analyze notions of detectability in stochastic discrete event systems (SDES). More specifically, we introduce the notions of A-detectability and AA-detectability which focus on characterizing ...
-
Article
On the history of diagnosability and opacity in discrete event systems
(2018)This paper presents historical remarks on key projects and papers that led to the development of a theory of event diagnosis for discrete event systems modeled by finite-state automata or Petri nets in the 1990s. The goal ...
-
Conference Object
Resolution of initial-state in security applications of des
(2012)A non-deterministic labeled finite automaton is initial-state opaque if the membership of its true initial state to a set of secret states S remains opaque (i.e., uncertain) to an intruder who observes system activity ...
-
Article
Revised Test for Stochastic Diagnosability of Discrete-Event Systems
(2018)This paper provides revisions to the algorithms presented by Chen et al., 2013 for testing diagnosability of stochastic discrete-event systems. Additional new contributions include PSPACE-hardness of verifying strong ...