DocumentCode :
862563
Title :
A Framework for Fault-Tolerant Control of Discrete Event Systems
Author :
Wen, Qin ; Kumar, Ratnesh ; Huang, Jing ; Liu, Haifeng
Author_Institution :
Deparnt of Electr. & Comput. Eng., Iowa State Univ., Ames, IA
Volume :
53
Issue :
8
fYear :
2008
Firstpage :
1839
Lastpage :
1849
Abstract :
We introduce a framework for fault-tolerant supervisory control of discrete-event systems. Given a plant, possessing both faulty and nonfaulty behavior, and a submodel for just the nonfaulty part, the goal of fault-tolerant supervisory control is to enforce a certain specification for the nonfaulty plant and another (perhaps more liberal) specification for the overall plant, and further to ensure that the plant recovers from any fault within a bounded delay so that following the recovery the system state is equivalent to a nonfaulty state (as if no fault ever happened). The specification for the overall plant is more liberal compared to the one for the nonfaulty part since a degraded performance may be allowed after a fault has occurred. We formulate this notion of fault-tolerant supervisory control and provide a necessary and sufficient condition for the existence of such a supervisor. The condition involves the usual notions of controllability, observability and relative-closure, together with the notion of stability. An example of a power system is provided to illustrate the framework. We also propose a weaker notion of fault-tolerance where following the recovery, the system state is simulated by some nonfaulty state, i.e., behaviors following the recovery are also the behaviors from some faulty state. Also, we formulate the corresponding notion of weakly fault-tolerant supervisory control and present a necessary and sufficient condition (involving the notion of language-stability) for the its existence. We also introduce the notion of nonuniformly-bounded fault-tolerance (and its weak version) where the delay-bound for recovery is not uniformly bounded over the set of faulty traces, and show that when the plant model has finitely many states, this more general notion of fault-tolerance coincides with the one in which the delay-bound for recovery is uniformly bounded.
Keywords :
delays; discrete event systems; fault tolerance; formal specification; stability; bounded delay; controllability; discrete event system; fault-tolerant supervisory control; nonfault behavior possessing; nonuniformly-bounded fault-tolerance; observability; relative-closure; stability; Control systems; Degradation; Delay; Discrete event systems; Fault tolerance; Fault tolerant systems; Power system simulation; Power system stability; Sufficient conditions; Supervisory control; Discrete event systems; fault-tolerance; language convergence; stability; supervisory control;
fLanguage :
English
Journal_Title :
Automatic Control, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9286
Type :
jour
DOI :
10.1109/TAC.2008.929388
Filename :
4625224
Link To Document :
بازگشت