Browsing by Subject "Petri nets"
Now showing items 21-39 of 39
-
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 ...
-
Conference Object
Minimum initial marking estimation in labeled petri nets
(2009)This paper develops an algorithm for estimating the minimum initial marking based on the observation of a sequence of labels that is produced by underlying transition activity in a given labeled Petri net. We assume that ...
-
Article
Minimum initial marking estimation in labeled petri nets
(2013)This technical note develops algorithms for estimating the minimum initial marking(s) following the observation of a sequence of labels produced by underlying transition activity in a known labeled Petri net (PN). Since ...
-
Article
Monitoring discrete event systems using Petri net embeddings
(1999)In this paper we discuss a methodology for monitoring failures and other activity in discrete event systems that are described by Petri nets. Our method is based on embedding the given Petri net model in a larger Petri net ...
-
Conference Object
Non-concurrent fault identification in discrete event systems using encoded Petri net states
(2002)In this paper we extend a previously developed coding-based methodology for monitoring faults in discrete event systems that are described by Petri nets. We present a systematic design that enables us to non-concurrently ...
-
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 finite-state automata or Petri nets in the 1990s. The goal ...
-
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
Petri net modeling and analysis of automated container terminal using automated guided vehicle systems
(2002)Booming world trade, scarcity of land for yard expansion in many ports, and deployment of new, massive megaships have magnified the need to find better ways of performing container terminal operations. Automated guided ...
-
Conference Object
Power system monitoring based on relay and circuit breaker information
(2001)In this paper we develop monitoring schemes that are able to detect and identify failures in power transmission lines by analyzing binary status information from relays and circuit breakers. The approach, which is based ...
-
Article
Power system monitoring using Petri net embeddings
(2000)A failure in a power transmission line causes a number of circuit breakers to activate in an effort to isolate the failure and prevent it from corrupting the rest of the power system. Based on information from these ...
-
Conference Object
Probabilistic marking estimation in labeled petri nets
(Institute of Electrical and Electronics Engineers Inc., 2013)Given a labeled Petri net, possibly with silent transitions, we are interested in performing current marking estimation in a probabilistic setting. We assume a known initial marking or a known finite set of initial markings, ...
-
Article
Probabilistic marking estimation in labeled petri nets
(2015)Given a labeled Petri net, possibly with silent (unobservable) transitions, we are interested in performing marking estimation in a probabilistic setting. We assume a known initial marking or a known finite set of initial ...
-
Conference Object
Reachability analysis for a class of petri nets
(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 ...
-
Conference Object
Reconstruction of transition firing sequences based on asynchronous observations of place token changes
(2007)This paper proposes a methodology for reconstructing the possible transition firing sequences in a given Petri net based on asynchronous observations of token changes at different places of the Petri net. The observed ...
-
Article
Risk modeling and analysis of interdependencies of critical infrastructures using colored timed petri nets
(2015)Petri Nets (PNs) and their variations are a graphical, mathematical language that can be used for the specification, analysis and verification of discrete event systems, including Critical Infrastructures (CIs). Colored ...
-
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 ...
-
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 ...
-
Article
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
(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
(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 ...