Browsing by Subject "Partial observation"
Now showing items 18 of 8

Article
Coverage analysis of mobile agent trajectory via statebased opacity formulations
(2011)This paper performs coverage analysis of mobile agent trajectory utilizing discrete event system models and employing statebased notions of opacity. Nondeterministic finite automata with partial observation on their ...

Article
Fault diagnosis in discrete event systems modeled by partially observed petri nets
(2009)In this paper, we study fault diagnosis in discrete event systems modeled by partially observed Petri nets, i.e., Petri nets equipped with sensors that allow observation of the number of tokens in some of the places and/or ...

Article
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
(2014)In this paper, we consider the forbidden state problem in discrete event systems modeled by partially observed and partially controlled Petri nets. Assuming that the reverse net of the uncontrollable subnet of the Petri ...

Conference Object
Verification of infinitestep opacity and analysis of its complexity
(2009)In this paper, we formulate, analyze, and devise methodologies to verify the notion of infinitestep opacity in discrete event systems that are modeled as (possibly nondeterministic) finite automata with partial observation ...

Article
Verification of infinitestep opacity and complexity considerations
(2012)We describe and analyze the complexity of verifying the notion of infinitestep opacity in systems that are modeled as nondeterministic finite automata with partial observation on their transitions. Specifically, a system ...

Article
Verification of initialstate opacity in security applications of discrete event systems
(2013)In this paper, we formulate and analyze methodologies for verifying the notion of initialstate opacity in discrete event systems that are modeled as nondeterministic finite automata with partial observation on their ...

Conference Object
Verification of Kstep opacity and analysis of its complexity
(2009)In this paper, we analyze the verification of Kstep opacity in discrete event systems that are modeled as (possibly nondeterministic) finite automata with partial observation on their transitions. A system is Kstep ...

Article
Verification of Kstep opacity and analysis of its complexity
(2011)Motivated by security and privacy considerations in a variety of applications of discrete event systems, we describe and analyze the computational complexity required for verifying the notion of Kstep opacity for systems ...