Designs of bisimilar Petri net controllers with fault tolerance capabilities
Date
2008Source
IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and HumansVolume
38Issue
1Pages
207-217Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
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 into a larger (redundant) Petri net controller that retains the original functionality and properties, and uses additional places, connections, and tokens to impose invariant conditions that allow the systematic detection and identification of faults via linear parity checks. In particular, this paper considers two types of redundant Petri net controllers: 1) nonseparate redundant Petri net controllers have the same functionality as the given Petri net controller and allow for fault detection and identification, but do not necessarily retain the given controller intact; and 2) separate redundant Petri net controllers are a special case of the nonseparate redundant controllers that retain the given Petri net controller intact but enhance it with additional places to enable fault detection and identification. The work in this paper obtains complete characterizations of both types of redundant controllers along with necessary and sufficient conditions for them to be bisimulation equivalent to the given original Petri net controller. In addition, this paper discusses how each type of redundant controllers can be designed to have desirable fault detection and identification capabilities. When the bisimulation equivalence requirement is not directly enforced, nonseparate redundant controllers can potentially have advantages over separate ones (e.g., they can use fewer connections to detect and identify the same number of faults). An example of a Petri net controller for a production cell and its fault tolerance capabilities using separate and nonseparate embeddings is used to illustrate the approach. © 2007 IEEE.
Collections
Cite as
Related items
Showing items related by title, author, creator and subject.
-
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
Fault detection and identification in Petri net controllers
Li, L.; Hadjicostis, Christoforos N.; Sreenivas, R. S. (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 ...
-
Conference Object
State feedback control of labeled Petri nets with uncertainty in the initial marking
Cabasino, M. P.; Hadjicostis, Christoforos N.; Seatzu, C. (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 ...