Browsing by Author "Ru, Y."
Now showing items 1-14 of 14
-
Conference Object
Approximating optimal place sensor selection for structural observability in discrete event systems modeled by petri nets
Ru, Y.; Hadjicostis, Christoforos N. (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
Ru, Y.; Hadjicostis, Christoforos N. (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"
Ru, Y.; Wu, W.; Hadjicostis, Christoforos N. (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
Ru, Y.; Hadjicostis, Christoforos N. (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
Fault diagnosis in discrete event systems modeled by partially observed petri nets
Ru, Y.; Hadjicostis, Christoforos N. (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
Ru, Y.; Hadjicostis, Christoforos N. (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-tolerant supervisory control of discrete event systems modeled by bounded Petri nets
Ru, Y.; Hadjicostis, Christoforos N. (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
Least-cost transition firing sequence estimation in labeled petri nets
Li, N.; Ru, Y.; Hadjicostis, Christoforos N. (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 ...
-
Conference Object
Optimal sensor selection for structural observability in Discrete Event Systems modeled by Petri nets
Ru, Y.; Hadjicostis, Christoforos N. (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
Reachability analysis for a class of petri nets
Ru, Y.; Hadjicostis, Christoforos N. (2009)In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly) monotone Petri net, an initial marking ...
-
Article
Sensor selection for structural observability in discrete event systems modeled by petri nets
Ru, Y.; Hadjicostis, Christoforos N. (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 ...
-
Conference Object
State estimation in discrete event systems modeled by labeled Petri Nets
Ru, Y.; Hadjicostis, Christoforos N. (2006)In this paper, we address the problem of state estimation in Discrete Event Systems (DES) modeled by labeled Petri nets that may have nondeterministic transitions (i.e., transitions that share the same label) or unobservable ...
-
Article
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
Ru, Y.; Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N. (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
Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications
Ru, Y.; Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N. (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 ...