» Download Article

Authors
Wen, Q.; Kumar, R.; Huang, J.; Liu, H.

Digital Object Identifier (DOI)
10.3182/20070613-3-FR-4909.00032

Page Numbers:
175-180

Index Terms
discrete event systems,fault-tolerance,supervisory control,stability

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). We formulate this notion of fault-tolerant supervisory control and provide a necessary and sufficient condition for the existence of such a supervisor, which involves the notion of stability (besides controllability and observability). An example of a power system is provided to illustrate the framework.

References

[1] P. M. Anderson and A. A. Fouad. Power System
    Control and Stability. IEEE Press, New York,
    1994.
[2] Y. Brave and M. Heymann. On stabilization of
    discrete event processes. International Journal
    of Control, 51(5):1101-1117, 1990.
[3] K.-H. Cho and J.-T. Lim. Synthesis of fault tolerant
    supervisor for automated manufacturing
    systems: A case study on photolithographic process.
    IEEE Trans. on Robotics and Automation,
    pages 348 - 351, 1998.
[4] H. Darabi, M. A. Jafari, and A. L. Buczak. A
    control switching theory for supervisory control
    of discrete event systems. IEEE Transactions
    on Robotics and Automation, 19(1):131-137,
    2003.
[5] M. V. Iordache and P. J. Antsaklis. Resilience to
    failure and reconfigurations in the supervision
    based on place invariants. Proceedings of the
    2004 American Control Conference, pages 4477
    - 4482, 2004.
[6] R. M. Jensen. DES controller synthesis and fault
    tolerant control: A survey of recent advances.
    Technical Report TR-2003-40, IT University of
    Copenhagen, 2003.
[7] R. Kumar and V. K. Garg. Modeling and Control
    of Logical Discrete Event Systems. Kluwer
    Academic Publishers, Boston, MA, 1995.
[8] F. Lin and W. M. Wonham. On observability of
    discrete-event systems. Information Sciences,
    44(3):173-198, 1988.
[9] C. M. Ozveren, A. S. Willsky, and P. J. Antsaklis.
    Stability and stabilizability of discrete event
    dynamical systems. Journal of ACM, 38(3):
    730-752, July 1991.
[10] K. R. Rohloff. Sensor failure tolerant supervisory
     control. In Proceedings of the 44th IEEE
     Conference on Decision and Control, and the
     European Control Conference 2005, pages 3493
     - 3498, 2005.
[11] S. Takai and T. Ushio. Reliable decentralized
     supervisory control of discrete event systems.
     IEEE Transations on System, Man, and
     Cybernetics--Part B, 30(5):661-667, 2000.