Fault-tolerant supervisory control of discrete event systems: Formulation and existence results
Dependable Control of Discrete Systems, Volume # 1 | Part# 1
Wen, Q.; Kumar, R.; Huang, J.; Liu, H.
Digital Object Identifier (DOI)
discrete event systems,fault-tolerance,supervisory control,stability
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.
 P. M. Anderson and A. A. Fouad. Power System Control and Stability. IEEE Press, New York, 1994.  Y. Brave and M. Heymann. On stabilization of discrete event processes. International Journal of Control, 51(5):1101-1117, 1990.  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.  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.  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.  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.  R. Kumar and V. K. Garg. Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, Boston, MA, 1995.  F. Lin and W. M. Wonham. On observability of discrete-event systems. Information Sciences, 44(3):173-198, 1988.  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.  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.  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.