Search
Now showing items 1-10 of 36
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, ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...