Browsing by Subject "Unobservable"
Now showing items 19 of 9

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

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

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

Conference Object
Leastcost firing sequence estimation in labeled Petri nets with unobservable transitions
(2007)This paper develops a recursive algorithm for estimating the leastcost transition firing sequences that match the observation of a sequence of labels produced by transition activity in a given labeled Petri net. The Petri ...

Article
Leastcost transition firing sequence estimation in labeled Petri nets with unobservable transitions
(2011)This paper proposes an approach for estimating the leastcost transition firing sequence(s) that matches (match) the observation of a sequence of labels produced by transition activity in a given labeled Petri net. Each ...

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
State feedback control of labeled Petri nets with uncertainty in the initial marking
(Institute of Electrical and Electronics Engineers Inc., 2014)In this paper we consider the problem of designing a state feedback controller for a labeled Petri net whose initial marking is known to belong to a given convex set. We allow for silent transitions (i.e., transitions ...

Conference Object
Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications
(2008)In this paper, we consider the forbidden state problem in discrete event systems modeled by Petri nets with uncontrollable and/or unobservable transitions. To handle the interleaving of uncontrollable and unobservable ...