Browsing by Subject "Discrete event systems"
Now showing items 120 of 27

Conference Object

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 ...

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 ...

Article
Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements
(2018)We extend and verify diagnosability for a class of set intersection refinement strategies, which can be used for distributed state estimation and fault diagnosis in nondeterministic finite automata that are observed at ...

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 ...

Conference Object
Fault diagnosis in discrete event systems modeled by petri nets with outputs
(2008)In this paper, we study fault diagnosis in discrete event systems modeled by Petri nets with outputs, i.e., Petri nets with place sensors and transition sensors. Faults are modeled as unobservable transitions and are divided ...

Article
Fault model identification and synthesis in Petri nets
(2015)Fault identification studies in the Discrete Event Systems literature are typically modelbased and require knowledge of the structure of the system, including the nature (and behavior) of the possible faults. In this paper ...

Conference Object
Fault model identification with petri nets
(2008)Most of the fault identification problems in the Discrete Event Systems literature assume knowledge of the structure of the net system, including the nature (and behavior) of the possible faults. In this paper we deal with ...

Article
Marking observer in labeled petri nets with application to supervisory control
(2017)In this paper, we consider the problem of marking estimation in labeled Petri nets whose initial marking is known to belong to a given convex set, in the presence of silent transitions (i.e., transitions labeled with the ...

Conference Object
Marking observer of labeled petri nets with uncertainty in the initial marking
(2013)In this paper we consider marking estimation in labeled Petri nets whose initial marking is known to belong to a given convex set. We allow for silent transitions (i.e., transitions labeled with the empty word) and ...

Article
Maximum likelihood failure diagnosis in finite state machines under unreliable observations
(2010)In this paper, we develop a probabilistic methodology for failure diagnosis in finite state machines based on a sequence of unreliable observations. Given prior knowledge of the input probability distribution but without ...

Conference Object
Nonconcurrent fault identification in discrete event systems using encoded Petri net states
(2002)In this paper we extend a previously developed codingbased methodology for monitoring faults in discrete event systems that are described by Petri nets. We present a systematic design that enables us to nonconcurrently ...

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 finitestate automata or Petri nets in the 1990s. The goal ...

Conference Object
Opacity verification in stochastic discrete event systems
(2010)Motivated by security and privacy considerations in applications of discrete event systems, various notions of opacity have been introduced. Specifically, a system is said to be currentstate opaque if the entrance of the ...

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 ...

Article
Opacityenforcing supervisory strategies via state estimator constructions
(2012)Statebased notions of opacity, such as initialstate opacity and infinitestep opacity, emerge as key properties in numerous security applications of discrete event systems. We consider systems that are modeled as partially ...

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 ...

Article
Probabilistic detection of FSM single statetransition faults based on state occupancy measurements
(2005)This note discusses a probabilistic methodology for detecting single permanent or transient functional changes in the statetransition mechanism of a deterministic finitestate machine (FSM). The associated probabilistic ...

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 ...

Article
Sensor selection for structural observability in discrete event systems modeled by petri nets
(2010)This paper studies optimal sensor selection in discrete event systems modeled by partially observed Petri nets. The goal is to place a minimum number of sensors while maintaining structural observability, i.e., the ability ...