Browsing by Subject "Petri nets"
Now showing items 1-20 of 39
-
Article
Algebraic approaches for fault identification in discrete-event systems
(2005)In this note, we develop algebraic approaches for fault identification in discrete-event systems that are described by Petri nets. We consider faults in both Petri net transitions and places, and assume that system events ...
-
Conference Object
Approximating optimal place sensor selection for structural observability in discrete event systems modeled by petri nets
(2007)In this paper, we study place sensor selection problems in Discrete Event Systems modeled by Petri nets with outputs (i.e., Petri nets with transition and place sensors). Our goal is to place a minimal number of sensors ...
-
Article
Bounds on the number of markings consistent with label observations in petri nets
(2009)In this paper, we consider state estimation in discrete-event 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
Comments on "A modified reachability tree approach to analysis of unbounded Petri nets"
(2006)The above paper introduced the construction of a modified reachability tree (MRT) for (unbounded) Petri nets and its application to reachability, liveness, and deadlock analysis. This note shows via a counterexample that ...
-
Conference Object
Constrained sensor selection for discrete event systems modeled by Petri nets
(2011)This paper studies how to place a minimum number of sensors in discrete event systems modeled by partially observed Petri nets while maintaining structural observability. When the sensors are constrained to be associated ...
-
Article
Designs of bisimilar Petri net controllers with fault tolerance capabilities
(2008)This paper proposes an approach for providing tolerance against faults that may compromise the functionality of a given controller modeled by a Petri net. The method is based on embedding the given Petri net controller ...
-
Article
Failure identification in smart grids based on Petri net modeling
(2011)This paper presents a method to identify and localize failures in smart grids. The method is based on a carefully designed Petri net (PN) that captures the modeling details of the protection system of the distribution ...
-
Conference Object
Fault detection and identification in Petri net controllers
(2004)This paper proposes a methodology for providing fault tolerance to Petri net controllers. In order to provide tolerance against faults that may compromise the functionality of the Petri net controller, we construct a ...
-
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 model-based 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
Fault-tolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets
(2002)The traditional approach to fault-tolerant computation has been via modular hardware redundancy. Although universal and simple, modular redundancy is inherently expensive and inefficient. By exploiting particular structural ...
-
Conference Object
Fault-tolerant supervisory control of discrete event systems modeled by bounded Petri nets
(2007)This paper considers bounded Petri nets with both controllable and uncontrollable transitions, and addresses the synthesis of a fault-tolerant supervisor in a setting where the control specifications are described via ...
-
Conference Object
A framework for dynamic validation of context-aware applications
(2012)The development of context-aware applications is a complex process that involves the tasks of analysis, design, validation and implementation. This process is typically performed using context modelling approaches that ...
-
Conference Object
Least-cost firing sequence estimation in labeled Petri nets with unobservable transitions
(2007)This paper develops a recursive algorithm for estimating the least-cost 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
Least-cost planning sequence estimation in labelled Petri nets
(2011)This paper develops a recursive algorithm for estimating the least-cost planning sequence in a manufacturing system that is modelled by a labelled Petri net. We consider a setting where we are given a sequence of labels ...
-
Conference Object
Least-cost transition firing sequence estimation in labeled petri nets
(2006)This paper develops a recursive algorithm for estimating the least-cost transition firing sequence(s) based on the observation of a sequence of labels produced by transition activity in a given labeled Petri net. Each ...
-
Article
Least-cost transition firing sequence estimation in labeled Petri nets with unobservable transitions
(2011)This paper proposes an approach for estimating the least-cost 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
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 ...