Fault-tolerant supervisory control of discrete event systems modeled by bounded Petri nets
Date
2007ISBN
1-4244-0988-8978-1-4244-0988-4
Source
Proceedings of the American Control ConferenceProceedings of the American Control Conference
Pages
4945-4950Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
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 arbitrary forbidden markings. When determining the supervisor, we handle uncontrollable transitions by analyzing the reverse net and by obtaining a set of weakly forbidden markings, based on which we determine the maximally permissive control policy. We implement the supervisor by encoding the system state information into two monitor places in a way that allows us to both determine the online control policy efficiently and identify/correct single place faults (i.e., faults that corrupt the number of tokens in a single place of the Petri net, including the monitor places). The overall method need not perform reachability analysis, has low complexity requirements for online computation, and can be generalized to monitor-based control schemes that are tolerant to any number of faults. © 2007 IEEE.
Collections
Cite as
Related items
Showing items related by title, author, creator and subject.
-
Conference Object
A scalable iterative convex design for nonlinear systems
Baldi, S.; Ioannou, Petros A.; Kosmatopoulos, E. B. (2012)A recently developed control scheme for approximately optimal control of nonlinear systems is the so-called Convex Control Design (ConvCD) methodology, that transforms the control problem of generic nonlinear systems into ...
-
Article
Multiple model adaptive control with mixing
Kuipers, M.; Ioannou, Petros A. (2010)Despite the remarkable theoretical accomplishments and successful applications of adaptive control, the field is not sufficiently mature to solve challenging control problems where strict performance and robustness guarantees ...
-
Article
Convex design control for practical nonlinear systems
Baldi, S.; Michailidis, I.; Kosmatopoulos, E. B.; Papachristodoulou, A.; Ioannou, Petros A. (2014)This paper describes a new control scheme for approximately optimal control (AOC) of nonlinear systems, convex control design (ConvCD). The key idea of ConvCD is to transform the approximate optimal control problem into a ...