Browsing by Subject "Initial state"
Now showing items 18 of 8

Article
Bounds on the number of markings consistent with label observations in petri nets
(2009)In this paper, we consider state estimation in discreteevent systems (DESs) modeled by labeled Petri nets and present upper bounds on the number of system states (or markings) that are consistent with an observed sequence ...

Conference Object
Initial state opacity in stochastic des
(2013)A nondeterministic finite automaton is initialstate opaque if the membership of its true initial state to a given set of secret states S remains opaque (i.e., uncertain) to an intruder who observes system activity through ...

Conference Object
Opacityenforcing supervisory strategies for secure discrete event systems
(2008)Initialstate opacity emerges as a key property in numerous security applications of discrete event systems including keystream generators for cryptographic protocols. Specifically, a system is initialstate opaque if the ...

Conference Object
Optimal sensor selection for structural observability in Discrete Event Systems modeled by Petri nets
(2007)This paper studies sensor selection problems in Discrete Event Systems modeled by Petri nets with outputs (i.e., Petri nets with both transition sensors and place sensors). The goal is to place sensors so as to maintain ...

Conference Object
Reducedcomplexity verification for initialstate opacity in modular discrete event systems
(2010)In this paper, we propose and analyze reducedcomplexity methodologies for verifying initialstate opacity in modular discrete event systems. Initialstate opacity requires that the membership of the system initial state ...

Conference Object
Resolution of initialstate in security applications of des
(2012)A nondeterministic labeled finite automaton is initialstate 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
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 ...